Qualitative reasoning about incomplete categorization rules based on interpolation and extrapolation in conceptual spaces

  • Authors:
  • Steven Schockaert;Henri Prade

  • Affiliations:
  • Department of Applied Mathematics and Computer Science, Ghent University, Belgium;Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, Toulouse, France

  • Venue:
  • SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 Gärdenfors 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.