Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning

Abstract : In this paper we address the modelling of reasoning processes in natural agents. We focus on a very basic kind of non-monotonic inferences for which we identify a simple and plausible underlying process, and we develop a family of logical models that allow to match this process. Partial worlds models, as we call them, are a variant of Kraus, Lehmann and Magidor's cumulative models. We show that the inference relations they induce form a strict subclass of cumulative relations, and tackle the issue of providing sound and complete sets of rules to characterize them. Taking inspiration from Gabbay & Schlechta's work on preferential structures (Gabbay & Schlechta, 2008, 2009), we analyse the question in terms of definable sets of partial worlds, and conclude that completeness is probably unreachable using a standard propositional language. This brings us to enrich our language with an additional connective ‖, allowing to distinguish between two kinds of disjunctions in partial worlds context. Within this renewed framework, we provide two representation theorems: one for inference relations induced by precisification-free smooth models, and the other for inference relations induced by precisification-free ranked models. Finally we give an aperçu of how partial worlds models lend themselves to the modelling of learning.
Type de document :
Article dans une revue
Journal of Applied Non-Classical Logics, Editions Hermes, 2016, 26 (4), pp.251 - 285. 〈10.1080/11663081.2016.1214805〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01608194
Contributeur : Christel Grimaud <>
Soumis le : mardi 3 octobre 2017 - 00:46:10
Dernière modification le : vendredi 17 novembre 2017 - 15:38:03

Fichier

PWModelsAM.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Christel Grimaud. Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning. Journal of Applied Non-Classical Logics, Editions Hermes, 2016, 26 (4), pp.251 - 285. 〈10.1080/11663081.2016.1214805〉. 〈hal-01608194〉

Partager

Métriques

Consultations de la notice

31

Téléchargements de fichiers

7