Gijs Hofstee - Different approaches to belief revision in multi-agent systems
Logic has been studied since ancient Greece (and probably before). In more recent ages, it has been used and applied in different fields like mathematics, philosophy and robotics, each suited to their own purpose. Not many look at all three fields at the same time, to determine what differences there are, or to which extend they can serve the same purpose. In this colloquium we shall investigate three different techniques to model beliefs and belief change. Our first technique is Jeffrey conditioning, which is based on the Bayes Theorem and a typical case of probability theory. The second technique is Interpreted Systems, which aims to model belief and belief change over a series of observations, and as it turns out is largely compatible with the AGM theorem. Finally, we shall look at Dynamic Epistemic Logic (DEL), and how it can use event models to handle belief change. For all three techniques a short explanation shall be given about what these techniques are about, and how they can be applied to model and agents beliefs when given public and private announcements.
Laatst gewijzigd: | 13 juni 2019 13:40 |
Meer nieuws
-
29 april 2024
Sensor met gevoel
In Makers van de RUG belichten we elke twee weken een onderzoeker die iets concreets heeft ontwikkeld: van zelfgemaakte meetapparatuur voor wetenschappelijk onderzoek tot kleine of grote producten die ons dagelijks leven kunnen veranderen. Zo...
-
29 april 2024
Behind the scenes: hoe studenten van de RUG en Hanze samen een Marsrover ontwikkelen
Dit jaar doen de studenten van het Makercieteam mee aan de fysieke editie van de European Rover Challenge in Polen. Lees hier meer over de samenwerking binnen het team tussen de RUG en de Hanzehogeschool.
-
23 april 2024
Negen MSCA Doctoral Network subsidies voor FSE onderzoekers
Negen onderzoekers van de Faculty of Science and Engineering hebben een Horizon Europe Marie Sklodowska Curie Doctoral Network subsidie ontvangen.