人工智能逻辑是指用逻辑方法（如数理逻辑）和逻辑成果研究智能主体（intelligent agent）如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同，人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现（implementation）知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上，利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理，内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理，还包括常识推理（commonsense reasoning）。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑（default logic）、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑（应用逻辑）和一类不严格意义上的逻辑（逻辑的应用）的混合。最早研究人工智能逻辑的是约翰·麦卡锡（John McCarthy），他提出采用逻辑方法来形式化人工智能需要解决的问题。
首页 >
人工智能逻辑
✍ dations ◷ 2025-06-30 11:13:16 #哲学
相关
- 分子钟分子钟（英语：Molecular clock），也叫基因钟、演化钟，是一个比喻性术语。是一种根据生物大分子的突变率推断两个或多个生物在演化历史上分离的时间的技术。计算时间所采用的生物大
- 喀丙达卡宾达省（葡萄牙语：Cabinda）是安哥拉的一块外飞地，两者被刚果民主共和国（旧称扎伊尔）隔开，北接刚果共和国，东边及南边与刚果民主共和国相邻，西面濒临大西洋。1885年柏林会议时，法葡比
- 行贿指数行贿指数（Bribe Payers Index）是透明国际每3年一度进行的就全球各大经济体进行的行贿可能性调查。行贿指数于1999年首次发表，2011年的行贿指数对全球3000名企业主管发出问卷，依
- 托尔曼理查德·蔡斯·托尔曼（英语：Richard Chace Tolman，1881年3月4日－1948年9月5日），美国数学物理学家和物理化学家，亦是统计力学的权威学者。他还在爱因斯坦发现了广义相对论后不久为物
- 性兴奋性刺激是能激起性兴奋、性冲动或性快感的感官刺激，可以是视觉的刺激，触觉上的刺激，或其他感官上的刺激。依据情况的不同，人会因各种因素感受到生理或心理上的性兴奋。性兴奋可能
- 张光北张光北（1959年6月11日－），四川人，中国演员。1982年至1986年就读于中央戏剧学院表演系，所属单位北京电影制片厂。
- 荔波县荔波县是中华人民共和国贵州省黔南布依族苗族自治州下属的一个县。面积2432平方公里。邮政编码558400，县政府驻玉屏街道。荔波于秦王赢政三十六年（公元前221年）为象郡毋敛县地
- 华理红烧肉华理红烧肉，是华东理工大学的一道招牌菜品。该菜品采用上海本帮红烧肉的做法，在2011年上海校园系列“十大美食”评选中获总决赛一等奖，成为上海高校中一道很有口碑的菜肴。据华
- 茴香豆茴香豆是浙江省绍兴市一带的常见下酒物之俗称，颜色青黄，表皮起皱，因鲁迅的《孔乙己》一文而闻名。茴香豆的具体做法是把干蚕豆（当地人叫“罗汉豆”）泡浸后沥干入锅，加进 桂皮、茴
- 双炊糕双炊糕是一种温州传统特色食品，用面粉和白糖制成，现在最具有正统工艺的制作者为温州瑞安的“瑞安双炊糕”。系糕点名师李瑞庆创制于清代光绪年间，距今已有１００多年的历史。它用糯米
