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

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用.区间代数是一种独立的与领域无关的时态理论.用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理.在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示.

Temporal Reasoning Based on Interval Algebra in Artificial Intelligence

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.