Computational Logic: Logic Programming and Beyond

In this paper we introduce MuTACLP, a knowledge representation language which provides facilities for modeling and handling temporal information, together with some basic operators for combining different temporal knowledge bases. The proposed approach stems from two separate lines of research: the general studies on meta-level operators on logic programs introduced by Brogi et al. [7,9] and Temporal Annotated Constraint Logic Programming (TACLP) defined by Frühwirth [15]. In MuTACLP atoms are annotated with temporal information which are managed via a constraint theory, as in TACLP. Mechanisms for structuring programs and combining separate knowledge bases are provided through meta-level operators. The language is given two different and equivalent semantics, a top-down semantics which exploits meta-logic, and a bottom-up semantics based on an immediate consequence operator.

[1]  José Meseguer,et al.  Axiomatizing Reflective Logics and Languages , 1996 .

[2]  Norman W. Paton,et al.  Stimuli and Business Policies as Modelling Constructs: Their Definition and Validation Through the Event Calculus , 1997, CAiSE.

[3]  Rance Cleaveland,et al.  Implementing mathematics with the Nuprl proof development system , 1986 .

[4]  Christoph Brzoska,et al.  Temporal Logic Programming with Metric and Past Operators , 1993, Executable Modal and Temporal Logics.

[5]  Pattie Maes,et al.  Concepts and experiments in computational reflection , 1987, OOPSLA '87.

[6]  Donald Perlis,et al.  Languages With Self-Reference I: Foundations , 1985, Artif. Intell..

[7]  Robert A. Kowalski,et al.  The Situation Calculus and Event Calculus Compared , 1994, ILPS.

[8]  José Meseguer,et al.  Principles of OBJ2 , 1985, POPL.

[9]  Stuart J. Russell,et al.  Do the right thing - studies in limited rationality , 1991 .

[10]  Gaetano Aurelio Lanzarone,et al.  SLD - Resolution with Reflection , 1994, ILPS.

[11]  Peter Gärdenfors Belief Revision: A Vade-Mecum , 1992, META.

[12]  Gaetano Aurelio Lanzarone,et al.  Reflective Agents in Metalogic Programming , 1992, META.

[13]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[14]  Fausto Giunchiglia,et al.  A Metatheory of a Mechanized Object Theory , 1996, Artif. Intell..

[15]  Suryanarayana M. Sripada,et al.  Efficient Implementation of the Event Calculus for Temporal Database Applications , 1995, ICLP.

[16]  John W. Lloyd Temporal Logic Programming in Dense Time , 1995 .

[17]  Robert A. Kowalski,et al.  Database Updates in the Event Calculus , 1992, J. Log. Program..

[18]  Fausto Giunchiglia,et al.  Introspective Metatheoretic Reasoning , 1994, META.

[19]  Frank van Harmelen Definable Naming Relations in Meta-level Systems , 1992, META.

[20]  Daniele Nardi,et al.  Reasoning About Knowledge and Ignorance , 1988, Fifth Generation Computer Systems.

[21]  Michael J. Maher,et al.  A Theory of Complete Logic Programs with Equality , 1984, J. Log. Program..

[22]  Douglas B. Moran,et al.  The Open Agent Architecture: A Framework for Building Distributed Software Systems , 1999, Appl. Artif. Intell..

[23]  Thierry Coquand,et al.  The Calculus of Constructions , 1988, Inf. Comput..

[24]  Kurt Konolige,et al.  An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming , 1992, META.

[25]  Jean G. Vaucher,et al.  ObjVProlog: Metaclasses in Logic , 1989, ECOOP.

[26]  Y. Shoham,et al.  Temporal reasoning in artificial intelligence , 1988 .

[27]  Douglas S. Bridges,et al.  Foundations of real and abstract analysis , 1997, Graduate texts in mathematics.

[28]  Margus Veanes,et al.  Meta-programming with theory systems , 1995 .

[29]  Joseph A. Goguen,et al.  Algebraic semantics of imperative programs , 1996, Foundations of computing series.

[30]  M. Clavel,et al.  Principles of Maude , 1996, WRLA.

[31]  John W. Lloyd,et al.  Analysis of Meta-Programs , 1989, META.

[32]  Alonzo Church,et al.  A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.

[33]  John W. Lloyd,et al.  The Gödel programming language , 1994 .

[34]  E. Landau,et al.  Foundations of analysis : the arithmetic of whole, rational, irrational, and complex numbers , 1966 .

[35]  Bruce G. Buchanan,et al.  Meta-Level Knowledge: Overview and Applications , 1977, IJCAI.

[36]  Corin A. Gurr,et al.  Towards fast and declarative meta-programming , 1995 .

[37]  Gaetano Aurelio Lanzarone,et al.  A metalogic programming approach: language, semantics and applications , 1994, J. Exp. Theor. Artif. Intell..

[38]  Gaetano Aurelio Lanzarone,et al.  A Metalogic Programming Language , 1989, ICLP.

[39]  Yuejun Jiang,et al.  A vademecum of ambivalent logic , 1995 .

[40]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[41]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[42]  Marianne Kalsbeek Correctness of the Vanilla meta-interpreter and ambivalent syntax , 1995 .

[43]  Pascal Van Hentenryck Ambivalent logic as the semantic basis of metalogic programming: I , 1994 .

[44]  Gianfranco Rossi,et al.  Logic Meta-Programming Facilities in 'LOG , 1992, META.

[45]  Henning Christiansen,et al.  A Complete Resolution method for Logical Meta-Programming Languages , 1992, META.

[46]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[47]  Robert A. Kowalski,et al.  Reconciling the Event Calculus With the Situation Calculus , 1997, J. Log. Program..

[48]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[49]  John McCarthy First Order Theories of Individual Concepts and Propositions. , 1979 .

[50]  Daniele Nardi,et al.  Reasoning about Student Knowledge and Reasoning , 1991, IJCAI.

[51]  Stefania Costantini Semantics of a Metalogic Programming Language , 1990, Int. J. Found. Comput. Sci..

[52]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[53]  Frank Pfenning,et al.  The Practice of Logical Frameworks , 1996, Colloquium on Trees in Algebra and Programming.

[54]  Daniele Nardi,et al.  Yet Another Solution to the Three Wisemen Puzzle , 1988, ISMIS.

[55]  Alessandro Provetti Hypothetical Reasoning from Situation Calculus to Event Calculus , 1994, TIME.

[56]  Robert A. Kowalski,et al.  Towards a Unified Agent Architecture that Combines Rationality with Reactivity , 1996, Logic in Databases.

[57]  Robert A. Kowalski,et al.  A Metalogic Programming Approach to Multi-Agent Knowledge and Belief , 1991, Artificial and Mathematical Theory of Computation.

[58]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[59]  D. Pedreschi,et al.  Composition Operators for Logic Theories , 1990 .

[60]  Patrick Cegielski Un fondement des Mathématiques , 1999 .

[61]  Antonio Brogi,et al.  Modular logic programming , 1994, TOPL.

[62]  Antonio Brogi,et al.  Meta-logic for program composition: semantics issues , 1995 .

[63]  Antonio Brogi,et al.  Programming by Combining General Logic Programs , 1999, J. Log. Comput..

[64]  Luigia Carlucci Aiello,et al.  Using Meta-Theoretic Reasoning to do Algebra , 1980, CADE.

[65]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[66]  Gaetano Aurelio Lanzarone,et al.  Semantical Properties of Encodings in Logic Programming , 1995, ILPS.

[67]  Patrick Lincoln,et al.  Maude as a metalanguage , 1998, WRLA.

[68]  Donald Perlis,et al.  Languages with Self-Reference II: Knowledge, Belief, and Modality , 1988, Artif. Intell..

[69]  Edmund M. Clarke,et al.  Analytica - A Theorem Prover in Mathematica , 1992, CADE.

[70]  Danny De Schreye,et al.  Two semantics for definite meta-programs, using the non-ground representation , 1995 .

[71]  Antonio Brogi,et al.  Composing logic programs by meta-programming in Go¨del , 1995 .

[72]  Andreas Blass,et al.  The Logic of Choice , 2000, Journal of Symbolic Logic.

[73]  Gernot Salzer,et al.  Automated Deduction in Classical and Non-Classical Logics , 2002, Lecture Notes in Computer Science.

[74]  C. Cecchi,et al.  Representation and use of metaknowledge , 1986, Proceedings of the IEEE.

[75]  Robert A. Kowalski,et al.  The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[76]  Jonas Barklund,et al.  A Basis for a Multilevel Metalogic Programming Language , 1994 .

[77]  Giorgio Levi,et al.  A Formalization of Metaprogramming for real , 1993, ICLP.

[78]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

[79]  Pattie Maes,et al.  Computational reflection , 1987, The Knowledge Engineering Review.

[80]  Danny De Schreye,et al.  Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem , 1995, J. Log. Program..

[81]  Luís Moniz Pereira,et al.  Model-based diagnosis preferences and strategies representation with logic meta-programming , 1995 .

[82]  Gaetano Aurelio Lanzarone,et al.  Reflection principles in computational logic , 2000, J. Log. Comput..

[83]  Francesca Toni,et al.  Combining Introspection and Communication with Rationality and Reactivity in Agents , 1998, JELIA.

[84]  Brian Cantwell Smith,et al.  Reflection and semantics in LISP , 1984, POPL.

[85]  Robert A. Kowalski,et al.  Problems and Promises of Computational Logic , 1990 .

[86]  William M. Farmer,et al.  IMPS: An Interactive Mathematical Proof System , 1990, CADE.

[87]  Robert A. Kowalski,et al.  From logic programming towards multi‐agent systems , 1999, Annals of Mathematics and Artificial Intelligence.

[88]  Jonas Barklund What Is a Meta-Variable in Prolog? , 1988, META.

[89]  Ian Welch,et al.  From Dalang to Kava - The Evolution of a Reflective Java Extension , 1999, Reflection.

[90]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[91]  Azriel Levy Basic set theory , 1979 .

[92]  Daniele Nardi,et al.  A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. , 1991 .

[93]  Pascal Van Hentenryck Efficient and complete demo predicates for definite clause languages , 1994 .

[94]  Sushil Jajodia,et al.  An Architecture for Supporting Interoperability among Temporal Databases , 1997, Temporal Databases, Dagstuhl.

[95]  Jürgen Dix,et al.  Meta-agent programs , 2000, J. Log. Program..

[96]  Gerhard Brewka,et al.  Declarative Representation of Revision Strategies* , 2000, J. Appl. Non Class. Logics.