66 search results - page 2 / 14 » The Complexity of Model Checking for Belief Revision and Upd... |
CORR
1999
Springer
13 years 4 months ago
1999
Springer
AAAI
2007
13 years 7 months ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
LPNMR
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...
AI
2005
Springer
13 years 4 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
ATAL
2008
Springer
13 years 7 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...