Modeling belief revision in multi-agent systems

Hofstee, G. (2012) Modeling belief revision in multi-agent systems. Master's Thesis / Essay, Artificial Intelligence.

Preview	Text AI.MAI-2012-G.Hofstee.pdf - Published Version Download (871kB) | Preview
	Text AkkoordSmets.pdf - Other Restricted to Registered users only Download (29kB)

Abstract

With the advance of robots and more intelligent computer programs, belief revision is becoming an increasingly important field of study as it allows agents to revise their views of the world using a logic as a basis for the model. Various areas of science, like robotics, mathematics and philosophy however design their own solutions for belief revision. In the first part of this paper, have compared three different ways to deal with belief revision, and determined if and how much overlap they show. As it turns out, for a combination of private and public updates and upgrades, Dynamic Epistemic Logic (DEL) is the most logical choice. In the second part of this paper, we explain the essential parts of a program we have designed to evaluate any logical formulas on a DEL plausibility model. In addition, some design choices are highlighted, so anyone interested could reproduce a similar program. The main purpose of this program is to show that such updates can be done in an automated fashion (this has not been done before). It also results in a viable benchmark or starting point for future work in this area. Finally, we shall show how this program works, as well as prove it does actually work by using it to solve the muddy children puzzle.

Item Type:	Thesis (Master's Thesis / Essay)
Degree programme:	Artificial Intelligence
Thesis type:	Master's Thesis / Essay
Language:	English
Date Deposited:	15 Feb 2018 07:48
Last Modified:	15 Feb 2018 07:48
URI:	https://fse.studenttheses.ub.rug.nl/id/eprint/10039

Actions (login required)

View Item