On Enumerating Models for the Logic of Paradox Using Tableau - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2018

On Enumerating Models for the Logic of Paradox Using Tableau

Résumé

We extend the classic propositional tableau method in order to compute the models given by the semantics of the Priest’s paraconsistent logic of paradox. Without loss of generality, we assume that the knowledge base is represented through propositional statements in NNF, which leads to use only two rules from the classical propositional tableau calculus for computing the paraconsistent models. We consider multisets to represent branches of the tableau tree and we extend the classical closed branches in order to compute the paradoxical models of formulas of the knowledge base. A sound and complete algorithm is provided.
Fichier non déposé

Dates et versions

hal-03594796 , version 1 (02-03-2022)

Identifiants

Citer

Pilar Pozos-Parra, Laurent Perrussel, Jean-Marc Thévenin. On Enumerating Models for the Logic of Paradox Using Tableau. Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, 11142, Springer International Publishing, pp.228-242, 2018, Lecture Notes in Computer Science book series, 978-3-030-00460-6. ⟨10.1007/978-3-030-00461-3_16⟩. ⟨hal-03594796⟩
17 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More