Constraint Propagation for First-Order Logic and Inductive Definitions
作者： Johan Wittocx , Marc Denecker , Maurice Bruynooghe
DOI:
关键词:
摘要: Constraint propagation is one of the basic forms inference in many logic-based reasoning systems. In this paper, we investigate constraint for first-order logic (FO), a suitable language to express wide variety constraints. We present an algorithm with polynomial-time data complexity context FO theory and finite structure. show that manner can be represented by datalog program executed symbolically, i.e., independently Next, extend FO(ID), extension inductive definitions. Finally, discuss several applications.
harvard.edu
arxiv.org参考文章(43)
Johan Wittocx, Marc Denecker, Maarten Mariën, Grounding with bounds national conference on artificial intelligence. pp. 572- 577 ,(2008)
Eugenia Ternovska, David G. Mitchell, A framework for representing and solving NP search problems national conference on artificial intelligence. pp. 430- 435 ,(2005)
Johan Wittocx, Maurice Bruynooghe, Marc Denecker, Constraint Propagation for Extended First-Order Logic ,(2010)
Eugenia Ternovska, David G. Mitchell, Declarative programming of search problems with built-in arithmetic international joint conference on artificial intelligence. pp. 942- 947 ,(2009)
Anderson Faustino da Silva, Vítor Santos Costa, The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages Journal of Universal Computer Science. ,vol. 12, pp. 764- 787 ,(2006)
Ofer Arieli, Álvaro Cortés-Calabuig, Maurice Bruynooghe, Marc Denecker, Approximate query answering in locally closed databases national conference on artificial intelligence. pp. 397- 402 ,(2007)
Tomi Janhunen, Representing normal programs with clauses european conference on artificial intelligence. pp. 358- 362 ,(2004)
Maurice Bruynooghe, A practical framework for the abstract interpretation of logic programs Journal of Logic Programming. ,vol. 10, pp. 91- 124 ,(1991) , 10.1016/0743-1066(91)80001-T
P. G. Kolaitis, M. Y. Vardi, L. Libkin, J. Spencer, E. Grädel, M. Marx, Finite model theory and its applications. Texts in Theoretical Computer Science ,(2010)
H. Rasiowa, Introduction to Metamathematics ,(1952)