Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification

Chitta Baral

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 allows us to be able to express effects of action 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 L0.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.