Fast qualitative reasoning about categories in conceptual spaces

Categorization is a central task in cognitive science and artificial intelligence. Efficient reasoning about categories is becoming of great importance as intelligent agents are required to perform complex tasks in data-rich environments. Gärdenfors and Williams [6] introduce a robust framework for categorization and reasoning about categories within conceptual spaces. This paper extends their work and presents a number of efficient reasoning properties that greatly reduce the search space resulting in fast derivation of reasoning about categories