自动推理

✍ dations ◷ 2025-11-11 18:42:37 #理论计算机科学,人工智能,计算机逻辑,推理

自动推理是计算机科学和数理逻辑的一个交叉领域,致力于了解理智的方方面面。自动逻辑的研究帮助了利用计算机自动进行完全或几乎完全的推理,其内容一般可分为演绎推理和非演绎推理。自动推理被认为是人工智能的一个分支,还和理论计算机科学甚至哲学相关联。

自动推理的研究内容包括定理机器证明、证明自动检查(英语:Automated_proof_checking)、不确定性推理、非单调逻辑以及类比归纳和外展推理。

自动推理的技术和工具包括经典逻辑、微积分学、模糊逻辑、贝叶斯推断、推理与最大熵和大量的非正式特别技术。

相关

  • 海岸警卫队HH / MH-60 J/T Jayhawk(英语:HH-60 Jayhawk)HC-130 H/J Hercules(英语:Lockheed HC-130)HU-25 A/C GuardianVC-37A Long Range VIP Aircraft美国海岸警卫队(英语:United States Coa
  • Ac6d1 7s22, 8, 18, 32, 18, 9, 2第一:499 kJ·mol−1 第二:1170 kJ·mol主条目:锕的同位素锕是一种放射性金属元素,符号为Ac,原子序为89。锕在1899年被发现,是首个得到分离的非
  • 无意识潜意识人之某些欲望常不为现实社会所接受,该欲望并不会因为一时的无法实现而消失于无形,该欲望一方面受到接踵而来的众多欲望所挤压,以至将其挤压至意识无法察觉的深处,另一方面
  • 生理学或医学诺贝尔生理学或医学委员会(瑞典语:Nobelkommittén för fysiologi eller medicin)是推举诺贝尔生理学或医学奖的诺贝尔委员会,成员由卡罗琳学院的50人机构卡罗琳学院诺贝尔大会
  • 视器视器(visual organ)是人体的一种感觉器,属于外感受器。视器由眼球和副眼器共同构成。
  • 时方经方,中医术语,有两种意义,一是指医家在治疗过程中发现确有疗效的“经验之方”,一是指在张仲景著作伤寒论、金匮要略中使用过的“医经之方”。在明清之前,经方一词主要是指“经验
  • 西斯汀教堂西斯汀小堂(拉丁语:Sacellum Sixtinum;意大利语:Cappella Sistina ;也称为西斯汀礼拜堂)是一座位于梵蒂冈宗座宫殿内的天主教小堂,紧邻圣伯多禄大殿,以米开朗基罗所绘《创世纪》穹顶
  • 尚普兰湖战役共计: 6,354 人共计: 11,000 人(9,067人参战)尚普兰湖战役(Battle of Lake Champlain),亦称普莱茨堡战役(英语:Battle of Plattsburgh)是1812年战争期间英国对北美的最后一次入侵
  • 水牛城辣鸡翅布法罗辣鸡翅(Buffalo wings,在美国东北部简称wings)是采用鸡翅的中下部(分flats和drums),不上面粉油炸,再上以辣椒为原料的酱汁及其他调味。虽然各家有各自的酱汁配方,原本的酱汁只
  • 无阶级社会无阶级社会是指一个社会地位或阶级不根据出身而定的社会,而个人的经验和成就才是分别财富,收入,教育,文化或关系网络等的决定因素。但是,这些因社会的形成而出现的社会地位是难以