Sökning: id:"swepub:oai:research.chalmers.se:4ed0bcc3-6e2f-43a9-9874-4f22ceeeb18f" >
Iterated Belief Cha...
Iterated Belief Change in Multi Agent Systems
-
- Roorda, Jan-Willem, 1975 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
Van der Hoek, W. (författare)
-
Meyer, J-J. (författare)
-
(creator_code:org_t)
- Oxford University Press (OUP), 2003
- 2003
- Engelska.
-
Ingår i: Logic Journal of the IGPL. - : Oxford University Press (OUP). - 1367-0751 .- 1368-9894. ; 11:2, s. 223-246
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://research.cha...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We give a model for iterated belief change in multi-agent systems. The formal tool we use for this is a combination of modal and dynamic logic. Two core notions in our model are the expansion of the knowledge and beliefs of an agent, and the processing of new information. An expansion is defined as the change in the knowledge and beliefs of an agent when it decides to believe an incoming formula while holding on to its current propositional beliefs. To prevent our agents from forming inconsistent beliefs they do not expand with every piece of information they receive. Instead, our agents remember their original beliefs and every piece of information they receive. After every receipt of information they decide which (consistent) subset of the received information should be incorporated into their original beliefs. This procedure is called the processing of new information. We show that our model of belief update behaves in an intuitive way and that it is not sensitive to criticism on comparable models.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- formalisms
- knowledge
- iterated belief revision
Publikations- och innehållstyp
- art (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas