基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理.pdfVIP

第41卷第1期计算机科学V01．41No．1

2014年1月Science2014

ComputerJan

基于扩展描述逻辑和逻辑程序的事件动作

形式化表示与推理

刘炜1徐文杰1唐英英1

付剑锋2张旭洁1刘宗田1

(上海大学计算机工程与科学学院上海200072)·(上海立信会计学院数学与信息学院上海201620)2

摘要“事件”是比“概念”粒度更大的人类知识表示单元，更接近于人类的认知过程。动作作为事件的一个重要要

素，表示事件中对象的状态的变化过程。在状态的变化过程中加入时间信息，将动作表示为对象的状态随时间变化而

变化的过程，使得动作描述得更加具体。运用事件中的动作、对象和时间要素构建了一