自动推理

✍ dations ◷ 2025-06-29 00:10:39 #理论计算机科学,人工智能,计算机逻辑,推理

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

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

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

相关

  • 上院上院可指:
  • 语义元语义元,或称语义素,是在先天上能够直接理解而无法以更简化的用词来表述的一组语义的概念。语义元能够表述透过后天习得,但不能被具体定义的单词或短语。 例如,英语 "touch" 最直
  • 美国细胞生物学学会美国细胞生物学学会(American Society for Cell Biology),简称ASCB, 是一个成立于1960年的学会。它在ASCB官方网站上的宗旨宣示如下:ASCB 是一个涵盖性的,国际性的,由研究细胞与
  • 进化心理学异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学(英语:Differential psychology) 发展心理学 进化心理学 实验心理学
  • 埃及第四王朝第八第十第四王朝是古埃及古王国时期第二个王朝,古代埃及文明在这一时代达到空前的高度,例如最大的金字塔胡夫金字塔就是这个时代的胡夫法老建造的。因此第四王朝被认为是古埃
  • 御准御准又称王室同意(英语:Royal Assent),是指立宪君主正式批准并颁布其国家议会法案,由此建立法律的程序。对绝大多数的现代君主政体而言,御准仅是一项例行程序;但即使在统治者仍有权
  • 中药列表麻黄 桂枝 紫苏 生姜 香薷 荆芥 防风 羌活 白芷 细辛 辛夷 苍耳子 藁本 葱白 灯盏细辛 鹅不食草薄荷 柴胡 葛根 牛蒡子 蝉蜕 桑叶 菊花 升麻 淡豆豉 蔓荆子 浮萍 木贼 桉叶
  • 德涅斯特河沿岸行政区划德涅斯特河沿岸摩尔达维亚共和国共划分为5个区及2个直辖市组成。其中,宾杰里市完全位于德涅斯特河右岸,通常被认为其属于被德涅斯特河沿岸摩尔达维亚共和国实际控制的摩尔多瓦
  • 勒布朗·詹姆斯勒布朗·瑞蒙·詹姆斯一世(英语:LeBron Raymone James Sr.,1984年12月30日-),现役美国职业篮球运动员,目前效力于洛杉矶湖人。詹姆斯被公认为NBA历史上最强的小前锋,全能的他亦可胜
  • 美国大西洋舰队美国海军舰队司令部(United States Fleet Forces Command),前身是1906年成立的美国大西洋舰队。如今它主要负责大西洋水域内美国舰队的训练、调度等工作,下辖美国海军第2舰队。