75 search results - page 7 / 15 » Propositional belief merging and belief negotiation model |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
COMMA
2010
13 years 2 months ago
2010
Conflicts exist in multi-agent systems. Agents have different interests and desires. Agents also hold different beliefs and may make different assumptions. To resolve conflicts, ag...
AAAI
2006
13 years 8 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
AAAI
2010
13 years 8 months ago
2010
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incomp...
CEEMAS
2005
Springer
14 years 1 months ago
2005
Springer
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 ...