基于逻辑的行动理论综述  

Review of action theories based on logics

作　　者：常亮[1] 

机构地区：[1]桂林电子科技大学计算机科学与工程学院,广西桂林541004

出　　处：《桂林电子科技大学学报》2010年第5期440-446,共7页Journal of Guilin University of Electronic Technology

基　　金：国家自然科学基金(60903079)

摘　　要：行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础。对行动理论的研究现状进行了总结。首先从采用的逻辑语言的角度将行动理论分为3类:基于谓词逻辑的行动理论、采用命题语言的行动理论、以及基于描述逻辑的行动理论;分别以情景演算、基于命题动态逻辑的行动理论和动态描述逻辑为例,对每种类型的行动理论进行了介绍,阐述了各类行动理论的特点。接下来对目前行动理论中存在的问题进行了分析,在此基础上提出了行动理论研究目前面临的若干挑战和机遇。Action theory is an important research topic in the field of artificial intelligence;it acts as the theoretical basis of both the intelligent agent and the semantic web service.A survey of action theories is presented in this paper.Firstly,from the perspective of logic languages used in them,action theories are divided into three groups： those based on predicate logics,those adopting propositional languages and those based on description logics.Be corresponding to these groups,three typical action theories including the situation calculus,the action theory based on propositional dynamic logic and the dynamic description logic are introduced;the features of each group of action theories are also summarized.Secondly,three common problems for existing action theories are analyzed.Be corresponding to these problems,some challenges and opportunities for the studies of action theories are proposed.

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

分 类 号：TN929.1[电子电信—通信与信息系统]