We use cookies to improve your experience with our site.

Indexed in:

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

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 18 Issue 3
May  2003
Turn off MathJax
Article Contents
Abstract
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).
shu

Characterization of an Auto-Compatible Default Theory

More Information
  • Published Date: May 14, 2003
    Abstract
  • 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.
    • FullText(HTML)
    • References (0)
    • Relative Articles
  • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (6) PDF downloads (1191) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return