Spatial reasoning in a fuzzy region connection calculus

Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881, De Cock, Martine and Kerre, Etienne E. 2009. Spatial reasoning in a fuzzy region connection calculus. Artificial Intelligence 173 (2) , pp. 258-298. 10.1016/j.artint.2008.10.009

Full text not available from this repository.

Abstract

Although the region connection calculus (RCC) offers an appealing framework for modelling topological relations, its application in real-world scenarios is hampered when spatial phenomena are affected by vagueness. To cope with this, we present a generalization of the RCC based on fuzzy set theory, and discuss how reasoning tasks such as satisfiability and entailment checking can be cast into linear programming problems. We furthermore reveal that reasoning in our fuzzy RCC is NP-complete, thus preserving the computational complexity of reasoning in the RCC, and we identify an important tractable subfragment. Moreover, we show how reasoning tasks in our fuzzy RCC can also be reduced to reasoning tasks in the original RCC. While this link with the RCC could be exploited in practical reasoning algorithms, we mainly focus on the theoretical consequences. In particular, using this link we establish a close relationship with the Egg–Yolk calculus, and we demonstrate that satisfiable knowledge bases can be realized by fuzzy regions in any dimension.

Item Type:	Article
Date Type:	Publication
Status:	Published
Schools:	Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Uncontrolled Keywords:	Spatial reasoning; Region connection calculus; Fuzzy set theory Spatial reasoning; Region connection calculus; Fuzzy set theory
Publisher:	Elsevier
ISSN:	0004-3702
Last Modified:	18 Oct 2022 13:30
URI:	https://orca.cardiff.ac.uk/id/eprint/14151

Citation Data

Cited 64 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item