扩展时段时序逻辑的推理机制.pdf

第 卷 第 期 计 算 机 学 报 25 6 VOl. 25 NO. 6 年 月 2002 6 C INESE .COMPUTERS une 2002 扩展时段时序逻辑的推理机制 刘 婷 林 闯 刘卫东 (清华大学计算机科学与技术系 北京 100084) 摘 要 该文在扩展时段时序逻辑的基础上提出了一种推理机制 这种推理机制基于时间 Petri 网模型及基本不 等式规则 可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 对不确定时间段内发生的事件 及其相互关系具有较好的描述能力 这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析. . 利用时间Petri 网模型 可以对复杂时序逻辑关系进行化简 比单纯利用不等式规则的推理更直观 也更简单 是一 种行之有效的方法. 关键词 扩展时段时序逻辑 时序关系 推理机制 时间 Petri 网 中图法分类号: TP393 The Inference Engine of Extended Interval Temporal logic LIU Ting LIN Chuang LIU Wei DOng- (D6PC7 H6H 0f C0HP/ 67SCz6HC6CHC T6C H0l0g} TszHg /C uHzu67sz } B6zjzHg 100084) Abstract Extended interVal tempOral lOgic(EITL) can mOdel and reaSOn abOut the tempOral re- latiOnS betWeen nOndeterminiStic interValS in diScrete eVent SyStemS Where the duratiOn Of an ac-- tiOn Or eVent iSindeterminateOr unpredictableand Only thelOW bOund and up bOund Of thetermi-- - nal time can be predicted Generally the tempOral lOgic relatiOnS amOng extended interValS are. deScribed by a grOup Of StatementS EVery Statement StateS the tempOral lOgic relatiOnS betWeen. tWO interValS A neW inference engine fOr EITL iS prOpOSed in thiS paper and With thiS inference. engine unknOWn tempOral relatiOnS amOng the extended tempOral interValS can be inferred frOm the knOWn OneS. SOme fOrmer methOdS Of inferring unknOWn tempOral relatiOnS are Only