A New Research into Default Logic

Zhang Mingyi
1996 Information and Computation  
In previous papers some important properties of extensions of general default theories were given. In order to dedicate further research to default logic, a characterization of extensions is presented again and some new algorithms for reasoning tasks in default logic are presented in this paper. A class of default theories, auto-compatible default theory, is also developed. We show that the characterization and notions of compatibility and auto-compatibility, suitably applied to logic programs,
more » ... yield some sufficient conditions of existence of answer sets. All these essentially develop the theories of Reiter and his followers. ]
doi:10.1006/inco.1996.0075 fatcat:ywcuxj5nejc6jjlk5j2d4mfgrq