BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260411T111344Z
UID:Seminar-dept-309@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20130205T160000
DTEND:20130205T170000
SUMMARY:School Seminar Series
DESCRIPTION:Prof. Sonja Smets: Evidence-Based Belief Revision, a Logical Analysis\n\nI will present a logic for reasoning about evidence-based knowledge and \n\nbeliefs and the evidential dynamics of non-logically-omniscient agents. \n\nI will adapt the key tools and techniques from Dynamic Epistemic Logic,\n\nJustication Logic, and Belief Revision in order to provide a lightweight, \n\nyet fine-grained approach that characterizes well-known epistemic and \n\ndoxastic attitudes in the terms of the evidential reasoning that justifies \n\nthese attitudes. As a result, I will argue that this approach can serve as \n\na lynchpin in the formal analysis of complex dynamic epistemological \n\nreasoning scenarios, such as e.g. in various Gettier-type cases. \n\n\n\nThis presentation is based on joint work with A. Baltag and B. Renne at \n\nthe University of Amsterdam.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=309
LOCATION:G12
END:VEVENT
END:VCALENDAR