BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260411T113050Z
UID:Seminar-dept-269@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20111108T160000
DTEND:20111108T170000
SUMMARY:School Seminar Series
DESCRIPTION:Levan Uridia: Minimising Belief of KSD-Agent\n\nAs 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.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=269
LOCATION:ALT
END:VEVENT
END:VCALENDAR