Skip to main content
Log in

An operational approach to belief revision

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

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 maximal subset of a belief set.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Doyle J A truth maintenance system.Artificial Intelligence, 1979, 12: 231–272.

    Article  MathSciNet  Google Scholar 

  2. Gallier J H. Logic for Computer Science, Foundation of Automatic Theorem Proving. John Wiley and Sons, 1987.

  3. Chang C C, Keisler H J. Model Theory. North-Holland, 1973.

  4. Alchourrón C E, Gärdenfors R, Makinson D. On the logic of theory change.Journal of Symbolic Logic, 1985, 50(2): 510–530.

    Article  MATH  MathSciNet  Google Scholar 

  5. Li Wei. A logical framework for evolution of specifications. InProgramming Languages and Systems, (ESOP'94), LNCS 788, Springer-Verlag, 1994, pp.394–408.

  6. Li Wei, Shen N, Wang J. R-calculus: A logical approach for knowledge base maintenance. InThe Sixth International Conference on Tools with Artificial Intelligence, 1994, pp.375–381.

Download references

Author information

Authors and Affiliations

Authors

Additional information

The work is supported by the National Natural Science Foundation of China and the Self Selection Project in Aero Higher-Learning Institutions.

Zhang Yuping received his B.S., M.S. and Ph.D. degrees in mathematics from Beijing Normal University in 1987, 1990, and 1993 respectively. From 1993 to 1995, he was a postdoctor in Beijing University of Aeronautics and Astronautics. Since 1995, he has been an Associated Professor in computer science at Beijing University of Aeronautics and Astronautics. He published 14 papers which concern the areas of model theory, stability theory, and the logical foundation of artificial intelligence.

Li Wei received his B.S. degree in mathematics from Peking University in 1966 and his Ph.D. degree in computer science from The University of Edinburgh in 1983. Since 1986, he has been a Professor in computer science at Beijing University of Aeronautics and Astronautics. He published over 90 papers which concern the areas of concurrent programming languages, operational semantics, type theory, and logical foundation of artificial intelligence.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhang, Y., Li, W. An operational approach to belief revision. J. of Comput. Sci. & Technol. 11, 97–107 (1996). https://doi.org/10.1007/BF02943526

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02943526

Keywords

Navigation