TY - GEN
T1 - Circumscriptive event calculus as answer set programming
AU - Kim, Tae Won
AU - Lee, Joohyung
AU - Palla, Ravi
PY - 2009/1/1
Y1 - 2009/1/1
N2 - Recently, Ferraris, Lee and Lifschitz presented a general definition of a stable model that is similar to the definition of circumscription, and can even be characterized in terms of circumscription. In this paper, we show the opposite direction, which is, how to turn circumscription into the general stable model semantics, and based on this, how to turn circumscriptive event calculus into answer set programs. The reformulation of the event calculus in answer set programming allows answer set solvers to be applied to event calculus reasoning, handling more expressive reasoning tasks than the current SAT-based approach. Our experiments also show clear computational advantages of the answer set programming approach.
AB - Recently, Ferraris, Lee and Lifschitz presented a general definition of a stable model that is similar to the definition of circumscription, and can even be characterized in terms of circumscription. In this paper, we show the opposite direction, which is, how to turn circumscription into the general stable model semantics, and based on this, how to turn circumscriptive event calculus into answer set programs. The reformulation of the event calculus in answer set programming allows answer set solvers to be applied to event calculus reasoning, handling more expressive reasoning tasks than the current SAT-based approach. Our experiments also show clear computational advantages of the answer set programming approach.
UR - http://www.scopus.com/inward/record.url?scp=77958577072&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77958577072&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:77958577072
SN - 9781577354260
T3 - IJCAI International Joint Conference on Artificial Intelligence
SP - 823
EP - 829
BT - IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence
PB - International Joint Conferences on Artificial Intelligence
T2 - 21st International Joint Conference on Artificial Intelligence, IJCAI 2009
Y2 - 11 July 2009 through 16 July 2009
ER -