Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments

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
Abstract : We consider the deduction problem in the existential conjunctive fragment of first-order logic with atomic negation. This problem can be recast in terms of other database and artificial intelligence problems, namely query containment, clause entailment and boolean query answering. We refine an algorithm scheme that was proposed for query containment, which itself improves other known algorithms in databases. To study it experimentally, we build a random generator and analyze the influence of several parameters on the problem instance difficulty. Using this methodology, we experimentally compare several heuristics.
Type de document :
Communication dans un congrès
AIMSA'10: International Conference on Artificial Intelligence: Methodology, Systems, Applications, Sep 2010, Varna, Bulgaria. Springer, 6304, pp.1-10, 2010, Lecture Notes in Computer Science. 〈http://www.aimsaconference.org/〉. 〈10.1007/978-3-642-15431-7_1〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00537836
Contributeur : Khalil Ben Mohamed <>
Soumis le : vendredi 19 novembre 2010 - 14:59:34
Dernière modification le : vendredi 12 janvier 2018 - 01:55:54

Identifiants

Collections

Citation

Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments. AIMSA'10: International Conference on Artificial Intelligence: Methodology, Systems, Applications, Sep 2010, Varna, Bulgaria. Springer, 6304, pp.1-10, 2010, Lecture Notes in Computer Science. 〈http://www.aimsaconference.org/〉. 〈10.1007/978-3-642-15431-7_1〉. 〈lirmm-00537836〉

Partager

Métriques

Consultations de la notice

371