Using classical propositional syntax to model human reasonning - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2021

Using classical propositional syntax to model human reasonning

Arnaud Kohler
  • Fonction : Auteur
  • PersonId : 1046743

Résumé

There are many formal languages for modelling reasoning. Each captures several properties, but none of them manages to cover all of them. We propose an alternative solution with contextual logic. Its particularity is to remain strictly within monotonic syntactic framework of propositional logic while benefiting from a non-monotonic semantic interpretation function. It verifies a fallibilist and perspectivist behavior. This makes it possible to model and exploit incoherent, epistemic, predicate, and temporal knowledge. The guiding idea of our work is to consider that syntactic production is monotonic. Syntactic interpretation function is classically adequate and complete with respect to syntax. The non-monotonic property of reasoning is captured by a “semantic” interpretation function of knowledge set models.
Fichier principal
Vignette du fichier
Using classical propositional syntax to model human reasoning.pdf (1.06 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03195162 , version 1 (10-04-2021)
hal-03195162 , version 2 (21-05-2021)
hal-03195162 , version 3 (16-10-2021)
hal-03195162 , version 4 (21-01-2022)
hal-03195162 , version 5 (18-04-2022)
hal-03195162 , version 6 (02-10-2022)
hal-03195162 , version 7 (29-10-2022)

Identifiants

  • HAL Id : hal-03195162 , version 3

Citer

Arnaud Kohler. Using classical propositional syntax to model human reasonning. 2021. ⟨hal-03195162v3⟩
230 Consultations
489 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More