Symétries dans les logiques non monotones - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Symétries dans les logiques non monotones

Résumé

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
Origine : Accord explicite pour ce dépôt
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00520374 , version 1

Citer

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 Consultations
554 Téléchargements

Partager

Gmail Facebook X LinkedIn More