Problem solving in ID-logic with aggregates: some experiments

The goal of the LP+ project at the K.U.Leuven is to design an expressive logic, suitable for declarative knowledge representation, and to develop intelligent systems based on Logic Programming technology for solving computational problems using the declarative specifications. The ID-logic is an integration of typed classical logic and a definition logic. Different abductive solvers for this language are being developed. This paper is a report of the integration of high order aggregates into ID-logic and the consequences on the solver SLDNFA.

[1]  Antonis C. Kakas,et al.  Integrating Abductive and Constraint Logic Programming , 1995 .

[2]  Marc Denecker,et al.  Extending Classical Logic with Inductive Definitions , 2000, Computational Logic.

[3]  Danny De Schreye,et al.  Scheduling by ''abductive execution'' of a classical logic specification , 1997 .

[4]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[5]  Mats Carlsson,et al.  An Open-Ended Finite Domain Constraint Solver , 1997, PLILP.

[6]  Danny De Schreye,et al.  SLDNFA: An Abductive Procedure for Abductive Logic Programs , 1998, J. Log. Program..

[7]  Marc Denecker,et al.  The Well-Founded Semantics Is the Principle of Inductive Definition , 1998, JELIA.

[8]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[9]  Bert Van Nuffelen,et al.  Experiments for integration CLP and abduction , 1999 .

[10]  Peter Gordon,et al.  Solitaire Battleships: 108 Challenging Logic Puzzles , 1998 .

[11]  Peter J. Stuckey,et al.  Semantics of Logic Programs with Aggregates , 1991, ISLP.

[12]  Danny De Schreye,et al.  SLDNFA: An Abductive Procedure for Normal Abductive Programs , 1992, JICSLP.

[13]  Marc Denecker,et al.  A Terminological Interpretation of (Abductive) Logic Programming , 1995, LPNMR.

[14]  Gerda Janssens,et al.  Prescriptive type inference as an application of abduction , 1999 .

[15]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[16]  Victor W. Marek,et al.  Fixpoint 3-Valued Semantics for Autoepistemic Logic , 1998, AAAI/IAAI.

[17]  Kenneth A. Ross,et al.  Monotonic aggregation in deductive databases , 1992, J. Comput. Syst. Sci..

[18]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[19]  Antonis C. Kakas,et al.  ACLP: Abductive Constraint Logic Programming , 2000, J. Log. Program..

[20]  Allen Van Gelder,et al.  The well-founded semantics of aggregation , 1992, PODS.