Source: Studia Logica, Volume 70, Number 1, February 2002 , pp. 49-76(28)
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.
Document Type: Regular Paper
Affiliations: 1: Philosophy Group Division of Regional Planning Royal Institute of Technology 100 44 Stockholm, Sweden firstname.lastname@example.org 2: Department of Computer Science Institute of Mathematics and Statistics University of São Paulo Rua do Matão, 1010 CEP 05508-900 Cidade Universitária São Paulo - SP - Brazil email@example.com
Publication date: February 1, 2002