|
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) .................... .................... |
