International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06)
A Formal Study on the Transitivity of the Part-Whole Relations
Sydney Australia
November 28-December 01
ISBN: 0-7695-2731-0
DOI Bookmark:
http://doi.ieeecomputersociety.org/10.1109/CIMCA.2006.7
Transitivity is an important property used in logical reasoning. However, Part-Whole (PW) relations usually do not satisfy the property. Wiston and Odell partitioned PW relations into six sub-PW relations respectively, such that the transitivity property is held in each sub-class and each different sub-PW denotes a kind of PW relations with special meanings. This paper studies the composition of different sub-PW relations given by Wiston and Odell in following three aspects: (1) Does the composition relation of two different sub- PW relations make sense?(2) Is the transitivity still held for the composition relations of two different sub- PW relations;(3) which sub-PW class does the composition relation belong to. Different from former study, a formal discussion is carried for above issues.
Citation:
Lian Li, Ma Jun, Song Ling, "A Formal Study on the Transitivity of the Part-Whole Relations," cimca, pp.129, International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06), 2006
Usage of this product signifies your acceptance of the
Terms of Use.
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb