TY - JOUR
T1 - Reasoning about actions
T2 - 14th International Joint Conference on Artificial Intelligence, IJCAI 1995
AU - Baral, Chitta
N1 - Funding Information: I would like to thank Hudson Turner and the referees for their insightful comments. Research in this paper was supported by NSF grants NSF-IRI-92-11-662 and NSF-CDA 90-15-006. Publisher Copyright: © 1995 International Joint Conferences on Artificial Intelligence. All rights reserved.
PY - 1995
Y1 - 1995
N2 - In this paper we propose the language of 'state specifications' to uniformly specify effect of actions, executability condition of actions, and dynamic and static constraints. This language allow? us to be able to express effects of act i on and constraints with same first order representation but different intuitive behavior to be specified differently. We then discuss how we can use state specifications to extend the action description languages A and Lo.
AB - In this paper we propose the language of 'state specifications' to uniformly specify effect of actions, executability condition of actions, and dynamic and static constraints. This language allow? us to be able to express effects of act i on and constraints with same first order representation but different intuitive behavior to be specified differently. We then discuss how we can use state specifications to extend the action description languages A and Lo.
UR - http://www.scopus.com/inward/record.url?scp=85168100470&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85168100470&partnerID=8YFLogxK
M3 - Conference article
SN - 1045-0823
VL - 2
SP - 2017
EP - 2023
JO - IJCAI International Joint Conference on Artificial Intelligence
JF - IJCAI International Joint Conference on Artificial Intelligence
Y2 - 20 August 1995 through 25 August 1995
ER -