TY - GEN
T1 - Reformulating temporal action logics in answer set programming
AU - Lee, Joohyung
AU - Palla, Ravi
PY - 2012
Y1 - 2012
N2 - Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergies it brings. First, the reformulation provides a means to compute TAL using efficient answer set solvers. Second, TAL provides a structured high-level language for ASP (possibly with constraint solving). Third, the reformulation allows us to compute integration of TAL and ontologies using answer set solvers, and we illustrate its usefulness in the healthcare domain in the context of medical expert systems.
AB - Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergies it brings. First, the reformulation provides a means to compute TAL using efficient answer set solvers. Second, TAL provides a structured high-level language for ASP (possibly with constraint solving). Third, the reformulation allows us to compute integration of TAL and ontologies using answer set solvers, and we illustrate its usefulness in the healthcare domain in the context of medical expert systems.
UR - http://www.scopus.com/inward/record.url?scp=84868266614&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84868266614&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84868266614
SN - 9781577355687
T3 - Proceedings of the National Conference on Artificial Intelligence
SP - 786
EP - 792
BT - AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference
T2 - 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12
Y2 - 22 July 2012 through 26 July 2012
ER -