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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Doyle J A truth maintenance system.Artificial Intelligence, 1979, 12: 231–272.
Gallier J H. Logic for Computer Science, Foundation of Automatic Theorem Proving. John Wiley and Sons, 1987.
Chang C C, Keisler H J. Model Theory. North-Holland, 1973.
Alchourrón C E, Gärdenfors R, Makinson D. On the logic of theory change.Journal of Symbolic Logic, 1985, 50(2): 510–530.
Li Wei. A logical framework for evolution of specifications. InProgramming Languages and Systems, (ESOP'94), LNCS 788, Springer-Verlag, 1994, pp.394–408.
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.
Author information
Authors and Affiliations
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
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
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943526