Une logique pour représenter des variations propositionnelles - Association Française d'Intelligence Artificielle Access content directly
Conference Papers Year : 2023

Une logique pour représenter des variations propositionnelles

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Public Domain

Identifiers

  • HAL Id : hal-04268839 , version 1

Cite

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⟩
42 View
12 Download

Share

Gmail Facebook X LinkedIn More