基于逻辑的行动理论综述

Review of action theories based on logics

行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义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.