人工智能逻辑是指用逻辑方法（如数理逻辑）和逻辑成果研究智能主体（intelligent agent）如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同，人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现（implementation）知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上，利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理，内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理，还包括常识推理（commonsense reasoning）。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑（default logic）、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑（应用逻辑）和一类不严格意义上的逻辑（逻辑的应用）的混合。最早研究人工智能逻辑的是约翰·麦卡锡（John McCarthy），他提出采用逻辑方法来形式化人工智能需要解决的问题。
首页 >
人工智能逻辑
✍ dations ◷ 2025-04-28 15:24:16 #哲学
相关
- 仇恨犯罪法律仇恨罪行（英语：Hate crime）源于保护特定少数群体的意识形态，指的是由针对某一特定社会群组的歧视性犯罪行为。这些社会群组包括种族、宗教、性倾向、身心障碍、族群、国籍、年龄
- 加隆贡火山加隆贡火山是印度尼西亚西爪哇省的活火山，位于印度-澳洲板块和印度板块沉入欧亚大陆板块的隐没带。1822年10月8日，加隆贡火山发生强度达火山爆发指数（VEI）5级、历时一个月的火山
- 琼雷话琼雷话是语言学中对闽语里面的海南话（琼文话）与雷州话的合称。海南话与雷州话均脱胎自古代闽南语。宋代末期，由于战乱，大量闽南人离开故乡，迁徙到雷州半岛和海南岛沿海一带。他们
- 史密斯堡史密斯堡（英语：Fort Smith, Arkansas）是美国阿肯色州第二大城市（2006年人口83,461人）、锡巴斯琴县两个县治之一。位于该州西部接近奥克拉荷马州的边界上、阿肯色河与波托河汇合之
- 斯卡梅尼亚斯卡梅尼亚县（Skamania County, Washington）是美国华盛顿州西南部的一个县，南隔哥伦比亚河与俄勒冈州相望。面积4,361平方公里。根据美国2000年人口普查，共有人口9,872人。县治
- 家族企业家庭式企业可以是私人或上市公司，但控制股权必须由家族成员或家族基金持有，是以公司最高管理层多为世袭传承。部分公司会传子不传女，甚至只会嫡传。全球很多知名的上市公司依然
- 亚历山大·罗伯图斯·托德，托德男爵亚历山大·罗伯图斯·托德，托德男爵，OM，FRS（苏格兰盖尔语：，1907年10月2日－1997年1月10日），出生于格拉斯哥，苏格兰化学家，1957年获诺贝尔化学奖。托德从牛津大学毕业后，在利斯特研究所，爱
- 乔治·塞尔柯克乔治·亚历山大·塞尔柯克（英语：George Alexander Selkirk, 1908年1月4日－1987年1月19日），为美国职棒大联盟的外野手，生涯9年皆效力于纽约洋基。1935年，塞尔柯克接替了贝比·鲁斯的
- 洪瑞襄台湾黑木瞳、台版奥黛丽赫本、音乐剧百变天后洪瑞襄（1968年2月23日－2012年3月23日），本名洪慧贞，台北市出身，拥有客家人血统，台湾女演员，隶属于科里昂演艺经纪工作室。主要活跃于舞台
- 乌克兰国家通讯社乌克兰国家通讯社（英语：National News Agency of Ukraine；乌克兰语：Українське національне інформаційне агентство，简写为УКРІ
