人工智能逻辑是指用逻辑方法（如数理逻辑）和逻辑成果研究智能主体（intelligent agent）如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同，人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现（implementation）知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上，利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理，内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理，还包括常识推理（commonsense reasoning）。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑（default logic）、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑（应用逻辑）和一类不严格意义上的逻辑（逻辑的应用）的混合。最早研究人工智能逻辑的是约翰·麦卡锡（John McCarthy），他提出采用逻辑方法来形式化人工智能需要解决的问题。
首页 >
人工智能逻辑
✍ dations ◷ 2025-11-02 12:19:56 #哲学
相关
- 烹饪烹饪，又称烹调、烹煮、炊煮、造饭、做菜，指将食材处理并制作成食物、菜肴、餐点、膳食的方法。一个好的菜肴，色香味形俱佳，不但让人在食用时感到满足，而且能让食物的营养更容易被
- 智力测验智能商数（德语：Intelligenzquotient），简称智商（德语：IQ），是用智力测试测量人在其年龄段的认知能力（“智力”）的得分。人的智商呈正态分布，目前主要的智力测验(包含最常被使用的“韦克斯
- ɭ˔浊卷舌边擦音（Voiced retroflex lateral fricative）是一种辅音，使用于一些口语中。国际音标（IPA）没有给出专属此音的音标，但可以透过在卷舌边近音⟨ɭ⟩后加上较高符号（英语：Relativ
- 广东沿海诸河广东沿海诸河流，指珠江水系以外的广东省沿海诸河流，习惯上以珠江为界区分为粤西及粤东沿海诸河流。属于粤东的韩江水系因规模较大，有时单独称之。以下依出海口位置由南向北列出
- 晨星晨星（morning star）可能指以下的事物：
- 城市生态学都市生态学是应用自然生态学的理论分别理解人类社会的一种科学。芝加哥学派也常用都市生态学研究都市问题。其内容包括生态、组织、竞争、进化、入侵、均衡等自然定律。都市
- 花粉花粉（pollen）是种子植物的微小孢子堆，成熟的花粉粒实为其小配子体，能产生雄性配子。花粉由雄蕊中的花药产生，由各种方法到达雌蕊，使胚珠授粉。花粉通常是对称的，多为球形；大叶藻（Zost
- 锡元锡元,（1851年－？）舒舒觉罗氏, 字会一, 号命三, 满洲镶红旗人，清朝政治人物、同进士出身, 著有《棣华堂文集》。同治癸酉科举人，光绪三年（1877年），参加丁丑科殿试，登进士三甲第15名
- 吴汉润吴润汉（高棉语：ហ៊ាំង សំណាង ង៉ោ，英语：Haing Somnang Ngor，1940年3月22日－1996年2月25日），柬埔寨华人医生、演员和作家，后定居并入籍美国。前柬埔寨农业部部长曾仕伦（吴和
- 台中火车站 (古迹)坐标：24°08′12.4″N 120°41′06.0″E / 24.136778°N 120.685000°E / 24.136778; 120.685000旧台中车站是台铁台中车站自1905年5月15日设站开始、至2016年10月15日台中铁
