19 search results - page 1 / 4 » The Implementation of a First-Order Logic AGM Belief Revisio... |
ICTAI
1993
IEEE
13 years 9 months ago
1993
IEEE
DALT
2005
Springer
13 years 11 months ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...
IJCAI
1997
13 years 7 months ago
1997
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
ENTCS
2006
13 years 5 months ago
2006
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 (...
ATAL
2009
Springer
13 years 9 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...