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

维普资讯 第29卷 第 11期 计算机工程与设计 2008年6月 Vo1．29 NO．1l ComputerEngineeringandDesign June2008 事件演算在行动推理中的应用 杨爱琴， 刘一松 (江苏大学 计算机科学与通信工程学院，江苏 镇江212013) 摘 要：事件演算是基于一阶谓词演算的行动推理理论。它可作为描述事件的一个工具，在行动推理的应用中显示出其强 大的表示能力和实现能力。在事件演算中，可以对行动进行公理化，可以描述行动的时间性、并发性、连续变化及知识，而且 还可用Prolog实现。讨论介绍与这些应用相关的基本概念、思想和方法等，并且通过一个送咖啡的例子说明了如何通过事件 演算来描述和实现。 关键词：事件演算；行动推理；并发行动；知识；连续变化 中图法分类号：TP18 文献标识码：A 文章编号：10OO．7024(2oo8)11-28