Une logique pour représenter des variations propositionnelles (version étendue) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2023

Une logique pour représenter des variations propositionnelles (version étendue)

Nicolas François
  • Fonction : Auteur
  • PersonId : 1266740
Thomas Laure
  • Fonction : Auteur
  • PersonId : 1266741
Jean Lieber

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 ce rapport é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). Le rapport 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. Le rapport se termine par une discussion envisageant une poursuite de cette étude et des applications potentielles.
Fichier principal
Vignette du fichier
LogiqueDesVariations_VersionEtendue.pdf (514.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04147988 , version 1 (01-07-2023)

Licence

Domaine public

Identifiants

  • HAL Id : hal-04147988 , version 1

Citer

Nicolas François, Thomas Laure, Jean Lieber. Une logique pour représenter des variations propositionnelles (version étendue). Université de Lorraine (France). 2023, pp.30. ⟨hal-04147988⟩
23 Consultations
88 Téléchargements

Partager

Gmail Facebook X LinkedIn More