Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations

Khalil Ben Mohamed 1, 2 Michel Leclère 2 Marie-Laure Mugnier 2
2 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Nous considérons le problème de déduction dans le frag- ment existentiel conjonctif muni de la négation atomique en logique du premier ordre. Ce problème peut être reformulé en termes d'autres problèmes en bases de données et en in- telligence artificielle : l'inclusion de requêtes, l'implication de clauses et la déduction dans un fragment des graphes conceptuels. Partant des résultats de Leclère et Mugnier (ICDT 07), nous raffinons leur schéma d'algorithme et tes- tons expérimentalement différentes heuristiques. L'article décrit notre démarche et présente les résultats expérimen- taux obtenus.
Type de document :
Communication dans un congrès
RFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France. 2010, 〈http://rfia2010.info.unicaen.fr/〉
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00537824
Contributeur : Khalil Ben Mohamed <>
Soumis le : vendredi 19 novembre 2010 - 14:34:17
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Document(s) archivé(s) le : dimanche 20 février 2011 - 02:56:39

Fichier

RFIA-version_20finale.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-00537824, version 1

Collections

Citation

Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations. RFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France. 2010, 〈http://rfia2010.info.unicaen.fr/〉. 〈lirmm-00537824〉

Partager

Métriques

Consultations de la notice

492

Téléchargements de fichiers

235