This paper proposes a semantics for declarative programs with dynamic nonmonotonic inheritance based on Dung's theory of argumentation. In the full version of this paper, the authors show that for inheritance-stratified programs, this semantics coincides with Dobbie and Topor's perfect model (with overriding) semantics (1), and, furthermore, claim that for non-inheritance-stratified programs, this semantics is preferable.
展开▼
