Logic Programs with Intensional Functions

The stable model semantics treats a logic program as a mechanism for specifying its intensional predicates. In this paper we discuss a modification of that semantics in which functions, rather than predicates, are intensional. The idea of the new definition comes from nonmonotonic causal logic.

[1]  J. Hooker.  In This Volume , 2012 .

[2]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[3]  David Pearce,et al.  A New Logical Characterisation of Stable Models and Answer Sets , 1996, NMELP.

[4]  Ilkka Niemelä,et al.  Stable Model Semantics of Weight Constraint Rules , 1999, LPNMR.

[5]  Fangzhen Lin,et al.  Answer Set Programming with Functions , 2008, KR.

[6]  Tommi Syrjänen.  Omega-Restricted Logic Programs , 2001, LPNMR.

[7]  Pedro Cabalar.  Functional answer set programming , 2011, Theory Pract. Log. Program..

[8]  Fangzhen Lin,et al.  Weight constraint programs with evaluable functions , 2010, Annals of Mathematics and Artificial Intelligence.

[9]  Vladimir Lifschitz,et al.  Handbook of Knowledge Representation Edited Knowledge Representation and Classical Logic , 2022 .

[10]  Joohyung Lee,et al.  Stable Models of Formulas with Intensional Functions , 2012, KR.

[11]  David Pearce,et al.  A Characterization of Strong Equivalence for Logic Programs with Variables , 2007, LPNMR.

[12]  Vladimir Lifschitz,et al.  Datalog Programs and Their Stable Models , 2010, Datalog.

[13]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.

[14]  Vladimir Lifschitz,et al.  On the Logic of Causal Explanation (Research Note) , 1997, Artif. Intell..

[15]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[16]  Oege de Moor.  Datalog reloaded : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010 : revised selected papers , 2011 .

[18]  David Pearce,et al.  Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

[19]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[20]  Joohyung Lee,et al.  Stable models and circumscription , 2011, Artif. Intell..

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