【关於知识与信念逻辑许江武】.pdf

致谢三年时间转瞬即过,但北京师范大学哲学系逻辑教研室,各位尊师对我的关怀与教诲,我将永生难忘。他们不仅仅传授给我具体的知识,更重要的是他们以为师的高尚品德和以身作则的行为提供给我以思想和生活的方式.关于这篇论文,从选题、积累资料到写作完成,都凝聚了我十分敬重的导师熊立文老师的心血,她无微不至的关心与循循善诱的指导使我在论文写作过程中充满信心和满怀感激之情.也感谢陈银科老师在百忙之中仍为我的论文指点迷津。他谦虚、认真的态度使我时时为自己的论文未能作得更好而感到惭愧.还要衷心感谢辛勤教授过我的王庆英老师、董志铁老师、杜忠臣老师、吴家国老师、杨百顺老师、宋文途老师。

Abstract The knowledge and belief logic is an important branch of epistemic logic,which now hasbecome a newhot topic of computer-technology and AI theoretic research.Thepaperwill offer a thorough discussion on theKBsystern,founded by J.Hintikka,who is the most important founder.

引言在日常生活中,常出现下列陈述句,如“马克思相信共产主义能实现”,“某人知道苏联已经解体了”等等。一般认为,含有“知道”、“相信”等模态词的命题统称为认知命题,而广义的认知逻辑就是研究认知命题形式和构造相应的形式逻辑理论的学科.关于知识与信念逻辑属于广义上的认知逻辑。本文将重点讨论关于知识与信念逻辑的发展与应用。目前,关于知识与信念逻辑的应用技术正逐渐成为计算机科学,特别是人工智能(A1)研究中的最重要的分支之一。其有关技术已在诸多的领域中得到应用,主要有:经济学、语言学、人工智能及计算机科学.关于知识与信念逻辑研究的真正兴起与发展是近四十年来的事。“1951 年,G.H.