Abstract
As an important variant of Reiter’s default logic, Poole (1988) developed a nonmonotonic reasoning framework in the classical first-order language. Brewka and Nebel extended Poole’s approach in order to enable a representation of priorities between defaults. In this paper a general framework for default reasoning is presented, which can be viewed as a generalization of the three approaches above. It is proved that the syntax-independent default reasoning in this framework is identical to the general belief revision operation introduced by Zhanget al. (1997). This result provides a solution to the problem whether there is a correspondence between belief revision and default logic for the infinite case. As a by-product, an answer to the question, raised by Mankinson and Gärdenfors (1991), is also given about whether there is a counterpart contraction in nonmonotonic logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Raymond Reiter. A logic for default reasoning.Artificial Intelligence, 1980, 13: 81–132.
Gerhard Brewka. Preferred subtheories: An extended logical framework for default reasoning. InProceedings of the 11th International Joint Conference on Artificial Intelligence, IJCAI-89, Sridharan N S (ed.), Morgan Kaufmann, 1989, pp. 1034–1048.
Bernhard Nebel. Belief revision and default reasoning: Syntax-based approaches. InPrinciples of Knowledge Representation and Reasoning, Proceedings of the Second International Conference, Allen J Aet al. (eds.), Morgan Kaufmann, 1991, pp. 417–428.
David Poole. A logical framework for default reasoning.Artificial Intelligence, 1988, 36: 27–47.
Gerhard Brewka. Belief revision in a framework for default reasoning. InThe Logic of Theory Change, Fuhrmann A, Morreau M (eds.),LNCS 465, Springer-Verlag, 1991, pp. 206–222.
David Makinson, Peter Gärdenfors. Relations between the logic of theory change and nonmonotonic logic. InThe Logic of Theory Change, Fuhrmann A, Morreau M (eds.),LNCS 465, Springer-Verlag, 1991, pp. 185–205.
Zhang Dongmo. Belief revision by sets of sentences.Journal of Computer Science and Technology, 1996, 11(2): 108–125.
Zhang Dongmo, Chen Shifu, Zhu Wujia, Chen Zhaoqian. Representational theorems for multiple belief changes. InProceedings of the Fifteenth International Joint Conferene on Artificial Intelligenc, IJCAI-97, Morgan Kaufmann, 1997, pp. 89–94.
Bernhard Nebel. Syntax based approaches to belief revision. InBelief Revision, Gärdenfors P (ed.), Cambridge University Press, 1992, pp. 52–88.
C E Alchourrón, Peter Gärdenfors, David Makinson. On the logic of theory change: Partial meet contraction and revision functions.The Journal of Symbolic Logic, 1985, 50(2): 510–530.
Hirofumi Katsuno, Alberto O Mendelzon. A unified view of propositional knowledge base updates. InProceedings of the 11th International Joint Conference on Artificial Intelligence, IJCAI-89, Sridharan N S (ed.), Morgan Kaufmann, 1989, pp. 1413–1419.
Craig Boutilier. Unifying default reasoning and belief revision in a modal framework.Artificial Intelligence, 1994, 68: 33–85.
Maria R Cravo, João P Martins. A unified approach to default reasoning and belief revision. InProgress in Artificial Intelligence, Filgueiras M, Damas L (eds.),LNAI 727. Springer-Verlag, 1993, pp. 226–241.
Mark Ryan. Defaults and revision in structured theories. InProceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 1991, pp. 362–373.
Peter Gärdenfors, David Makinson. Nonmonotonic inference based on expectations.Artificial Intelligence, 1994, 65: 197–245.
Zhang Dongmo, Chen Shifu, Zhu Wujia, Li Hongbin. Nonmonotonic reasoning and multiple belief revision. InProceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97, Morgan Kaufmann, 1997, pp.95–100.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the National Natural Science Foundation of China (No. 69785004) and the Science and Technology Funding for the Youth of Jiangsu Province.
ZHANG Dongmo received a Diploma in mathematics from Nanjing Normal University in 1980, the M.S. degree in computer application and the Ph.D. degree in intelligent system and robot from Najing University of Aeronautics and Astronautics (NUAA) in 1992 and 1996, respectively. He worked as a post-doctor at the Department of Computer Science and Technology in Nanjing University from Sep. 1996 to Aug. 1998. Now he is an associate professor of NUAA and also a research associate at School of Computer Science and Engineering, University of New South Wales, Australia. His research interests include nonmonotonic reasoning, belief revision and reasoning about actions.
ZHU Zhaohui received his Bachelor and M.S. degrees in computer science and Ph.D. degree in control theory from Nanjing University of Aeronautics and Astronautics (NUAA) in 1992, 1995 and 1998, respectively. Now he is working as a post-doctor at the Department of Computer Science and Technology in Nanjing University from 1998 to this day. His research interests include nonmonotonic reasoning, reasoning about action and agent theory.
CHEN Shifu received a Diploma in mathematics from Nanjing University in 1958. Now he is a professor at the Department of Computer Science and Technology in Nanjing University. His research interests include reasoning based case and expert system.
Rights and permissions
About this article
Cite this article
Zhang, D., Zhu, Z. & Chen, S. Default reasoning and belief revision: A syntax-independent approach. J. Comput. Sci. & Technol. 15, 430–438 (2000). https://doi.org/10.1007/BF02950406
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02950406