Belief revision - an axiomatic approach

Sridhar, V and Murty, Narasimha M (1993) Belief revision - an axiomatic approach. In: Journal of Intelligent and Robotic Systems, 8 (2). pp. 127-153.

PDF Belief.pdf - Published Version Restricted to Registered users only Download (1MB) | Request a copy

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.

Item Type:	Journal Article
Publication:	Journal of Intelligent and Robotic Systems
Publisher:	Springer
Additional Information:	Copyright of this article belongs to Springer.
Keywords:	Axiomatic approach;belief revision;defeasible beliefs; inheritance network;logical inference;multiple implications; multiple inheritance;nonmonotonic inference rule.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	02 Feb 2011 08:49
Last Modified:	02 Feb 2011 08:49
URI:	http://eprints.iisc.ac.in/id/eprint/35344

Actions (login required)

View Item