事件演算在行动推理中的应用

摘要：

事件演算是基于一阶谓词演算的行动推理理论.它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力.在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog实现.讨论介绍与这些应用相关的基本概念、思想和方法等,并且通过一个送咖啡的例子说明了如何通过事件演算来描述和实现.

关键词：事件演算、行动推理、并发行动、知识、连续变化

所属期刊栏目：29

分类号：TP18(自动化基础理论)

资助基金：江苏省高校自然科学研究计划基金项目03kjd520175

在线出版日期：2008-07-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2886-2887,2966