情态演算在行动推理中的应用

• 作者: 周生明
• 来源期刊: 广西师范大学学报(自然科学版)
• 学科: 工学
• 关键词: 情态演算 行动推理 规划 感知 动态系统
• 年，卷（期）: 2003,（4）
• 页码范围: 37-43
• 页数: 7页
• 分类号: TP18
• 字数: 6177字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-6600.2003.04.008

摘要

情态演算是专门设计来表示动态变化世界的一个二阶多类语言,它可作为描述动态系统的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力.在情态演算中,可以对行动进行公理化,可以描述行动的时间性、并发性及agent的信念和知识,可用Prolog实现在开放世界中带有感知行动的规划.讨论并介绍与这些应用有关的基本概念、思想,方法和最新的一些研究成果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周生明	广西师范大学数学与计算机科学学院	20	152	6.0	11.0