基于描述逻辑的空间推理研究

被引：3

作者：

刘亚彬

陈岗

机构：

[1] 上海财经大学信息系

[2] 上海财经大学信息系上海

[3] 上海

来源：

计算机科学 | 2004年 / 08期

关键词：

具体域; 描述逻辑; ALC(D); DLSR(DP); 空间推理;

D O I：

暂无

中图分类号：

TP301 [理论、方法]; TP182 [专家系统、知识工程];

学科分类号：

081202 ; 1111 ;

摘要：

本文讨论了具体域的可用性,首先介绍了 ALC(D)描述的具体域 D,然后定义了适用于由点、线和区域共同组成的具体域 DP,扩展了描述逻辑 ALC(D),指出适用于空间推理的描述逻辑能通过术语推理将定性信息和定量信息结合起来,以用于定性空间推理。

引用

页码：110 / 112

页数：3

共 8 条

[1]

A spatial logic based on regions and connection. Randell D A,et al. Principles of Knowledge Representation and Reasoning of the 3rd Intl.Conf . 1992

[2]

Reasoning with Complexity of terminological reasoning revisited. Lutz C. Proc.of the 6th Intl.Joint Conf.on Logic for Programming and Automated Reasoning(LPA‘99) . 1999

[3]

Query Containment using a DLR ABox. Horrocks I,Sattler U,Tessaris S,Tobies S. LTCS-Report 00-15 .

[4]

Spatial Information Theory: a theoretical basis for GIS. Faltings B. Springer-Verlag . 1995

[5]

A scheme for integrating concrete domain into concept languages. Baader F,Hanschke P. Twelfth Intl.Joint Conf,on Artificial Intelligence . 1991

[6]

Computational properties of qualitative spatial reasoning: First results. Nebel B. Proc. KI-95: Advances in Artificial Intelligence, 19th Annual German Conf. on Artificial Intelligence . 1995

[7]

Reasoning with concrete domain. Lutz C. Proc.of the Sixteenth Intl.Joint Conf.on Artificial Intelligence JCAI-99 . 1999

[8]

On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. Renz J,Nebel B. Proc. of 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI97) . 1997

← 1 →