Sciweavers

12 search results - page 1 / 3
» Modeling Belief in Dynamic Systems, Part II: Revision and Up...
Sort
View
CORR
1999
Springer
65views Education» more  CORR 1999»
13 years 10 months ago
Modeling Belief in Dynamic Systems, Part II: Revision and Update
Nir Friedman, Joseph Y. Halpern
ENTCS
2006
181views more  ENTCS 2006»
13 years 11 months ago
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
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 (...
Alexandru Baltag, Sonja Smets
CONCUR
2001
Springer
14 years 3 months ago
The Control of Synchronous Systems, Part II
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
NMR
2004
Springer
14 years 4 months ago
Probability, rational belief and belief change
A simple model of rational belief holds that: (i) an instantaneous snapshot of an ideally rational belief system corresponds to a probability distribution; and (ii) rational belie...
Charles G. Morgan
CEEMAS
2005
Springer
14 years 4 months ago
How Our Beliefs Contribute to Interpret Actions
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
Guillaume Aucher