We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
XU DaoYun, DING DeCheng, ZHANG MingYi. Characterization of an Auto-Compatible Default Theory[J]. Journal of Computer Science and Technology, 2003, 18(3).
Citation: XU DaoYun, DING DeCheng, ZHANG MingYi. Characterization of an Auto-Compatible Default Theory[J]. Journal of Computer Science and Technology, 2003, 18(3).

Characterization of an Auto-Compatible Default Theory

More Information
  • Published Date: May 14, 2003
  • In this paper, an equivalence condition for deciding whether adefault theory is an auto-compatible default one is presented. Under thecondition, the existence of extension of an auto-compatible defaulttheory is a natural result. By introducing a well-ordering over the set Dof default rules, the extensions of an auto-compatible default theory(D,W) can be computed directly. The condition representsclearly the characterization of an auto-compatible default theory, andsome properties about auto-compatible default theory, such assemi-monotonicity, become natural corollaries. Based on thecharacterization, the revision of default beliefs is discussed toensure the existence of extension of the default theory, and themethod is applied to investigate stable models of a general logic program.

Catalog

    Article views (6) PDF downloads (1191) Cited by()
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return