自动推理

✍ dations ◷ 2025-05-17 20:24:33 #理论计算机科学,人工智能,计算机逻辑,推理

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

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

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

相关

  • 小便斗小便斗(或称尿斗、尿兜),是一种设置于墙壁上的小便设施,常见于男厕内,供男性小便使用。但也有少数专供女性使用的小便斗。小便斗较常出现在公共场所的厕所中,有时附有以红外线感应
  • 量子态在量子力学里,量子态(英语:quantum state)指的是量子系统的状态。态矢量可以用来抽象地表示量子态。:93-96采用狄拉克标记,态矢量表示为右矢
  • 博洛尼亚博洛尼亚(意大利语:Bologna)是一座意大利城市,位于北部波河与亚平宁山脉之间,也是艾米利亚-罗马涅的首府。博洛尼亚也是意大利最发达的城市之一。博洛尼亚拥有世界最古老的大学—
  • 3c–2e三中心两电子键,又写作3c-2e,是一种缺电子化学键,其中三个原子只靠两个电子成键。三个原子轨道重组后生成三个分子轨道:一个成键轨道、一个非键轨道和一个反键轨道,两个电子进入
  • 皮埃蒙特大西洋美国皮埃蒙特大西洋城市带(英文:Piedmont Atlantic Megaregion,缩写:PAM)是美国11个城市群中的其中一个,位于美国东南部,人口约为1,761万人。皮埃蒙特大西洋城市带位于美国东南部,并
  • 欧洲水鼬欧洲水貂(学名:Mustela lutreola,英语:European mink),又名欧洲鼬、俄罗斯貂(Russian mink),是欧洲的一种鼬,分布在意大利、西班牙、法国、罗马尼亚、乌克兰、爱沙尼亚及俄罗斯(但不包
  • 泛马回教党马来西亚伊斯兰党(马来语:Parti Islam Se Malaysia),简称伊斯兰党(PAS),民间简称为伊党。该党成立于1951年,初名泛马来亚回教党(Persatuan Islam Sa-Malaya/Sa-Tanah Melayu),简称回教
  • 肾源性尿崩症肾源性尿崩症(Nephrogenic diabetes insipidus (NDI))主要是源于肾脏病理的一种尿崩症。这是相对于中央/神经性尿崩症(neurogenic diabetes insipidus),神经性尿崩症是由抗利尿激
  • 罗马执政官列表罗马执政官列表可以指:
  • 西门子 (单位)西门子 (英语:Siemens),又称为西门,符号为S,是物理电路学及国际单位制中,电阻、电纳和导纳,三种导抗的单位。由于西门为欧姆(英语:ohm)的倒数,因此在英语中又被称为mho。西门子在第1