Article

Journal of Intelligent and Robotic Systems

, Volume 8, Issue 2, pp 127-153

Belief revision — an axiomatic approach

  • V. SridharAffiliated withDepartment of Computer Science and Automation, Indian Institute of Science
  • , M. Narasimha MurtyAffiliated withDepartment of Computer Science and Automation, Indian Institute of Science

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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