Une logique pour représenter des variations propositionnelles - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Une logique pour représenter des variations propositionnelles

Résumé

La logique propositionnelle (comme d'autres logiques) peut être vue comme une façon de représenter des ensembles d'états du monde (les interprétations). La représentation de variations d'un ensemble d'états du monde à un autre est motivée par des travaux sur le raisonnement à partir de cas : la comparaison entre deux problèmes et le passage d'une solution à une autre peuvent être vus comme des variations d'un ensemble d'états à un autre. Cela a conduit à une notation pour représenter ces variations (une syntaxe) et cet article étudie comment associer à cette notation une sémantique en théorie des modèles dans laquelle une interprétation est un couple d'interprétations en logique propositionnelle (un des états et l'autre). L'article entame une étude classique de cette logique (syntaxe, sémantique, équivalences, NP-complétude de la satisfiabilité, etc.) et de façons d'associer à un couple de formules propositionnelles une formule de cette logique. L'article se termine par une discussion envisageant une poursuite de cette étude et des applications potentielles.
Fichier principal
Vignette du fichier
Francois_Laure_Lieber_JIAF_2023.pdf (348.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04268839 , version 1 (02-11-2023)

Licence

Domaine public

Identifiants

  • HAL Id : hal-04268839 , version 1

Citer

Nicolas François, Thomas Laure, Jean Lieber. Une logique pour représenter des variations propositionnelles. Journées d'intelligence artificielle fondamentale -- plateforme AFIA 2023, Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.11. ⟨hal-04268839⟩
34 Consultations
8 Téléchargements

Partager

Gmail Facebook X LinkedIn More