Electronic Resource
Springer
Erkenntnis
50 (1999), S. 429-446
ISSN:
1572-8420
Source:
Springer Online Journal Archives 1860-2000
Topics:
Philosophy
Notes:
Abstract The AGM paradigm for belief revision provides a very elegant and powerful framework for reasoning about idealized agents. The paradigm assumes that the modeled agent is a perfect reasoner with infinite memory. In this paper we propose a framework to reason about non-ideal agents that generalizes the AGM paradigm. We first introduce a structure to represent an agent's belief states that distinguishes different status of beliefs according to whether or not they are explicitly represented, whether they are currently active and whether they are fully accepted or provisional. Then we define a set of basic operations that change the status of beliefs and show how these operations can be used to model agents with different capacities. We also show how different operations of belief change described in the literature can be seen as special cases of our theory.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1005565603303
Permalink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |