人工智能逻辑是指用逻辑方法（如数理逻辑）和逻辑成果研究智能主体（intelligent agent）如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同，人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现（implementation）知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上，利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理，内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理，还包括常识推理（commonsense reasoning）。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑（default logic）、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑（应用逻辑）和一类不严格意义上的逻辑（逻辑的应用）的混合。最早研究人工智能逻辑的是约翰·麦卡锡（John McCarthy），他提出采用逻辑方法来形式化人工智能需要解决的问题。
首页 >
人工智能逻辑
✍ dations ◷ 2024-12-23 19:19:21 #哲学
相关
- 毛霉亚门毛霉亚门（Mucoromycotina），又称毛霉菌亚门，在真菌分类上仍有许多不清楚的地方，曾经被认为是接合菌门中的成员，但近期的系统分类研究结果显示，他们是多系群，因此现今被分做好几个不同
- 伊斯兰堡伊斯兰堡（乌尔都语：اسلام آباد，乌尔都语转写：Islāmābād）是巴基斯坦的首都，位于该国的伊斯兰堡首都区。伊斯兰堡在2011年有两百多万人口，并与紧邻着的城市拉瓦尔品第
- J04A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J04（抗分支杆菌药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collab
- 熊召政熊召政（1953年12月－），湖北英山人，中国诗人、作家，第六届茅盾文学奖得主，现任中国文联全委会委员。早年参过军，下过乡，22岁起担任英山县文化馆创作辅导干部。1973年，发表第一首长诗《献
- 玉皇诞正月初九，农历正月第九天。 每年正月初九日，一般都是在立春的节气刚过，恰是“一阳初始”是大自然开始“万象回春”的时刻。马南邨《燕山夜话》“玉皇”的生日
- 革命社会主义革命社会主义（英语：Revolutionary Socialism）不是一种独立的意识形态。它泛指一切反对改良主义的社会主义理论，包括一些以马克思主义为基础的理论（包括卢森堡主义、不可能主义、
- 希腊国家足球队希腊国家足球队（希腊语：Εθνική Ελλάδος，）是希腊的足球代表队，由希腊足球协会管理。希腊首次在大型杯赛亮相是1980年欧洲足球锦标赛，但他们的足球实力一向都只属于
- 影像降噪影像降噪的目的为移除影像中不必要的噪声，保留影像中较为重要的细节等资讯，使得到的图像看似清晰且洁净。不论是使用数码相机或是传统的底片，照出来的相片时常产生各种不同的噪
- 新田义兴新田义兴（日语：新田義興／にった よしおき ，1331年－1358年11月11日）是日本南北朝时代武将，新田义贞次子。建武4年或延元2年（1337年），义兴响应奥州的北畠显家在上野举兵，其后在吉野谒见
- 1¹¹=1 (Power of Destiny)《1¹¹=1 (POWER OF DESTINY)》是韩国男子团体Wanna One的首张正规专辑，于2018年11月19日推出，主打歌曲为〈Spring Breeze〉。10月3日，所属经纪公司SWING娱乐透露，Wanna One的
