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 11 Issue 2
March  1996
Turn off MathJax
Article Contents
Abstract
References
Zhang Yuping, Li Wei. An Operational Approach to Belief Revision[J]. Journal of Computer Science and Technology, 1996, 11(2): 97-107.
Citation: Zhang Yuping, Li Wei. An Operational Approach to Belief Revision[J]. Journal of Computer Science and Technology, 1996, 11(2): 97-107.
shu

An Operational Approach to Belief Revision

  • Department of Computer Science; Beijing University of Aeronautics and AstronauticsBeijing 100083;

More Information
  • Published Date: March 09, 1996
    Abstract
  • A deduction system, called RE-proof system, is constructed for generating the revisions of first order belief sets. When a belief set is rejected by a given fact, all maximal subsets of the belief set consistent with the fact can be deduced from the proof system. The soundness and completeness of the RE-proof system are proved, which imply that there exists a resolution method to decide whether a revision retains a mtalmal subset of a belief set.
    • FullText(HTML)
    • References (3)
  • [1]
    Doyle.J. A truth maintenance system. Artificial Intelligence, 1979, 12
    [2]
    Gallier.J.H. Logic for Computer Science, Foundation of Automatic Theorem Proving. John Wiley and Sons, 1987.:231-272.
    [3]
    Chang C C, Keisler H J. Model Theory. North-Holland, 1973. ………..
    • Relative Articles
  • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (11) PDF downloads (1432) 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