Skip to Main content Skip to Navigation
Journal articles

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

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.
Complete list of metadata

Cited literature [53 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01153936
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, May 20, 2015 - 5:01:57 PM
Last modification on : Thursday, March 18, 2021 - 2:25:06 PM
Long-term archiving on: : Tuesday, September 15, 2015 - 6:33:25 AM

File

schockaert_13173.pdf
Files produced by the author(s)

Identifiers

Citation

Steven Schockaert, Henri Prade. Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces. Artificial Intelligence, Elsevier, 2013, vol. 202, pp. 86-131. ⟨10.1016/j.artint.2013.07.001⟩. ⟨hal-01153936⟩

Share

Metrics

Record views

342

Files downloads

859