事件本体中的动作推理研究
事件是随时间变化而变化的具体事实，事件是由动作、时间及其它要素组成，动作是事件定义中的主要构成部分．在面向事件的知识库系统中，关于动作的推理研究一直是重要的研究课题之一．现有的动作推理形式化系统旨在描述和推理现实世界中状态的变化，忽略了时间要素对推理过程的影响,针对这种不足，本文在描述逻辑的基础上扩充了一个Action-TBox和一个Action-ABox,并将事件本体中的动作要素和时间要素相结合，形式化定义了动作的一个三元组表示方式以及多种时间构造算子．用以刻画组合动作的发生过程，在此基础上研究了事件本体中关于动作的几种推理服务．
动作推理 事件本体 描述逻辑
徐文杰 刘炜 付剑锋 刘宗田
上海大学计算机工程与科学学院 上海 200072 上海大学城市公共安全信息共享服务中心 上海 200072 上海大学计算机工程与科学学院 上海 200072
国内会议
哈尔滨
中文
249-255
2010-08-10（万方平台首次上网日期，不代表论文的发表时间）