126 search results - page 16 / 26 » Dynamic logic for belief revision |
ECAI
2004
Springer
15 years 2 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
CCIA
2008
Springer
14 years 11 months ago
2008
Springer
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...
CLIMA
2006
14 years 11 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
ECAI
2006
Springer
14 years 11 months ago
2006
Springer
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...