人工智能逻辑

✍ dations ◷ 2025-09-14 07:15:17 #哲学

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

相关

尊严尊严概念常用于道德、伦理、法学和政治学学说的讨论中，用以表明人本固有的价值属性和拥有受到他人的尊重的权利。它是启蒙时代-聚焦于探讨人本所固有的不可剥夺权利概念的延
约翰·图恩约翰·伦道夫·图恩（英语：John Randolph Thune；1961年1月7日－），是一位美国共和党政治人物，自2005年成为南达科他州联邦参议院议员。此前，他是1997年到2003年美国众议院南达科他州单
让·德·拉封丹让·德·拉封丹(Jean de La Fontaine；1621年7月8日－1695年4月13日），法国诗人，以《拉封丹寓言》()留名后世。拉封丹生于法国中部埃纳省的蒂耶里堡(Château-Thierry)（当时属香槟），父
台北圆环坐标：25°03′14.11″N 121°30′52.39″E / 25.0539194°N 121.5145528°E / 25.0539194; 121.5145528台北圆环，又名建成圆环，是位于台湾台北市大同区的圆环，为南京西路、宁夏
池芝盛池芝盛（1917年－2014年1月11日），福建长乐人，中华人民共和国医学家。1942年毕业于上海医学院，1948年赴巴黎大学学习和研究，1952年回国后，任上海军事医学科学院副研究员，北京协和医院内
伯尔泰尼乡坐标：44°52′N 23°17′E / 44.867°N 23.283°E / 44.867; 23.283伯尔泰尼乡（罗马尼亚语：Comuna Bâlteni, Gorj），是罗马尼亚的乡份，位于该国西南部，由戈尔日县负责管辖，处于布加
金格·贝克彼德·爱德华·“金格”·贝克（英语：Peter Edward "Ginger" Baker，1939年8月19日－2019年10月6日），艺名金格·贝克（Ginger Baker），是一个英格兰鼓手和歌手。他在20世纪60年代的作品为
巴富尔巴富尔（George Balfour，1809年－1894年）第一任英国驻上海领事，在上海开辟租界。原为马德拉斯炮兵部队上尉。1843年，受命担任首任英国驻沪领事。11月8日，巴富尔抵达上海，先在县城内姚
证类本草《证类本草》，全称《经史证类备急本草》，是宋代的一部重要的医书。北宋元丰五年至六年间（1082-1083年），唐慎微据《嘉祐补注本草》和《本草图经》两书，再参考其他248部医书总其成为
羌中羌中：古地名，即今甘南藏族自治州临潭、卓尼一带。秦汉时期为羌人游牧的地方。《史记秦始皇本纪》载，当时秦朝统一六国后，版图“东至大海暨朝鲜，西至临洮、羌中……”。临洮即今甘