Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/inria-00520374
Contributor : Christophe Lecoutre Connect in order to contact the contributor
Submitted on : Thursday, September 23, 2010 - 9:26:20 AM
Last modification on : Saturday, June 25, 2022 - 7:48:40 PM
Long-term archiving on: : Thursday, October 25, 2012 - 11:22:35 AM

File

siegel2.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : inria-00520374, version 1

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. ⟨inria-00520374⟩

Share

Metrics

Record views

80

Files downloads

528