Using classical propositional syntax to model human reasonning
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
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) |
---|