Journal of Intelligent and Robotic Systems

, Volume 8, Issue 2, pp 127–153

Belief revision — an axiomatic approach

  • V. Sridhar
  • M. Narasimha Murty
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
  • 35 Downloads

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 approachbelief revisiondefeasible beliefsinheritance networklogical inferencemultiple implicationsmultiple inheritancenonmonotonic inference rule

Copyright information

© Kluwer Academic Publishers 1993

Authors and Affiliations

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