A Prototype of a Knowledge-Based Programming Environment

This paper presents a proposal for a knowledge-based programming environment. Within this environment, declarative background knowledge, procedures, and concrete data are represented in suitable languages and combined in a flexible manner, which leads to a highly declarative programming style. We illustrate our approach with an example application and report on our prototype implementation.

[1]  Johan Wittocx,et al.  The IDP system: A model expansion system for an extension of classical logic , 2008 .

[2]  Roberto Ierusalimschy,et al.  Lua—An Extensible Extension Language , 1996 .

[3]  Joost Vennekens,et al.  Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic , 2008, ICLP.

[4]  Peter J. Stuckey,et al.  The Design of the Zinc Modelling Language , 2008, Constraints.

[5]  DAVID MITCHELL,et al.  Model Expansion as a Framework for Modelling and Solving Search Problems , 2007 .

[6]  Pascal Van Hentenryck,et al.  The Comet Programming Language and System , 2005, CP.

[7]  Joost Vennekens,et al.  A logical framework for configuration software , 2009, PPDP '09.

[8]  Geoff Sutcliffe.  The TPTP Problem Library and Associated Infrastructure , 2009, Journal of Automated Reasoning.

[9]  Maurice Bruynooghe,et al.  Towards a logical reconstruction of a theory for locally closed databases , 2010, TODS.

[10]  Maurice Bruynooghe,et al.  SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions , 2008, SAT.

[11]  Maurice Bruynooghe,et al.  Constraint Propagation for Extended First-Order Logic , 2010, ArXiv.

[12]  Johan Wittocx,et al.  The IDP system , 2010 .

[13]  Peter Van Roy,et al.  Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers , 2005, MOZ.

[14]  Giovambattista Ianni,et al.  Computable Functions in ASP: Theory and Implementation , 2008, ICLP.

[15]  Danny De Schreye,et al.  Terms in Logic programs: a problem with their semantics and its effect on the programming methodology , 1990 .

[16]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[17]  Johan Wittocx,et al.  Grounding FO and FO(ID) with Bounds , 2010, J. Artif. Intell. Res..

[18]  Eugenia Ternovska,et al.  A logic of nonmonotone inductive definitions , 2008, TOCL.

[19]  Maurice Bruynooghe,et al.  Well-founded and stable semantics of logic programs with aggregates , 2007, Theory Pract. Log. Program..