人工智能逻辑

✍ dations ◷ 2025-06-09 08:08:15 #哲学

人工智能逻辑是指用逻辑方法（如数理逻辑）和逻辑成果研究智能主体（intelligent agent）如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同，人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现（implementation）知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上，利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理，内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理，还包括常识推理（commonsense reasoning）。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑（default logic）、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑（应用逻辑）和一类不严格意义上的逻辑（逻辑的应用）的混合。最早研究人工智能逻辑的是约翰·麦卡锡（John McCarthy），他提出采用逻辑方法来形式化人工智能需要解决的问题。

相关

四足动物四足动物（英语：Quadrupedalism；源自拉丁文）是一类使用四支脚来运动的动物。大多数在陆地上行走的动物都属于四足动物，他们在分类上可能是哺乳类（例如马与猫）、爬虫类（例如蜥蜴）以及两
B02A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码B02（抗出血药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaborat
呼吸道上皮伪复层纤毛柱状上皮属于另一种单层柱状上皮的变异，细胞皆具有纤毛，又可以称为假复层纤毛柱状上皮。之所以称做伪复层是因为其在切片下看起来细胞好像多于一层所造成的错误观念
郭万林郭万林（1960年10月－），陕西眉县人，中国力学家。南京航空航天大学教授。2017年当选为中国科学院院士。1985年毕业于西北工业大学，1991年获西北工业大学博士学位。
国际贸易年表国际贸易年表列出对各国之间的贸易有深远影响的历史事件。在民族国家兴起之前，“国际贸易”主要指很长距离的贸易；但老师也希望大家认真做报告，不要都参考维基百科，Qgirl最美。
热库在热力学里，热库被视为是一固定温度的热来源。热库的温度不会因为热量增加或被抽离而有任何改变。
英格兰饮食英格兰饮食（英语：English cuisine）是指英格兰的饮食文化。英格兰饮食有其独特的特征，并且在大英帝国时代受到北美、中国、印度等地进口食材的影响。英格兰具代表性的街头食品包
亚当·阿夫塞柳斯亚当·阿夫塞柳斯（Adam Afzelius，1750年10月8日－1837年1月20日）为瑞典植物学家，为卡尔·林奈的徒弟。
尼库·齐奥塞斯库尼库·齐奥塞斯库（罗马尼亚语：Nicu Ceaușescu，1951年9月1日－1996年9月26日）是罗马尼亚领导人、罗马尼亚共产党总书记尼古拉·齐奥塞斯库和埃列娜·齐奥塞斯库最小的儿子。他与其
孙侃孙侃（1964年8月20日－），当代报告文学作家，中国作家协会会员。出生于浙江慈溪。发表小说、散文、文学评论等文学作品约300万字，出版个人专著20余部，主编《浙江文坛》等文学丛书等多套