自动推理

✍ dations ◷ 2025-12-02 04:59:09 #理论计算机科学,人工智能,计算机逻辑,推理

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

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

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

相关

  • 全血全血为标准捐血流程后所取得的人类血液,通常用于治疗大量出血、换血疗法(英语:exchange transfusion)与自体输血上。一单位的全血可提升受血者之血红蛋白浓度约10 g/L。在输全血
  • 路易斯·阿尔瓦雷茨路易斯·阿尔瓦雷茨(西班牙语:Luis Alvarez,1911年6月13日-1988年9月1日),西班牙裔美国物理学家,1968年获诺贝尔物理学奖,被誉为二十世纪最伟大的实验物理学家之一。路易斯1936年获
  • 格拉斯考克县坐标:33°14′32″N 82°37′36″W / 33.2422994°N 82.6267345°W / 33.2422994; -82.6267345格拉斯卡克县(英语:Glascock County, Georgia)是美国乔治亚州东部的一个县。面积3
  • 高反应原性人体免疫系统对于特定抗原能够产生免疫反应,则称其有反应原性。免疫原性与反应原性不同之处在于人体在对某些抗原本身不会直接产生免疫反应,而要在类似的另一种抗原刺激下,获得
  • 中国科学院物理所中国原子能科学研究院简称原子能院,代号401所,位于中华人民共和国北京市房山区新镇街道,是中国核科学技术的发源地和国防核科研、核能开发研究和核基础科研基地。 和中国国家原
  • 康拉德·冯·赫岑多夫伯爵弗朗茨·康拉德·冯·赫岑多夫伯爵(德语:Franz Graf Conrad von Hötzendorf,1852年11月11日-1925年8月25日)是一位奥地利陆军元帅,被认为是杰出的军事战略家,但同时也被认为战术能
  • 披头族披头族(英语:Beatnik)是大众媒体创造出来的一种刻板印象,盛行于1950年代至1960年代中期,展现的是1950年代“垮掉的一代”文学运动中肤浅的一面。有关披头族的桥段包括伪智主义(pse
  • 兀鹰行动兀鹰行动(西班牙语:Operación Cóndor,葡萄牙语:Operação Condor,英语:Operation Condor)是一项在南美洲搜集情报和暗杀对手的政治迫害和国家恐怖行动。它于1968年开始,于1975年
  • CVN-69 德怀特·D·艾森豪号德怀特·D·艾森豪威尔号航空母舰(USS Dwight D. Eisenhower CVN-69),或简称为艾森豪威尔号航空母舰,是美国尼米兹级核动力航空母舰的二号舰。舰名承袭自参加过第二次世界大战的
  • 西里伯斯海西里伯斯海(英语:Celebes Sea;菲律宾语:Dagat Selebes)又名苏拉威西海(印尼语:Laut Sulawesi),是太平洋西部的一个陆缘海,位于棉兰老岛、苏禄群岛以南,加里曼丹岛以东,苏拉威西岛以北,东