Abstract
In this paper, we combine the syntax-based belief change approach and model-based approach, and present a computational approach for belief change. We introduce functions to revise or contract a belief set, as well as functions to revise or contract a belief base. We also show properties of the revision functions and the contraction functions. The implementation of the revision functions and the contraction functions are also considered, and algorithms to revise a belief set or contract a sentence from a belief set are also given. Compared with related works, the main characteristic of our approach is that the functions can be implemented by algorithms.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Public Announcement and Belief Revision. In: Advances in Modal Logic 2004, University of Manchester, UK, pp. 62–73 (2004)
Roorda, J.W., van der Hoek, W., Meyer, J.J.C.: Iterated Belief Change in Multi Agent Systems. Logic Journal of the IGPL 11, 223–246 (2003)
Alchourron, C.E., Gardenfors, P., Markinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50, 510–530 (1985)
Gardenfors, P., Makinson, D.: Revisions of Knowledge Systems Using Epistemic Entrenchment. In: Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, Asilomar, California, U.S.A., pp. 83–95 (1988)
Nebel, B.: Syntax based approaches to belief revision. In: Gärdenfors, P. (ed.) Belief Revision, pp. 52–88. Cambridge University Press, Cambridge (1992)
Doyle, J.: Rational Belief Revision. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pp. 163–174 (1991)
Dalal, M.: Investigations into a Theory of Knowledge Base Revision: Preliminary Report. In: Proceedings of the Seventh National Conference on Artificial Intelligence, Saint Paul, Minnesota, U.S.A., pp. 475–479 (1988)
Winslett, M.: Reasoning about Action Using Possible Models Approach. In: Proceedings of the Seventh National Conference on Artificial Intelligence, Saint Paul, Minnesota, U.S.A., pp. 89–93 (1988)
Dixon, S.E.: Belief Revision:A Computational Approach. PhD.Thesis, University of Sydney (1994)
Williams, M.A.: Towards a Practical Approach to Belief Revision: Reason-Based Approach. In: Proceedings of the Fifth International Joint Conference on Principles of Knowledge Representation and Reasoning, pp. 412–421. Morgan Kaufmann, San Francisco (1996)
Delgrande, J., Schaub, T.: A Consistency-Based Approach for Belief Change. Artificial Intelligence 151, 1–41 (2003)
Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: On Computing Solutions to Belief Change Scenarios. Journal of Logic and Computation 14, 801–826 (2004)
Luan, S., Dai, G., Li, W.: A Programmable Approach to Maitennance of a Finite Knowledge Base. Journal of Computer Science and Technology 18, 102–108 (2003)
Luan, S., Dai, G.: Fast Algorithms for Revision of Some Special Propositional Knowledge Bases. Journal of Computer Science and Technology 18, 388–392 (2003)
Darwiche, A., Pearl, J.: On the Logic of Iterated Belief Revision. Artificial Intelligence 89, 1–29 (1997)
Boutilier, C.: Revision Sequences and Nested Conditionals. In: Proceedings International Conference on Artificial Intelligence, Toronto, Ontario, Canada, pp. 519–525 (1993)
Gallier, J.H.: Logic for Computer Science, Foundation of Automatic Theorem Proving. John Wiley & Sons, New York (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Luan, S., Dai, G. (2005). A Computational Approach for Belief Change. In: Hao, Y., et al. Computational Intelligence and Security. CIS 2005. Lecture Notes in Computer Science(), vol 3801. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11596448_51
Download citation
DOI: https://doi.org/10.1007/11596448_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30818-8
Online ISBN: 978-3-540-31599-5
eBook Packages: Computer ScienceComputer Science (R0)