人工智能逻辑是指用逻辑方法（如数理逻辑）和逻辑成果研究智能主体（intelligent agent）如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同，人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现（implementation）知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上，利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理，内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理，还包括常识推理（commonsense reasoning）。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑（default logic）、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑（应用逻辑）和一类不严格意义上的逻辑（逻辑的应用）的混合。最早研究人工智能逻辑的是约翰·麦卡锡（John McCarthy），他提出采用逻辑方法来形式化人工智能需要解决的问题。
首页 >
人工智能逻辑
✍ dations ◷ 2025-10-06 17:24:23 #哲学
相关
- 磁力共振核磁共振（NMR，Nuclear Magnetic Resonance）是基于原子尺度的量子磁物理性质。具有奇数质子或中子的核子，具有内在的性质：核自旋，自旋角动量。核自旋产生磁矩。NMR观测原子的方法，是
- 操作定义操作定义（operational definition）是指将一些事物如变量、术语与客体等以某种操作的方式表示出来。操作定义与概念型定义（英语：conceptual definition）相区别，强调确立事物特征时
- 牙婆牙人或称牙郎、牙商、牙侩、牙人（元代起从事人口贩卖的牙人又被称为人牙子），女性又称牙婆、牙媪。牙本为“互”字因相近唐代起被误写成牙，是在买卖交易中撮合成交的经纪人，属于一
- 金尚宪金尚宪（1570年－1652年），字叔度，号清阴、石室山人、西磵老人，朝鲜王朝时期政治人物。金尚宪本贯安东金氏（新），是金克孝之子，与金尚容、金尚宓是兄弟，后来过继给伯父金大孝当养子。金尚宪
- 商业流程委外商业流程委外（英语：Business Process Outsourcing，缩写：BPO），又称业务流程外包或经营外包，是指把特定的商业工序外派给第三方服务供应商。有些日常的琐碎工序是必需的，却无关乎维持
- 2011 Winter SMTown 是SM Town第八张冬季合辑─同时除了是第一张英文专辑外，还是新成员f(x)第一次参与录制。1日 Into the New World（朝鲜语：Into the New World (album)）（少女时代） | 8日、15日 Why
- 市冈裕次市冈裕次（英语：Yuji Ichioka，1936年6月23日－2002年9月1日），生于美国加州旧金山市，美国历史学家与人权运动者。他首先提出以亚裔美国人（Asian American）的名称，来取代东方人的说法，并努
- 爱情喜剧爱情喜剧（日语：ラブコメディ，简称ラブコメ；英语：Love Comedy），又称恋爱喜剧，是一种存在于日本漫画、动画、游戏、电视剧、小说等题材作品的类型。是主要以恋爱为主题的、喜剧要素强
- 磁性半导体磁性半导体（英语：Magnetic semiconductor）是一种同时体现铁磁性和半导体特性的半导体材料。如果在设备里使用磁性半导体，它们将提供一种新型的导电方式。尽管传统的电子技术基于
- 杨鼎和杨鼎和（？－1651年），明朝末年至南明官员，四川承宣布政使司江安县（今四川省江安县）人。杨鼎和在南明永历帝时任兵部侍郎。永历三年（1649年），孙可望请永历帝封他为秦王，杨鼎和和大学士严起恒
