信念修改的理论与方法

目前非单调推理、知识与信念逻辑(亦称关于知识的推理)和信念修改理论已成为人工智能理论研究中的三大新的热门课题。近半年来,笔者参加了国际上先后召开的四次重要的人工智能理论学术会议:JELIA′90(人工智能逻辑,荷兰阿姆斯特丹,1990年9月)、CSL′90(德国海德堡,1990年10月)、MEDLAR′91(英国伦敦,1991年3月)和 KR′91(美国波士顿,1991年4月)。本文将简要介绍有关信念修改的基本概念、理论和方法,也介绍了这一理论研究的进一步发展梗概。