Towards a declarative semantics of inheritance with exceptions

Abstract

This paper presents a declarative semantics of compositional inheritance in an object-oriented logic programming framework with explicit exceptions, based on the iterated least fixpoint semantics to normal logic programs. Taking logic objects with exceptions as a kind of non-monotonic theory, the non-monotonicity of inheritance is achieved, which is of importance for modeling incomplete knowledge and requirement specifications in both artificial intelligence and software engineering.