人工智能逻辑是指用逻辑方法（如数理逻辑）和逻辑成果研究智能主体（intelligent agent）如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同，人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现（implementation）知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上，利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理，内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理，还包括常识推理（commonsense reasoning）。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑（default logic）、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑（应用逻辑）和一类不严格意义上的逻辑（逻辑的应用）的混合。最早研究人工智能逻辑的是约翰·麦卡锡（John McCarthy），他提出采用逻辑方法来形式化人工智能需要解决的问题。
首页 >
人工智能逻辑
✍ dations ◷ 2025-11-23 08:14:50 #哲学
相关
- 格拉斯考克县坐标：33°14′32″N 82°37′36″W / 33.2422994°N 82.6267345°W / 33.2422994; -82.6267345格拉斯卡克县（英语：Glascock County, Georgia）是美国乔治亚州东部的一个县。面积3
- 库普兰之墓库普兰之墓（法语：Le Tombeau de Couperin）是法国作曲家拉威尔于1914年至1917年间创作的组曲，一共以六首钢琴曲组成。本曲的结构以法国巴洛克舞曲为大纲，并分别悼念拉威尔在第一次
- 加盟共和国加盟共和国可以指：
- 热舒适性热舒适性（Thermal comfort）为人体对温度、湿度、风速等物理环境的感受与喜好状态，可以透过主观评估（ASHRAE 55（英语：ASHRAE 55））的方式来确认，不仅影响人体的工作效率，更可能造成健康
- 军事工业复合体军事工业复合体（英语：Military-Industrial Complex，MIC），也称军事工业国会复合体（Military-Industrial-Congressional Complex，MICC），中文简称军工复合体，是指一国军队与军事工业因政
- 美国公民出生地原则美国公民出生地原则（Birthright citizenship in the United States）指凡在美国领土和领地（包括波多黎各、关岛、美属维尔京群岛、北马里亚纳群岛等）出生的人都能自动成为美国公
- 5族元素固体、液体、气体5族元素（又称钒族元素）是指元素周期表上第5族（ⅤB 族）的元素，位于4族元素和6族元素之间。5族元素包含钒（V）、铌（Nb）、钽（Ta）、�（Db），均为过渡金属元素，其中�为人造元素，具高度
- 杜斯艾雷斯屠杀事件杜斯艾雷斯屠杀事件（英语：Dos Erres massacre）是一起于1982年12月6日在危地马拉北方贝登省中的一个小村庄杜斯艾雷斯村（Las Dos Erres）发生的军队屠杀事件，死亡人数超过两百人。此
- 陈京 (永乐进士)陈京（？－？），字士瞻，福建福州府长乐县人，明朝政治人物、进士出身。永乐十五年，福建丁酉乡试中举。永乐十九年（1421年）辛丑科中进士，授缙云县知县。
- 星际旅行：深空九号《星际旅行：深空九号》（，简称为ST:DS9或DS9），是一部于1993年正式开播的科幻电视剧集，一共拍摄了7季，并于1999年正式结束。应布兰登·塔奇科夫的请求，赖克·伯曼和迈克尔·皮勒创作了
