人工智能逻辑是指用逻辑方法（如数理逻辑）和逻辑成果研究智能主体（intelligent agent）如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同，人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现（implementation）知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上，利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理，内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理，还包括常识推理（commonsense reasoning）。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑（default logic）、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑（应用逻辑）和一类不严格意义上的逻辑（逻辑的应用）的混合。最早研究人工智能逻辑的是约翰·麦卡锡（John McCarthy），他提出采用逻辑方法来形式化人工智能需要解决的问题。
首页 >
人工智能逻辑
✍ dations ◷ 2025-08-02 14:06:23 #哲学
相关
- 克氏综合症克氏综合征（Klinefelter's syndrome）或称XXY、47XXY综合征、俗称次雄性综合征，是一系列由于男性有两条或两条以上的X染色体所导致的疾病。该疾病的主要特征是不孕。通常症状都
- 纽黑文市0209231纽黑文（英语：New Haven），又称纽海文、纽哈芬，为美国康涅狄格州的第二大城，位于纽黑文县境内，纽黑文港上，长岛海湾北岸。根据2000年的人口普查，纽黑文市的人口为12万3626人。纽
- 光微粒说光通常指的是人类眼睛可以见的电磁波（可见光），视知觉就是对于可见光的知觉。可见光只是电磁波谱上的某一段频谱，一般是定义为波长介于400至700奈（纳）米（nm）之间的电磁波，也就是波长比
- 旧金山半岛坐标：37°35′00″N 122°24′04″W / 37.58333°N 122.40111°W / 37.58333; -122.40111旧金山半岛（San Francisco Peninsula），是美国旧金山湾区的一个半岛，分隔旧金山湾与太平
- 亚历山大·贝克曼亚历山大·贝克曼（俄语：Александр Беркман）（1870年11月21日－1936年6月28日）是一个以政治激进主义、写作著称的无政府主义者。他是二十世纪无政府主义活动的主要倡
- 勹部勹为汉字索引中的一个部首，康熙字典214个部首中的第二十个（两划的则为第十四个）。“勹”原意是指一个人怀抱东西的样子，所以这个部首里的字有些有包裹的意思。包装缠裹。今通作
- 德利多富Nixdorf电脑公司（Nixdorf Computer AG）是一家（德国）电脑公司，于1968年由海因斯·利多富在德国帕德博恩市所创办。该公司曾是欧洲第四大的电脑公司，并在银行系统领域中拥有全球性的
- 周劭周劭（1916年－2003年8月31日），字黎庵，中国作家。他自大学时期开始写作。就读于东吴大学法学院，毕业后曾在上海当律师。
- 97式单兵云爆火箭筒PF-97式93毫米单兵云爆火箭筒（英语：PF-97，以下简称为PF-97）是一具由中国北方工业公司为中国人民解放军（以下简称为解放军）生产的93毫米口径云爆式火箭筒系统，为前苏联RShG-2和RPO-A
- 白乐日白乐日（法语：Etienne Balazs, 1905年1月24日－1963年11月29日），是一位匈牙利出生的法国汉学家。1905年出生在奥匈帝国布达佩斯。1923年前往德国柏林学习汉学，由柏林洪堡大学汉学家
