Various forms of commonsense reasoning may be used to cope with situations where insufficient knowledge is available for a given purpose. In this paper, we rely on such a strategy to complete sets of symbolic categorization rules, starting from background information about the semantic relationship of different properties and concepts. Our solution is based on Gardenfors conceptual spaces, which allow us to express semantic relationships with a geometric flavor. In particular, we take the inherently qualitative notion of betweenness as primitive, and show how it naturally leads to patterns of interpolative reasoning. Both a semantic and a syntactic characterization of this process is presented, and the computational complexity is analyzed. Finally, some patterns of extrapolative reasoning are sketched, based on the notions of betweenness and parallelism.
['Steven Schockaert', 'Henri Prade']
Qualitative reasoning about incomplete categorization rules based on interpolation and extrapolation in conceptual spaces