小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2011年
9期
1784-1789
,共6页
徐文杰%刘炜%付剑锋%刘宗田
徐文傑%劉煒%付劍鋒%劉宗田
서문걸%류위%부검봉%류종전
事件%动作%事件本体%动作推理%描述逻辑
事件%動作%事件本體%動作推理%描述邏輯
사건%동작%사건본체%동작추리%묘술라집
事件是随时间变化而变化的具体事实,事件是由动作、时间及其它要素组成,动作是事件定义中的主要构成部分.在面向事件的知识库系统中,关于动作的推理研究一直是重要的研究课题之一.现有的动作推理形式化系统旨在描述和推理现实世界中状态的变化,忽略了时间要素对推理过程的影响.针对这种不足,本文在描述逻辑的基础上扩充了一个Action-TBox和一个Action-ABox,并将事件本体中的动作要素和时间要素相结合,形式化定义了动作的一个三元组表示方式以及多种时间构造算子,用以刻画组合动作的发生过程,在此基础上研究了事件本体中关于动作的几种推理服务.
事件是隨時間變化而變化的具體事實,事件是由動作、時間及其它要素組成,動作是事件定義中的主要構成部分.在麵嚮事件的知識庫繫統中,關于動作的推理研究一直是重要的研究課題之一.現有的動作推理形式化繫統旨在描述和推理現實世界中狀態的變化,忽略瞭時間要素對推理過程的影響.針對這種不足,本文在描述邏輯的基礎上擴充瞭一箇Action-TBox和一箇Action-ABox,併將事件本體中的動作要素和時間要素相結閤,形式化定義瞭動作的一箇三元組錶示方式以及多種時間構造算子,用以刻畫組閤動作的髮生過程,在此基礎上研究瞭事件本體中關于動作的幾種推理服務.
사건시수시간변화이변화적구체사실,사건시유동작、시간급기타요소조성,동작시사건정의중적주요구성부분.재면향사건적지식고계통중,관우동작적추리연구일직시중요적연구과제지일.현유적동작추리형식화계통지재묘술화추리현실세계중상태적변화,홀략료시간요소대추리과정적영향.침대저충불족,본문재묘술라집적기출상확충료일개Action-TBox화일개Action-ABox,병장사건본체중적동작요소화시간요소상결합,형식화정의료동작적일개삼원조표시방식이급다충시간구조산자,용이각화조합동작적발생과정,재차기출상연구료사건본체중관우동작적궤충추리복무.
