TY - GEN
T1 - Action language BC
T2 - 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013
AU - Lee, Joohyung
AU - Lifschitz, Vladimir
AU - Yang, Fangkai
PY - 2013/12/1
Y1 - 2013/12/1
N2 - The action description languages B and C have significant common core. Nevertheless, some expressive possibilities of B are difficult or impossible to simulate in C, and the other way around. The main advantage of B is that it allows the user to give Prolog-style recursive definitions, which is important in applications. On the other hand, B solves the frame problem by incorporating the commonsense law of inertia in its semantics, which makes it difficult to talk about fluents whose behavior is described by defaults other than inertia. In C and in its extension C+, the inertia assumption is expressed by axioms that the user is free to include or not to include, and other defaults can be postulated as well. This paper defines a new action description language, called BC, that combines the attractive features of B and C+. Examples of formalizing commonsense domains discussed in the paper illustrate the expressive capabilities of BC and the use of answer set solvers for the automation of reasoning about actions described in this language.
AB - The action description languages B and C have significant common core. Nevertheless, some expressive possibilities of B are difficult or impossible to simulate in C, and the other way around. The main advantage of B is that it allows the user to give Prolog-style recursive definitions, which is important in applications. On the other hand, B solves the frame problem by incorporating the commonsense law of inertia in its semantics, which makes it difficult to talk about fluents whose behavior is described by defaults other than inertia. In C and in its extension C+, the inertia assumption is expressed by axioms that the user is free to include or not to include, and other defaults can be postulated as well. This paper defines a new action description language, called BC, that combines the attractive features of B and C+. Examples of formalizing commonsense domains discussed in the paper illustrate the expressive capabilities of BC and the use of answer set solvers for the automation of reasoning about actions described in this language.
UR - http://www.scopus.com/inward/record.url?scp=84896061685&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84896061685&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84896061685
SN - 9781577356332
T3 - IJCAI International Joint Conference on Artificial Intelligence
SP - 983
EP - 989
BT - IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence
Y2 - 3 August 2013 through 9 August 2013
ER -