人工智能逻辑

✍ dations ◷ 2025-08-24 08:02:19 #哲学


人工智能逻辑是指用逻辑方法(如数理逻辑)和逻辑成果研究智能主体(intelligent agent)如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同,人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现(implementation)知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上,利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理,内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理,还包括常识推理(commonsense reasoning)。常识推理是人类日常生活中获取新知识的最重要手段之一,具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类,比较完善的有缺省逻辑(default logic)、非单调模态逻辑、限定逻辑等!此外,还有一些讨论相似问题,并且在形式上与上述逻辑密切相关的逻辑,如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题,但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格,例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑(应用逻辑)和一类不严格意义上的逻辑(逻辑的应用)的混合。最早研究人工智能逻辑的是约翰·麦卡锡(John McCarthy),他提出采用逻辑方法来形式化人工智能需要解决的问题。

相关

  • Hsub3/subAsOsub3/sub亚砷酸是一种无机化合物,化学式为H3AsO3。它可由三氧化二砷溶于水制得,只能存在于水溶液中,还没有分离出纯酸,但这并不影响它的结构为As(OH)3。亚砷酸为三角锥形的分子结构,有三
  • 商人商人,古称商贾,中国广东称生意人,是指以别人产生的商品或服务进行贸易,或自己拥有工业企业并透过生产或商业活动(例如从事公司治理、物资买卖),承受商业风险而赚取利润的人物。商人
  • 木百灵板块木百灵板块(Woodlark Plate)是位于新畿内亚东半部的板块,加洛林板块沉入木百灵板块的北部边缘,木百灵板块的西部和南部是分别与毛克板块和澳洲板块形成的聚合板块边缘,东面与所罗
  • 脑回脑回(Gyrus, 复述为gyri),为大脑皮质中呈现隆起的部位。与呈现裂缝状的脑沟相对。出现脑回和脑沟的原因是,演化过程中折叠结构使颅内相同容量下人类可以有更多大脑皮质。较低等
  • 姜世晃姜世晃(韩语:강세황;1713年5月21日-1791年1月23日),本贯晋州,字光之(韩语:광지),号豹菴(韩语:표암),朝鲜王朝后期著名文臣,画家。61岁做官,1784年来到北京,以书画受到乾隆帝的称赞。
  • 伦敦市法团伦敦市法团(英语:City of London Corporation),亦称伦敦法团,是英国伦敦的市中心区——伦敦市的自治组织和地方政府。伦敦市法团的辖区只涵盖伦敦市中心的老城区,伦敦城(也叫作“伦
  • 黎明寺黎明寺(泰语:วัดอรุณ Wat Arun),又称作晓庙、郑王寺或郑王庙,是泰国首都曼谷市曼谷艾县“血脉之河”湄南河西畔的一所佛教寺院。它的全名为 วัดอรุณราชวราร
  • 胡润胡润 (英语:Rupert Hoogewerf,1970年-),是“胡润百富榜”(一份仅涵盖中国大陆富豪的个人排行榜)的发行人 。在发行该排行榜前,他曾在安达信会计师事务所工作。他在1999年以独立研究者
  • 2019冠状病毒病苏里南疫情2019冠状病毒病苏里南疫情,介绍在2019新型冠状病毒疫情中,在苏里南发生的情况,苏里南为最后一个确诊的南美国家,也使南美洲成为继欧洲后第二个全区沦陷的大洲。2020年3月13日,苏
  • 马蒂尼 (消歧义)马蒂尼可以指: