Compiling causality into action theories (1996) [6 citations — 3 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Zhang96compilingcausality,author = {Yan Zhang},
title = {Compiling causality into action theories},
booktitle = {In Proc. of Common Sense 96},
year = {1996},
pages = {263--270}
}
Years of Citing Articles
Abstract:
This paper is concerned with the problem of representing the effects of actions. We argue that the traditional minimal change principle is problematic to represent ramifications of actions that are related to the causality of the domain. To handle this problem properly, it is necessary to describe the causal relations of the domain explicitly and compile the domain causality into action theories. We first define causal theories as normal default theories where causal relations are viewed as defeasible default rules, and use / Lukaszewicz's model default theory to provide formal semantics for causal theories. We then propose a causality-based minimal change principle for representing the effects of actions, and show how this principle can be formalized by using causal theories. We also compare our approach with other related work in detail. Key Words: action theories, causality, default logic, and effects of actions.
