Event Calculus Answer Set Programming
The Discrete Event Calculus (DEC) Reasoner is a tool for event calculus reasoning, implemented by Erik Mueller (http://decreasoner.sourceforge.net). The *.e files given below are event calculus descriptions (in the input language of the DEC reasoner) corresponding to the above files and the *.lp files are the logic programs obtained by applying EC2ASP.
Additional Examples for different forms of reasoning:
The files given below are the logic program encodings of the EC axioms, DEC axioms, Causal Constraints, and EC' axioms (for events with duration) obtained by applying EC2ASP.
To run the encodings by Erik Mueller, refer
1. Download binary files ‘ecasp’ and ‘format-output’ using the download link.
2. To obtain the logic program encoding of an event calculus description
domain_description.e, run ‘ecasp’ with ‘domain_description.e’ as the argument.
This creates the file domain_description.lp.
3-1. For a domain description with causal constraints, use
lparse -c maxstep=N DEC.lp [EC.lp] ECCausal.lp domain_description.lp | cmodels n |
3-2. For a domain description with durative events (ex: compound events), use
lparse -c maxstep=N EC_dur.lp domain_description.lp | cmodels n | format-output
3-3. For other domain descriptions, use
lparse -c maxstep=N DEC.lp [EC.lp] domain_description.lp | cmodels n | format-output
Replace N above by the maximum time point. Replace n by the number of answer sets you want to be displayed. Replacing n by 0 displays all the answer sets.
Any grounder that accepts Lparse input language (for ex: lparse or gringo) can be used in place of lparse and any solver that accepts Lparse output (smodels, clasp, claspD, etc.) can be used in place of cmodels. Please note that logic program encodings of domain descriptions can contain disjunctive rules which cannot be handled by some solvers (smodels, clasp, clingo, etc).
Joolee(at)asu.edu, ravi.palla(at)asu.edu, Tae-Won.Kim(at)asu.edu
School of Computing and Informatics
Arizona State University
Tempe, AZ 85281
ASP Based Event Calculus Reasoning