自动推理

✍ dations ◷ 2025-06-08 05:02:02 #理论计算机科学,人工智能,计算机逻辑,推理

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

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

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

相关

康德伊曼努尔·康德（德语：Immanuel Kant；德语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000
权力屈服实验米尔格拉姆实验（英语：Milgram experiment），又称权力服从研究（Obedience to Authority Study）是一个针对社会心理学非常知名的科学实验。实验的概念最先开始于1963年由耶鲁大学心理
国家行政学院国家行政学院（École nationale d'administration，缩写：ENA），是法国著名的大学校之一，于1945年戴高乐政府时期创立，其作用为训练高级文官或者行政法院法官，每年只招收百多人，校友（称“
1696年重要事件及趋势重要人物
印度榕印度榕（学名：Ficus elastica），又名橡胶榕，印度橡胶榕，印度橡胶树或印度橡树，属于双子叶植物纲荨麻目桑科榕属榕亚属常绿乔木。因为含有白色黏液的乳汁，所以成为早期橡胶的来源，但也易
工艺品工艺美术（英语：Crafts）是指以日常生活用品或装饰品为媒介的美术，例如餐具、灯具、文具、家具、纸艺、编织、绣、结艺、首饰、家居饰品、陶器、瓷器、玉器等等。有的工艺美术制品
葛饰北斋葛饰北斋（日语：葛飾北斎／かつしかほくさい Katsushika Hokusai 1760年10月31日－1849年5月10日），本名中岛时太郎，1760年生于江户（现东京），是日本江户时代后期的浮世绘师，日本化政文
台湾高等法院台中分院坐标：24°07′38″N 120°40′08″E / 24.12722°N 120.66889°E / 24.12722; 120.66889台湾高等法院台中分院（俗称台中高分院），是中华民国的二级法院之一，属于普通法院，行政组织
羚羊峡谷坐标：36°51′43″N 111°22′27″W / 36.86182°N 111.374288°W / 36.86182; -111.374288羚羊峡谷是狭缝型峡谷，在美国亚利桑纳州北方的纳瓦霍族保留地，最近城市为佩吉市。在
约翰·F·凯利约翰·弗朗西斯·凯利（英语：John Francis Kelly，1950年5月11日－），美国海军陆战队退役上将；曾任白宫幕僚长、美国国土安全部长、美国南方司令部司令、美国国防部长高级军事助理、驻