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