Event calculus answer set programming
Event calculus deduction and temporal projection can be performed
using answer set programming.
Download and install
Smodels and Lparse.
Download event calculus axiomatizations:
SEC.lp: logic programming simplified event calculus (SEC)
(Kowalski, 1986; Shanahan, 1997, chapter 13)
EC.lp: classical logic event calculus (EC)
(Miller & Shanahan, 2002); uses classical negation
DEC.lp: classical logic discrete event calculus (DEC)
(Mueller, 2004); uses classical negation
Download and run domain descriptions:
ASU-CSE Event Calculus
Answer Set Programming:
Versions of EC.lp and DEC.lp that support abduction as well as
deduction, developed by Joohyung Lee and Ravi Palla
Kowalski, Robert A. (1986).
Database updates in the event calculus (Technical Report DOC 86/12).
London: Imperial College of Science, Technology, and Medicine.
Miller, Rob & Shanahan, Murray
Some alternative formulations of the event calculus.
In Antonis C. Kakas and Fariba Sadri (Eds.),
Lecture Notes in Computer Science: Vol. 2408.
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II
Mueller, Erik T. (2004).
Event calculus reasoning through satisfiability.
Journal of Logic and Computation,
Shanahan, Murray (1997). Solving the Frame Problem.
Cambridge, MA: MIT Press.
Commonsense Reasoning home page