ASU

Event Calculus Answer Set Programming

Download

 

 

The binary files were generated using g++ (version 3.4.6) and were tested only on the LINUX platform. (Click the software names below to download binary files.)

 

 

1. ecasp (version 0.92): Turns an event calculus description in the input language of the DEC

    reasoner to a logic program. (Click here to download the source code.)

 

   1) Does not handle functions.

 

 

2. format-output: Turns output from the answer set solvers to a more readable format.

                               (Click here to download the source code.)

 

     For example,

 

     Answer: 1

     ....................

     ....................

     3                                                   // Timepoint

     -inRoom(1)                                     // Fluents that are made false at timepoint 3

     +inRoom(2)                                    // Fluents that are made true at timepoint 3

     locked(d24)                                    // Fluents whose truth value has not changed

     locked(d34)                                       with respect to the previous timepoint 2

     happens(unlock(d24),3)                   // Events that occur at timepoint 3

     ....................

     ....................

 

     Answer: 2

     ....................

     ....................

     2

     -locked(d12)

     locked(d24)

     locked(d34)

     inRoom(1)

     happens(go(3),2)

     ....................

     ....................

 

 

 

Home

 

Reference

 

Examples

 

Download