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.
Type de document :
Communication dans un congrès
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.91-102, 2010
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00520374
Contributeur : Christophe Lecoutre <>
Soumis le : jeudi 23 septembre 2010 - 09:26:20
Dernière modification le : jeudi 15 mars 2018 - 16:56:06
Document(s) archivé(s) le : jeudi 25 octobre 2012 - 11:22:35

Fichier

siegel2.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : inria-00520374, version 1

Collections

Citation

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, 2010. 〈inria-00520374〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

778