Journal of Intelligent and Robotic Systems

, Volume 8, Issue 2, pp 127–153

Belief revision — an axiomatic approach

Authors

  • V. Sridhar
    • Department of Computer Science and AutomationIndian Institute of Science
  • M. Narasimha Murty
    • Department of Computer Science and AutomationIndian Institute of Science
Article

DOI: 10.1007/BF01257992

Cite this article as:
Sridhar, V. & Murty, M.N. J Intell Robot Syst (1993) 8: 127. doi:10.1007/BF01257992

Abstract

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.

Key words

Axiomatic approach belief revision defeasible beliefs inheritance network logical inference multiple implications multiple inheritance nonmonotonic inference rule

Copyright information

© Kluwer Academic Publishers 1993