Belief revision — an axiomatic approach
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
Belief revision systems aim at keeping a database consistent. They mostly concentrate on how to record and maintain dependencies. We propose an axiomatic system, called MFOT, as a solution to the problem of belief revision. MFOT has a set of proper axioms which selects a set of most plausible and consistent input beliefs. The proposed nonmonotonic inference rule further maintains consistency while generating the consequences of input beliefs. It also permits multiple property inheritance with exceptions. We have also examined some important properties of the proposed axiomatic system. We also propose a belief revision model that is object-centered. The relevance of such a model in maintaining the beliefs of a physician is examined.
- McCarthy, J. (1986) Applications of circumscription to formalizing commonsense knowledge. Artificial Intelligence 28: pp. 89-116
- Reiter, R. (1980) A logic for default reasoning. Artificial Intelligence 13: pp. 81-132
- Doyle, J. (1979) A truth maintenance system. Artificial Intelligence 12: pp. 231-272
- Kleer, J. (1986) An assumption-based TMS. Artificial Intelligence 28: pp. 127-162
- Martins, J.P., Shapiro, S.C. (1988) A model for belief revision. Artificial Intelligence 35: pp. 25-79
- Shoham, Y. (1987) Reasoning About Change. MIT Press, Cambridge Mass
- Sridhar, V., Murty, M. Narasimha, and Krishna, G., On reasoning with most recent beliefs, inProc. Fourth ISMIS, Charlotte, NC (1989).
- Mendelson, E.,Introduction to Mathematical Logic, 3rd edn., Van Nostrand Reinhold (1989).
- Sandewall, E., Nonmonotonic inference rules for multiple inheritance with exceptions, inProc. IEEE 74(10) (1986).
- Touretzky, D.S. (1986) The Mathematics of Inheritance Systems. Morgan Kaufmann, California
- Moore, R.C. Autoepistemic logic. In: Smets, P., Mamdani, A., Dubois, D., Prade, H. eds. (1988) Nonstandard Logics for Automated Reasoning. Academic Press, New York
- Reiter, R. Nonmonotonic Reasoning. In: Shorbe, H.E. eds. (1988) Exploring AI. Morgan Kaufmann, California
- Braunwald, E., Isselbacher, K.J., Petersdorf, R.G., Wilson, J.D., Martin, J.B., Fauci, A.S. eds. (1987) Harrison's Principles of Internal Medicine. McGraw-Hill, New York
- Gärdenfors, P.,Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press (1988).
- Winslett, M., Is belief revision harder than you thought? inProc. AAAI 86, PA, pp. 421–427 (1986).
- Belief revision — an axiomatic approach
Journal of Intelligent and Robotic Systems
Volume 8, Issue 2 , pp 127-153
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- Axiomatic approach
- belief revision
- defeasible beliefs
- inheritance network
- logical inference
- multiple implications
- multiple inheritance
- nonmonotonic inference rule
- Industry Sectors