32 search results - page 1 / 7 » Deriving Properties of Belief Update from Theories of Action |
AAAI
1992
14 years 10 months ago
1992
86
Voted
PRICAI
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
104
Voted
TARK
2007
Springer
15 years 3 months ago
2007
Springer
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
AAAI
1994
14 years 10 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...