Region connection calculus: Its models and composition table

Li, S; Ying, M

Region connection calculus: Its models and composition table

Li, S

Ying, M

Permalink

Publication Type:: Journal Article
Citation:: Artificial Intelligence, 2003, 145 (1-2), pp. 121 - 146
Issue Date:: 2003-04-01

Closed Access

	Filename	Description	Size
	2007004948OK.pdf		360.35 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	Li, S https://orcid.org/0000-0002-3332-2546	en_US
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.date.issued	2003-04-01	en_US
dc.identifier.citation	Artificial Intelligence, 2003, 145 (1-2), pp. 121 - 146	en_US
dc.identifier.issn	0004-3702	en_US
dc.identifier.uri	http://hdl.handle.net/10453/9059
dc.description.abstract	Originating in Allen's analysis of temporal relations, the notion of composition table has become a key technique in providing an efficient inference mechanism for a wide class of theories in the field artificial intelligence. This paper is mainly about the consistency-based composition table (RCC8 CT) of the Region Connection Calculus (RCC) raised by Randell, Cui and Cohn. First we show each RCC model is a consistent model of the RCC8 CT. Then after an exhaustive analysis we show that no RCC model can be interpreted extensionally anyway and hence give a negative answer to a conjecture raised by Bennett. All these results are given in an 'extensional' RCC8 composition table, where we attach to each cell entry in the RCC8 CT a superscript to indicate in what circumstances an extensional interpretation is possible. © 2002 Elsevier Science B.V. All rights reserved.	en_US
dc.relation.ispartof	Artificial Intelligence	en_US
dc.relation.isbasedon	10.1016/S0004-3702(02)00372-7	en_US
dc.subject.classification	Artificial Intelligence & Image Processing	en_US
dc.title	Region connection calculus: Its models and composition table	en_US
dc.type	Journal Article
utslib.citation.volume	1-2	en_US
utslib.citation.volume	145	en_US
utslib.for	0801 Artificial Intelligence and Image Processing	en_US
utslib.for	0802 Computation Theory and Mathematics	en_US
utslib.for	1702 Cognitive Sciences	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	1-2	en_US
pubs.publication-status	Published	en_US
pubs.volume	145	en_US

Abstract:

Originating in Allen's analysis of temporal relations, the notion of composition table has become a key technique in providing an efficient inference mechanism for a wide class of theories in the field artificial intelligence. This paper is mainly about the consistency-based composition table (RCC8 CT) of the Region Connection Calculus (RCC) raised by Randell, Cui and Cohn. First we show each RCC model is a consistent model of the RCC8 CT. Then after an exhaustive analysis we show that no RCC model can be interpreted extensionally anyway and hence give a negative answer to a conjecture raised by Bennett. All these results are given in an 'extensional' RCC8 composition table, where we attach to each cell entry in the RCC8 CT a superscript to indicate in what circumstances an extensional interpretation is possible. © 2002 Elsevier Science B.V. All rights reserved.

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

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