Year

2007

Degree Name

Master of Computer Science by Research

Department

School of Computer Science and Software Engineering - Faculty of Informatics

Abstract

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)

Share

COinS