Minimising Belief of KSD-Agent

8^th November 2011, 16:00 ALT
Levan Uridia
Universidad Rey Juan Carlos Madrid
Spain

Abstract

As a doxastic counterpart to epistemic logic based on S5 we study the modal logic KSD that can be viewed as an approach to modeling a kind of objective and fair belief. We will discuss two different existing approaches for minimising the knowledge set of an agent. Later we apply one of the techniques to the logic KSD and therefore logically capture the idea of minimal belief. For this we develop an alternative approach to nonmonotonic modal logic using a weaker concept of expansion. This corresponds to a certain minimal kind of KSD model and yields a new type of nonmonotonic doxastic reasoning.