ON EXTENSIONS OF GENERAL DEFAULT THEORIES

Authors
ZHANG MY
Citation
My. Zhang, ON EXTENSIONS OF GENERAL DEFAULT THEORIES, Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences, 36(10), 1993, pp. 1273-1280
Citations number
10
Categorie Soggetti
Multidisciplinary Sciences
Journal title
Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences → ACNP
ISSN journal
10016511
Volume
36
Issue
10
Year of publication
1993
Pages
1273 - 1280
Database
ISI
SICI code
1001-6511(1993)36:10<1273:OEOGDT>2.0.ZU;2-#
Abstract
In this paper, some important results on the existence and uniqueness of extensions of general default theories are given, and the notion of compatible subset of defaults and that of auto-compatible default are introduced. Based on the theory developed here, characterizations of extensions of Reiter's default logic and Brewka's cumulative default l ogic have been obtained respectively, and a class of defaults, the so- called auto-compatible defaults, has been presented.