Degree Name

Master of Computer Science by Research


School of Computer Science and Software Engineering - Faculty of Informatics


Usually, the researchers of traditional belief change theories (e.g., AGM theory) assume that the knowledge of the agents which have the lower priorities should fully accept the knowledge of those higher priority ones in the process of belief revision. These kinds of theories are called prioritized belief change theories. On the contrary, in the discussion of non-prioritized belief change theories (e.g., Konieczny and Pino-P{\'e}rez's merging theory), the belief changes happen among the agents which have the same priorities. In this dissertation, we provide a new style of epistemic states and the belief change operations on this kind of epistemic states such that the prioritized or non-prioritized characteristics of belief change operators will be determined only by the properties of agents' knowledge.

02Whole.pdf (1388 kB)