CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Iterated belief change in multi-agent systems

Jan-Willem Roorda (Institutionen för datavetenskap) ; W. Van der Hoek ; J-J. Meyer
Proceedings of the 1st International Joint Conference on: Autonomous Agents adn Multiagent Systems, Bologna, 15-19 July 2002 p. 889-896. (2002)
[Konferensbidrag, refereegranskat]

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 has been 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.

Nyckelord: Formalisms, Iterated belief revision, Knowledge



Denna post skapades 2013-02-15.
CPL Pubid: 173655

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för datavetenskap (2002-2004)

Ämnesområden

Data- och informationsvetenskap

Chalmers infrastruktur