Representation theorems for multiple belief changes

Authors:
Dongmo Zhang;Shifu Chen;Wujia Zhu;Zhaoqian Chen
Affiliations:
State Key Lab. for Novel Software Tech.,, Dept., of Comp., Sci., and Tech., Nanjing Univ.,, Nanjing, China and Dept., of Comp., Sci., Nanjing Univ., of Aeronautics and Astronautics, Nanjing, China;State Key Lab. for Novel Software Tech., Department of Comp., Sci., and Tech., Nanjing Univ., Nanjing, China;State Key Lab. for Novel Software Tech.,, Dept., of Comp., Sci., and Tech., Nanjing Univ.,, Nanjing, China and Dept., of Comp., Sci., Nanjing Univ., of Aeronautics and Astronautics, Nanjing, China;State Key Lab. for Novel Software Tech., Department of Comp., Sci., and Tech.,, Nanjing Univ., Nanjing, China
Venue:
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Year:
1997

Citing 7
Cited 5

Nonmonotonic inference based on expectations

Artificial Intelligence
Belief revision

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment

JELIA '92 Proceedings of the European Workshop on Logics in AI
Relations between the logic of theory change and nonmonotonic logic

Proceedings of the Workshop on The Logic of Theory Change
Belief revision in a framework for default reasoning

Proceedings of the Workshop on The Logic of Theory Change
Multiple contraction. A further case against Gärdenfors' principle of recovery

Proceedings of the Workshop on The Logic of Theory Change
Revisions of knowledge systems using epistemic entrenchment

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge

Convergency of Learning Process

AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Parallel belief revision

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Algorithms and application in decision-making for the finest splitting of a set of formulae

Knowledge-Based Systems
A framework for managing uncertain inputs: An axiomization of rewarding

International Journal of Approximate Reasoning
Parallel belief revision: Revising by sets of formulas

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper aims to develop further and systemize the theory of multiple belief change based on the previous work on the package contraction, developed by [Fuhrmann and Hansson 1994] and the general belief changes, developed by [Zhang 1996]. Two main representation theorems for general contractions are given, one is based on partial meet models and the other on nice-ordered partition models. An additional principle, called Limit Postulate, for the general belief changes is introduced which specifies properties of infinite belief changes. The results of this paper provides a foundation for investigating the connection between infinite nonmonotonic reasoning and multiple belief revision.