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
-
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.
-
22 april 2024
Charissa Roossien ontvangt JTF-subsidie voor ontwikkelen Health Tracker
Dr. Charissa Roossien (ENTEG) heeft met succes een Just Transition Fund (JTF) subsidie van 1,8 miljoen euro binnengehaald voor de ontwikkeling van een Health Tracker voor betrouwbare ademhalings- en stofwisselingsanalyse.
-
15 april 2024
Techniek single-molecule niche in Zwaartekrachtonderzoek
Met haar expertise in single-molecule technieken gaat Dr. Kasia Tych (GBB) bijdragen aan een groot Zwaartekracht-onderzoeksprogramma