自动推理

✍ dations ◷ 2025-09-03 09:06:44 #理论计算机科学,人工智能,计算机逻辑,推理

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

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

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

相关

消化道消化道是连接口腔和肛门的管道，由许多负责处理食物的构造组成。消化腺能分泌消化液以消化食物。一个正常男性成人的消化道大约长6.5米，由上消化道和下消化道组成。人类的上消
自燃点自燃温度（英语：autoignition temperature）或自燃点（英语：kindling point）指的是常压下，没有外部火花、火焰等火源点燃时，可燃物自燃的最低温度。在日常生活中所看到的自燃，原因大部分
肠杆菌属等肠杆菌属（学名：Enterobacter）是一种革兰氏阴性菌、兼性厌氧生物及呈棒状的细菌，属于肠杆菌目肠杆菌科。这个属下的七个种都是病原及使宿主免疫受损的机会性感染的细菌。泌尿道
主要碱性蛋白n/an/an/an/an/an/an/an/an/an/a主要碱性蛋白（英语：Major basic protein，MBP），全称为嗜酸性粒细胞主要碱性蛋白（英语：Eosinophil Major basic protein），也称为蛋白多糖2（Proteoglycan
鄂尔泰清人绘鄂尔泰像，台北国立故宫博物院藏鄂尔泰（满语：ᠣᡵᡨᠠᡳ，穆麟德：ortai；1677年－1745年），字毅庵，西林觉罗氏，满洲镶蓝旗人，清朝官员。官至保和殿大学士兼军机大臣、太保。康熙十六年（1
高弘图高弘图（1583年－1645年），字研文，一字子犹，号硁斋，山东胶州（今胶县）人。高弘图生于万历十一年（1583年），万历三十八年（1610年）成进士。授中书舍人，因忤熹宗，停俸两年，后擢御史。天启初年巡按陕西
安德烈·纪德安德烈·保罗·吉约姆·纪德（法语：André Paul Guillaume Gide 法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Luci
广州民航职业技术学院广州民航职业技术学院，是中国民航局直属的的第一所民航相关专业的高等职业教育院校。学校现共有3个校区:
劳动人事部中华人民共和国劳动人事部是中华人民共和国国务院曾经有的一个组成部门，为1982年将国家劳动总局、国家人事局、国务院科技干部局、国家编制委员会合并而成。1988年，根据《国务
兰卡斯特县兰开斯特县（Lancaster County, Pennsylvania）是美国宾夕法尼亚州东南部的一个县，南邻马里兰州。成立于1729年5月10日。面积2,548平方公里。2005年共有人口490,562。县治兰开斯