计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
1期
116-125,145
,共11页
刘炜%徐文杰%唐英英%付剑锋%张旭洁%刘宗田
劉煒%徐文傑%唐英英%付劍鋒%張旭潔%劉宗田
류위%서문걸%당영영%부검봉%장욱길%류종전
T-ALC%逻辑程序%事件动作%动作推理%不确定性推理
T-ALC%邏輯程序%事件動作%動作推理%不確定性推理
T-ALC%라집정서%사건동작%동작추리%불학정성추리
T-ALC%Logic program%Event action%Action reasoning%Uncertainty reasoning
“事件”是比“概念”粒度更大的人类知识表示单元,更接近于人类的认知过程.动作作为事件的一个重要要素,表示事件中对象的状态的变化过程.在状态的变化过程中加入时间信息,将动作表示为对象的状态随时间变化而变化的过程,使得动作描述得更加具体.运用事件中的动作、对象和时间要素构建了一个动作形式化体系,研究了事件知识中确定性动作和不确定性动作的语法表示和语义解释.该形式化体系将扩展的带时间维的描述逻辑T-ALC和逻辑程序设计进行整合,增强了动作的表达能力；在动作的推理中,将确定性动作转化为逻辑程序Datalog规则实现动态推理,将不确定性动作转化为Datalog(-)规则实现不确定推理.最后通过银行服务系统实例对动作的形式化表示和推理进行了验证.
“事件”是比“概唸”粒度更大的人類知識錶示單元,更接近于人類的認知過程.動作作為事件的一箇重要要素,錶示事件中對象的狀態的變化過程.在狀態的變化過程中加入時間信息,將動作錶示為對象的狀態隨時間變化而變化的過程,使得動作描述得更加具體.運用事件中的動作、對象和時間要素構建瞭一箇動作形式化體繫,研究瞭事件知識中確定性動作和不確定性動作的語法錶示和語義解釋.該形式化體繫將擴展的帶時間維的描述邏輯T-ALC和邏輯程序設計進行整閤,增彊瞭動作的錶達能力；在動作的推理中,將確定性動作轉化為邏輯程序Datalog規則實現動態推理,將不確定性動作轉化為Datalog(-)規則實現不確定推理.最後通過銀行服務繫統實例對動作的形式化錶示和推理進行瞭驗證.
“사건”시비“개념”립도경대적인류지식표시단원,경접근우인류적인지과정.동작작위사건적일개중요요소,표시사건중대상적상태적변화과정.재상태적변화과정중가입시간신식,장동작표시위대상적상태수시간변화이변화적과정,사득동작묘술득경가구체.운용사건중적동작、대상화시간요소구건료일개동작형식화체계,연구료사건지식중학정성동작화불학정성동작적어법표시화어의해석.해형식화체계장확전적대시간유적묘술라집T-ALC화라집정서설계진행정합,증강료동작적표체능력；재동작적추리중,장학정성동작전화위라집정서Datalog규칙실현동태추리,장불학정성동작전화위Datalog(-)규칙실현불학정추리.최후통과은행복무계통실례대동작적형식화표시화추리진행료험증.
