Computer Science – Artificial Intelligence
Scientific paper
2011-05-21
Computer Science
Artificial Intelligence
15 pages
Scientific paper
Originating from Allen's Interval Algebra, composition-based reasoning has been widely acknowledged as the most popular reasoning technique in qualitative spatial and temporal reasoning. Given a qualitative calculus (i.e. a relation model), the first thing we should do is to establish its composition table (CT). In the past three decades, such work is usually done manually. This is undesirable and error-prone, given that the calculus may contain tens or hundreds of basic relations. Computing the correct CT has been identified by Tony Cohn as a challenge for computer scientists in 1995. This paper addresses this problem and introduces a semi-automatic method to compute the CT by randomly generating triples of elements. For several important qualitative calculi, our method can establish the correct CT in a reasonable short time. This is illustrated by applications to the Interval Algebra, the Region Connection Calculus RCC-8, the INDU calculus, and the Oriented Point Relation Algebras. Our method can also be used to generate CTs for customised qualitative calculi defined on restricted domains.
Li Sanjiang
Liu Weiming
No associations
LandOfFree
On A Semi-Automatic Method for Generating Composition Tables does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On A Semi-Automatic Method for Generating Composition Tables, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On A Semi-Automatic Method for Generating Composition Tables will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-713245