期刊文献+

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

Temporal Reasoning Based on Interval Algebra In Artificial Intelligence
下载PDF
导出
摘要 时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用。区间代数是一种独立的与领域无关的时态理论。用区间代数能表示不确定的时态关系,可以很方便的用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理。在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示。 Temporal representation and reasoning is an important research area in artificial intelligence.It is widely used not on- ly in logical basic research but also in knowledge system.Interval Algebra(IA)is a temporal theory,which is independent from specific applications.We can represent and reason uncertain temporal relations 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 will be improved,and the temporal representation will keep beingvisual and comprehensive.
出处 《微型电脑应用》 2007年第2期31-34,40,共5页 Microcomputer Applications
基金 武器装备预研基金项目(514060201)
关键词 区间代数 区间矩阵 时态推理 人工智能 Interval algebra Interval matrix Temporal reasoning Artificial intelligence
  • 相关文献

参考文献8

  • 1J.F.Allen.Maintaining knowledge about temporal intervals[J].Comm,ACM,1983.
  • 2Shichao Zhang and Chengqi Zhang.Propagating temporal relations of interval by matrix[J].Applied Artificial Intelligence,2002,(16):1-27.
  • 3Peter van Beck,Reasoning about Qualitative Temporal Information[J].Artificial Intelligence,1992,(58):297-326.
  • 4夏祖勋,吴洁,方慧嘉.军事MAS中战斗行为协调的计算[J].舰船电子工程,2004,24(1):20-24. 被引量:9
  • 5刘永山,郝忠孝.基于MBR的主方向关系一致性检验[J].软件学报,2006,17(5):976-982. 被引量:16
  • 6Balbiani P.Condotta JF,Del Cerro LF.A new tractable subclass of the rectangle algebra[J].In:Dean T,ed.Proc.of the 16th Int'l Joint Conf.on Artificial Intelligence.San Francisco:Morgan Kaufmann Publishers,1999,442? 447.
  • 7Balbiani P,Condotta JF,Del Cerro LF.A model for reasoning about bidimensional temporal relations[J].In:Cohn AG,Schubert LK,Shapiro SC,eds.Proc.ofPrinciples of Knowledge Representation and Reasoning (KR).Trento:Morgan Kaufmann Publishers,1998,124-130.
  • 8Z.Xia,H.Fang Analyzing and computing dependent Relations of the combat action Series[J].Proceedings of SPIE'04,2004,Vol.5403:720-726.

二级参考文献10

  • 1[1]J.F.Allen.Maintaining knowledge about temporal intervals[J].Comm.ACM,1983,26:832-843
  • 2[2]M.Vilain and H.Kautz.Constraint propagation algorithms for temporal reasoning[C]. In Proceedings of the Fifth National Conference on Artificial Intelligence,Philadelphia, Pa.,1986,377-382
  • 3[3]M. Vilain, H. Kautz, and P. van Beek. Constraint propagation algorithms for temporal reasoning: A revised report[C]. In D. S. Weld and J. de Kleer, editors, Readings in Qualitative Reasoning about Physical Systems,Morgan Kaufmann, 1989,373-381
  • 4[4]P. Peter van Beek and R. Cohen. Exact and approximate reasoning about temporal relations[J]. Computational Intelligence, 1990,6:132-144
  • 5[5]P. Peter van Beek. Reasoning about qualitative temporal information[J]. Artificial Intelligence,1992,58:297-326
  • 6[6]Shichao Zhang and Chengqi Zhang. A method for interval calculus in matrix[J]. School of computing, National univ. of Singapore, 1997
  • 7[7]Bernhard nebel Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra, AAAI-94,356-361
  • 8[8]http://cbl.leeds.ac.uk/nikos/tex2html/doc/latex2html/latex2html.html
  • 9[9]姚莉,张维明.智能协作信息技术[M].电子工业出版社,2002,4
  • 10肖予钦,张巨,景宁,李军.基于R树的方向关系查询处理[J].软件学报,2004,15(1):103-111. 被引量:17

共引文献22

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部