论文部分内容阅读
时空推理是面向时间/空间问题的研究领域,在人工智能（如语义Web、机器人导航、自然语言处理、物理过程的定性模拟和常识推理等）和其他领域有着广泛的应用前景.复合推理在时空推理中具有重要作用,是约束满足问题等其他定性推理的基础.复合推理是由R（a,b）和R（b,c）决定R（a,c）的一种演绎推理.一般将关系复合结果放在复合表中备查.但目前复合表的建立需要逐个模型进行手工推导,少数模型给出了独立的复合表生成算法,没有适合多种时空关系模型、能自动生成复合表的通用算法.为此,提出了一种能自动生成复合表的通用算法.首