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

Cited literature [12 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00537824
Contributor : Khalil Ben Mohamed <>
Submitted on : Friday, November 19, 2010 - 2:34:17 PM
Last modification on : Wednesday, June 5, 2019 - 11:58:12 AM
Long-term archiving on : Sunday, February 20, 2011 - 2:56:39 AM

File

RFIA-version_20finale.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨lirmm-00537824⟩

Share

Metrics

Record views

575

Files downloads

254