On standard models of fuzzy region connection calculus

Liu, W; Li, S

On standard models of fuzzy region connection calculus

Liu, W Li, S

Permalink

Publication Type:: Journal Article
Citation:: International Journal of Approximate Reasoning, 2011, 52 (9), pp. 1337 - 1354
Issue Date:: 2011-12-01

Closed Access

	Filename	Description	Size
	2011000656OK.pdf	Published Version	497.27 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Liu, W	en_US
dc.contributor.author	Li, S https://orcid.org/0000-0002-3332-2546	en_US
dc.date.issued	2011-12-01	en_US
dc.identifier.citation	International Journal of Approximate Reasoning, 2011, 52 (9), pp. 1337 - 1354	en_US
dc.identifier.issn	0888-613X	en_US
dc.identifier.uri	http://hdl.handle.net/10453/31417
dc.description.abstract	The Region Connection Calculus (RCC) is perhaps the most influential topological relation calculus. Based on the first-order logic, the RCC, however, does not fully meet the needs of applications where the vagueness of entities or relations is important and not ignorable. This paper introduces standard models for the fuzzy region connection calculus (RCC) proposed by Schockaert et al. (2008) [18]. Each of such a standard fuzzy RCC model is induced by a standard RCC model in a natural way. We prove that each standard fuzzy RCC model is canonical in the sense that any satisfiable set of fuzzy RCC8 constraints have a solution in it. A polynomial realization algorithm is also provided. As a side product, we show similar sets of fuzzy constraints have similar solutions if both are satisfiable. This allows us to approximate fuzzy RCC constraints that have arbitrary bounds by those have bounds with finite precision. © 2011 Elsevier Ltd. All rights reserved.	en_US
dc.relation.ispartof	International Journal of Approximate Reasoning	en_US
dc.relation.isbasedon	10.1016/j.ijar.2011.07.001	en_US
dc.subject.classification	Artificial Intelligence & Image Processing	en_US
dc.title	On standard models of fuzzy region connection calculus	en_US
dc.type	Journal Article
utslib.citation.volume	9	en_US
utslib.citation.volume	52	en_US
utslib.for	010107 Mathematical Logic, Set Theory, Lattices and Universal Algebra	en_US
utslib.for	0103 Numerical and Computational Mathematics	en_US
utslib.for	0104 Statistics	en_US
utslib.for	0801 Artificial Intelligence and Image Processing	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	closed_access
pubs.issue	9	en_US
pubs.publication-status	Published	en_US
pubs.volume	52	en_US

Abstract:

The Region Connection Calculus (RCC) is perhaps the most influential topological relation calculus. Based on the first-order logic, the RCC, however, does not fully meet the needs of applications where the vagueness of entities or relations is important and not ignorable. This paper introduces standard models for the fuzzy region connection calculus (RCC) proposed by Schockaert et al. (2008) [18]. Each of such a standard fuzzy RCC model is induced by a standard RCC model in a natural way. We prove that each standard fuzzy RCC model is canonical in the sense that any satisfiable set of fuzzy RCC8 constraints have a solution in it. A polynomial realization algorithm is also provided. As a side product, we show similar sets of fuzzy constraints have similar solutions if both are satisfiable. This allows us to approximate fuzzy RCC constraints that have arbitrary bounds by those have bounds with finite precision. © 2011 Elsevier Ltd. All rights reserved.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/31417