Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2010

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

Abstract

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.
Fichier principal
Vignette du fichier
RFIA-version_20finale.pdf (633.43 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

lirmm-00537824 , version 1 (19-11-2010)

Identifiers

  • HAL Id : lirmm-00537824 , version 1

Cite

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⟩
293 View
126 Download

Share

Gmail Facebook X LinkedIn More