关于知识的推理

近年来,关于知识的推理(Reasoning aboutKnowledge)正在成为计算机科学,特别是人工智能研究中的最重要的分支之一。自从八六年在美国加州召开首届关于知识的推理理论问题国际会议(简称 TARK:Theoretical Aspects of Reasoni-ng about Knowledge)以来,每两年将召开一次TARK 会议。今年三月份召开的 TARK90已是第三次盛会了。关于知识的推理的有关技术已在诸多的领域中得到应用,主要有,经济学,语言学,人工智能及计算机科学。这里,将简要地介绍关于知识的推理的有关基本知识、基本技术及其发展动向。一、关于知识的经典模型关于知识的逻辑推理(通常被称为认识逻辑(Epistemic Logics))的研究,最早由语言哲学家 J.Hintikka 在题为《知识和信念》书中提出了可能世界模型,其基本思路是