基于逻辑的行动理论综述

摘要：

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

关键词：行动理论、知识表示和推理、情景演算、命题动态逻辑、动态描述逻辑

所属期刊栏目：30

分类号：TN929.1

资助基金：国家自然科学基金60903079

在线出版日期：2011-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：440-446