自动推理

✍ dations ◷ 2024-09-20 08:36:03 #理论计算机科学,人工智能,计算机逻辑,推理

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

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

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

相关

肠扭转肠扭转（volvulus）是指人体内环形消化道沿着本身及固定大小肠的肠系膜打结，最后会导致肠阻塞（英语：Bowel obstruction）。症状包括腹痛、腹胀、呕吐、便秘以及血便（英语：Blood in stoo
乙酰氨基葡萄糖N-乙酰葡糖胺（GlcNAc；NAG）是葡糖胺的N-乙酰衍生物，分子式C8H15NO6。NAG与NAM为组成细菌细胞壁的单体，与葡糖醛酸为透明质酸的单体。NAG也是甲壳素的聚合单体。细菌疾病 · 科莱
全国高速公路德国高速公路是德国的全国高速公路系统，其德文名称（Autobahn .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Un
毛丝鼠短尾毛丝鼠（Chinchilla brevicaudata）长尾毛丝鼠（Chinchilla lanigera）灰 =长尾毛丝鼠毛丝鼠属（学名：Chinchilla），别名绒鼠、栗鼠，又称龙猫，毛丝鼠体型小而肥胖，尾端的毛长而蓬松。全
维根竞技足球俱乐部维冈竞技足球俱乐部（英语：Wigan Athletic Football Club，/ˈwɪɡən/），英格兰西北部大曼彻斯特郡维冈的足球俱乐部，主场在DW体育场，成立于1932年。早期的维冈只在业余联赛中角逐，19
奥克兰国际机场奥克兰机场（英语：Auckland Airport；IATA代码：AKL；ICAO代码：NZAA），前称奥克兰国际机场，是为新西兰最大和最繁忙的国际机场坐落于奥克兰市以南的马努考市西部Mangere，距离奥克兰市中心约
维克托·米哈伊洛维奇·切布里科夫维克托·米哈伊洛维奇·切布里科夫（俄语：Виктор Михайлович Чéбриков，1923年4月27日－1999年7月1日），苏联党务活动家，克格勃主席（1982-1988年在位）。大将军衔
阳光地带太阳带（Sunbelt）是指美国南部北纬37度以南的地区，这些地区的日照时间较长。大致包括了以下地区。这些地区在过去农业发达，近年石油和电子产业快速发展。除了经济之外，在政治上也
弗吉尼亚级攻击核潜艇弗吉尼亚级核动力攻击潜艇（Virginia-class submarine，又称774级）是美国海军第一艘同时针对大洋和近海两种功能设计的核子潜艇。弗吉尼亚级是美国海军“新型攻击潜艇计划”（New A
失眠失眠（拉丁语：Insomnia）是一种不容易自然地进入睡眠状态的症状。可能是不易入睡（难以入睡），或是很难维持较长时间的深度睡眠（难以维持睡眠）。失眠一般会伴随着白天精神不佳、嗜睡、易