Location of Repository

Modeling Beliefs In Dynamic Systems

By Nir Friedman, Joseph Y. Halpern and Yoav Shoham

Abstract

tions beliefs. We say that an agent believes ' if she acts as though ' is true. As time passes and new evidence is observed, changes in an agent's defeasible assumptions lead to changes in her beliefs. Thus, the question of belief change---that is, how beliefs change over time---is a central one for understanding systems that can make and modify defeasible assumptions. In this dissertation, we propose a new approach to the question of belief change. This approach is based on developing a semantics for beliefs. This semantics is embedded in a framework that models agents' knowledge (or information) as well as their beliefs, and how these change in time. We argue, and demonstrate by examples, that this framework can naturally model any dynamic system (e.g., agents and their environment). Moreover, the framework allows us to consider what the properties of well-behaved belief change should be. As we show, such a framework can

Topics: Johan van Benthem CSLI
Year: 1997
OAI identifier: oai:CiteSeerX.psu:10.1.1.19.7297
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.huji.ac.il/~nirf... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.