Abstract
The standard theory for belief revision 1 provides an elegant and powerful framework for reasoning about how a rational agent should change its beliefs when confronted with new information. However, the agents considered are extremely idealized. Some recent models attempt to tackle the problem of plausible belief revision by adding structure to the belief bases and using nonstandard inference operations. One of the key ideas is that not all of an agent's beliefs are relevant for an operation of belief change. In this paper we incorporate the insights pertaining to local change and relevance sensitivity with the use of approximate inference relations 14. These approximate inference relations oer us partial solutions at any stage of the revision process. The quality of the approximations improves as we allow for more and more resources to be used. We are provided with upper and lower bounds to what would be obtained with the use of classical inference.
Users
Please
log in to take part in the discussion (add own reviews or comments).