66 search results - page 1 / 14 » The Complexity of Model Checking for Belief Revision and Upd... |
AAAI
1996
13 years 5 months ago
1996
AAAI
2000
13 years 5 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
ENTCS
2006
13 years 4 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
IJCAI
1997
13 years 5 months ago
1997
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
FLAIRS
2007
13 years 6 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...