自动推理

✍ dations ◷ 2025-04-03 19:25:51 #理论计算机科学,人工智能,计算机逻辑,推理

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

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

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

相关

  • 坤西育府那空那育府(泰语:จังหวัดนครนายก,皇家转写:Changwat Nakhon Nayok,泰语发音:),一译坤西育府,是泰国中部的一个府。那空那育府是一个有九百多年历史的古老城市,在大城时
  • 沃特·吉尔伯特沃特·吉尔伯特(英语:Walter Gilbert,1932年3月21日-),美国物理学家与生物化学家,分子生物学的早期研究者之一,和诺贝尔奖得主。1962年,吉尔伯特的物理学博士学生杰拉德·古拉尼扩展
  • 脑下腺脑下垂体(法语、德语: Hypophyse,英语:pituitary gland,亦称为脑垂体)位于脑底部的中央位置,在蝶骨中的蝶鞍内,它的上方有视神经经过,两侧被海绵静脉窦所包围,它的底部为蝶窦及鼻咽。
  • 古br /新br /世古新世(英语:Paleocene)是地质时代中古近纪(英语:Paleogene)的第一个主要时期,大约开始于6550万年前,终于5600万年前,介于中生代白垩纪的马斯特里赫特阶(Maastrichtian)与始新世(Eocene)
  • 厄尔-卢瓦省厄尔-卢瓦省(法语:Eure-et-Loir)是法国中央-卢瓦尔河谷大区所辖的省份。该省编号为28,省会为沙特尔。厄尔-卢瓦省的名称来源于其境内的厄尔河和卢瓦河。由于卢瓦河的法语名称(Loi
  • 同步辐射同步辐射是带电粒子的运动速度接近光速(v≈c)在电磁场中偏转时,沿运动的切线方向发出的一种电磁辐射,最先在电子同步加速器上发现,故得此名,又称同步加速器辐射。它与回旋辐射(由回
  • 管晓宏管晓宏(1955年11月3日-),中国科学院院士,网络化系统特别是能源电力系统优化与安全理论与应用方面的研究学者。1955年出生于四川泸州,毕业于清华大学,后留学美国康乃狄克大学。他目
  • 台北工业学校红楼中华民国(台湾)台北校区(校本部):台北市大安区忠孝东路三段1号国立台北科技大学(英语译名:National Taipei University of Technology),简称北科、北科大、台北科大、NTUT ,台北联合大
  • 邮区英国邮递区号(英语:Postcode)是由英文字及数字混用组成的编码。其格式系统大概是全球最为复杂。其邮区编号可以是下列六种格式,格式中以A表示英文字(A-Z),以0表示数字(0-9)。最少五个
  • 19661966年欧洲歌唱大赛(Grand-Prix Eurovision de la Chanson Européenne 1966)为欧洲歌唱大赛之第11届比赛,于1966年3月5日在卢森堡公国的卢森堡市举行。本届大赛开始规定,每个国