| 事件演算在行动推理中的应用 |
| |
| 引用本文： | 杨爱琴,刘一松. 事件演算在行动推理中的应用[J]. 计算机工程与设计, 2008, 29(11): 2886-2887 |
| |
| 作者姓名： | 杨爱琴 刘一松 |
| |
| 作者单位： | 江苏大学,计算机科学与通信工程学院,江苏,镇江,212013;江苏大学,计算机科学与通信工程学院,江苏,镇江,212013 |
| |
| 基金项目： | 江苏省高校自然科学基金 |
| |
| 摘 要： | 事件演算是基于一阶谓词演算的行动推理理论.它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力.在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog实现.讨论介绍与这些应用相关的基本概念、思想和方法等,并且通过一个送咖啡的例子说明了如何通过事件演算来描述和实现.
|
| 关 键 词： | 事件演算 行动推理 并发行动 知识 连续变化 |
| 文章编号： | 1000-7024(2008)11-2886-02 |
| 修稿时间： | 2007-06-06 |
Applications of event calculus in reasoning about actions |
| |
| YANG Ai-qin,LIU Yi-song. Applications of event calculus in reasoning about actions[J]. Computer Engineering and Design, 2008, 29(11): 2886-2887 |
| |
| Authors: | YANG Ai-qin LIU Yi-song |
| |
| Affiliation: | YANG Ai-qin,LIU Yi-song (School of Computer Science , Telecommunication Engineering,Jiangsu University,Zhenjiang 212013,China) |
| |
| Abstract: | 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 liste... |
| |
| Keywords: | event calculus reasoning about action concurrency action knowledge continuous change |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
