【作者】 陈小平； 刘贵全； 郭宝贵；
【机构】 中国科学技术大学计算机系；
【摘要】 <正>对意图(Intention)、信念(Belief)和目标(Goal)等知识状态的形式化研究是近年人工智能和哲学逻辑等领域中的一个重要课题。基于经典逻辑的工作遇到了很大的困难。本文针对意图的形式化,分析了困难的原因,并给出一种解决办法。更多还原
