Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces

Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 and Prade, Henri 2013. Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces. Artificial Intelligence 202 , pp. 86-131. 10.1016/j.artint.2013.07.001

[thumbnail of interpolation.pdf]
Preview
PDF - Submitted Pre-Print Version
Download (1MB) | Preview

Abstract

Many logical theories are incomplete, in the sense that non-trivial conclusions about particular situations cannot be derived from them using classical deduction. In this paper, we show how the ideas of interpolation and extrapolation, which are of crucial importance in many numerical domains, can be applied in symbolic settings to alleviate this issue in the case of propositional categorization rules. Our method is based on (mainly) qualitative descriptions of how different properties are conceptually related, where we identify conceptual relations between properties with spatial relations between regions in Gärdenfors conceptual spaces. The approach is centred around the view that categorization rules can often be seen as approximations of linear (or at least monotonic) mappings between conceptual spaces. We use this assumption to justify that whenever the antecedents of a number of rules stand in a relationship that is invariant under linear (or monotonic) transformations, their consequents should also stand in that relationship. A form of interpolative and extrapolative reasoning can then be obtained by applying this idea to the relations of betweenness and parallelism respectively. After discussing these ideas at the semantic level, we introduce a number of inference rules to characterize interpolative and extrapolative reasoning at the syntactic level, and show their soundness and completeness w.r.t. the proposed semantics. Finally, we show that the considered inference problems are PSPACE-hard in general, while implementations in polynomial time are possible under some relatively mild assumptions.

Item Type: Article
Date Type: Publication
Status: Published
Schools: Computer Science & Informatics
Additional Information: Available online 19 July 2013 PDF uploaded in accordance with publisher's policies at http://www.sherpa.ac.uk/romeo/issn/0004-3702/ (accessed 27.8.15)
Publisher: Elsevier
ISSN: 0004-3702
Date of Acceptance: 14 July 2013
Last Modified: 13 Nov 2023 10:50
URI: https://orca.cardiff.ac.uk/id/eprint/76101

Citation Data

Cited 23 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item

Downloads

Downloads per month over past year

View more statistics