基于逻辑的行动理论综述

• 作者: 常亮
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 行动理论 知识表示和推理 情景演算 命题动态逻辑 动态描述逻辑
• 年，卷（期）: 2010,（5）
• 页码范围: 440-446
• 分类号: TN929.1
• 字数: 8559字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2010.05.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	常亮	桂林电子科技大学计算机科学与工程学院	77	450	12.0	17.0