论文部分内容阅读
行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础。对行动理论的研究现状进行了总结。首先从采用的逻辑语言的角度将行动理论分为3类：基于谓词逻辑的行动理论、采用命题语言的行动理论、以及基于描述逻辑的行动理论;分别以情景演算、基于命题动态逻辑的行动理论和动态描述逻辑为例,对每种类型的行动理论进行了介绍,阐述了各类行动理论的特点。接下来对目前行动理论中存在的问题进行了分析,在此基础上提出了行动理论研究目前面临的若干挑战和机遇。