Symétries dans les logiques non monotones - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Symétries dans les logiques non monotones

Abstract

La symétrie a été bien étudiée dans les logiques classiques et dans la programmation par contraintes depuis une décennie. Toutefois, en Intelligence Artificielle, nous avons l'habitude de manipuler des informations incomplètes et nécessité d'inclure l'incertitude dans la raisonnement sur la connaissance avec exceptions et la non-monotonie. Plusieurs logiques non classiques sont mises en place à cet effet, mais, selon nos connaissances, la symétrie dans ces logiques n'ont pas encore été étudiés. Ici, nous sommes intéressés à étendre la notion de la symétrie à des logiques non classiques telles que les logiques préférentielles, X-logiques et les logiques des défautss, puis donner des nouvelles règles d'inférence par symétrie pour les X-logiques et les logiques des défauts. Enfin, nous montrons comment le raisonnement par symétrie est rentable pour ces logiques et comment elles gèrent certaines symétries qui n'existent pas dans des logiques classiques.
Fichier principal
Vignette du fichier
siegel2.pdf (138.07 Ko) Télécharger le fichier
Origin : Explicit agreement for this submission
Loading...

Dates and versions

inria-00520374 , version 1 (23-09-2010)

Identifiers

  • HAL Id : inria-00520374 , version 1

Cite

Belaïd Benhamou, Tarek Nabhani, Pierre Siegel. Symétries dans les logiques non monotones. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.91-102. ⟨inria-00520374⟩
83 View
538 Download

Share

Gmail Facebook X LinkedIn More