An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Two components of an action language
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Current action theories are usually based on static domains in the sense that objects in the domain are fixed and actions only change properties or relationships related to these objects, but cannot create new objects or destroy current objects in the domain. In this paper, we propose a new action language called D which handles dynamic domains. In the context of D actions may not only have normal effects as in other action theories, but also have effects of creating or destroying things in the domain. D has a similar syntax of A family languages but with a different model theoretic semantics in which a term is allowed to be undefined in the domain at some states. We also investigate the semantic properties of D in detail and illustrate how our approach overcomes the difficulty in representing actions over dynamic domains.