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

Applications of event calculus in reasoning about actions

作　　者：杨爱琴[1] 刘一松[1] 

机构地区：[1]江苏大学计算机科学与通信工程学院,江苏镇江212013

出　　处：《计算机工程与设计》2008年第11期2886-2887,2966,共3页Computer Engineering and Design

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

摘　　要：事件演算是基于一阶谓词演算的行动推理理论。它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力。在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog实现。讨论介绍与这些应用相关的基本概念、思想和方法等,并且通过一个送咖啡的例子说明了如何通过事件演算来描述和实现。The event calculus is a theory for reasoning about action based on first-order predicate calculus. It is a formal tool for describing events and has powerful abilities of representation and realization in reasoning about action. In the event calculus, actions, time of actions, concurrency actions and knowledge of the agent are formally characterized and the plans are implemented by Prolog. The main ideas, basic concepts and methods on the event calculus are discussed and a delivering coffee example is listed to show how to describe and implement the program in event calculus.

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]