人工智能应用中基于区间代数的时态推理  

Temporal Reasoning Based on Interval Algebra in Artificial Intelligence

作　　者：凌青华[1] 沈继峰[1] 胡广鹏[1] 于枫[1] 

机构地区：[1]江苏科技大学电子信息学院,镇江212003

出　　处：《科学技术与工程》2006年第21期3427-3433,共7页Science Technology and Engineering

基　　金：武器装备预研基金(51406020104CB0201)资助

摘　　要：时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用。区间代数是一种独立的与领域无关的时态理论。用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理。在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示。Temporal representation and reasoning are important research area in artificial intelligence. And it is widely used not only in logical basic research but also in knowledge system. Interval Algebra （IA） is a temporal theory, which is independent from specific applications. Uncertain temporal relations can be represented and reasoned by IA. IA has strong expressive ability in tense, and it can represent all natural temporal relations. At the same time, temporal relation represented by IA is highly visual and comprehensive. In additional, IA has been extended from one-dimension temporal area to two-dimension spatial area, that is to say, interval algebra can be developed to rectangle algebra （RA） for two-dimension reasoning. In the temporal reasoning, if interval algebra is combined with interval matrix, the computing efficiency is improved, and the temporal representation keeps visual and comprehensive as well.

关 键 词：区间代数 区间矩阵 时态推理 人工智能 

分 类 号：TP183[自动化与计算机技术—控制理论与控制工程]