OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Interpolative reasoning with default rules

Schockaert, Steven and Prade, Henri Interpolative reasoning with default rules. (2013) In: 23rd International Joint Conference on Artificial Intelligence (IJCAI-2013), 3 August 2013 - 9 August 2013 (Beijing, China).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Default reasoning and interpolation are two important forms of commonsense rule-based reasoning. The former allows us to draw conclusions from incompletely specified states, by making assumptions on normality, whereas the latter allows us to draw conclusions from states that are not explicitly covered by any of the available rules. Although both approaches have received considerable attention in the literature, it is at present not well understood how they can be combined to draw reasonable conclusions from incompletely specified states and incomplete rule bases. In this paper, we introduce an inference system for interpolating default rules, based on a geometric semantics in which normality is related to spatial density and interpolation is related to geometric betweenness. We view default rules and information on the betweenness of natural categories as particular types of constraints on qualitative representations of Gärdenfors conceptual spaces. We propose an axiomatization, extending the well-known System P, and show its soundness and completeness w.r.t. the proposed semantics. Subsequently, we explore how our extension of preferential reasoning can be further refined by adapting two classical approaches for handling the irrelevance problem in default reasoning: rational closure and conditional entailment.

Item Type:Conference or Workshop Item (Paper)
Additional Information:AAAI (Association for the Advancement of Artificial Intelligence) Publications ISBN: 978-1577356332 AAAI Publications http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6796 (???)
HAL Id:hal-01178566
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Cardiff Metropolitan University (UNITED KINGDOM)
Laboratory name:
Deposited On:23 Jun 2015 07:55

Repository Staff Only: item control page