Local Change
Renata Wassermann, Sven Ove Hansson

Abstract:
An agent can usually hold a very large number of beliefs. However, only a
small part of these beliefs is used at a time. Efficient operations for belief
change should affect the beliefs of the agent locally, that is, the changes
should be performed only in the relevant part of the belief state. 
In this paper we define a local consequence operator that only considers the
relevant part of a belief base. This operator is used to
define local versions of the operations for belief change. Representation 
theorems are given for the local operators.