Abstract
In this paper we study the dynamics of belief from an agent-oriented,
semantics-based point of view. In a formal framework used to specify and
to reason about formal agents, we dene actions that model three well-
known changes of belief, viz. expansions, contractions, and revisions. We
treat these belief changes as full- edged actions
... read more