BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260915T095447Z
UID:Seminar-ARK-517@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Louwe Kuijer:MAILTO:Louwe.Kuijer@liverpool.ac.uk
DTSTART:20180518T110000
DTEND:20180518T120000
SUMMARY:Argumentation and Representation of Knowledge Series
DESCRIPTION:Louwe Kuijer: SOPML: reasoning about all possible knowledge\n\nEpistemic logic (EL) allows us to reason about what an agent knows. But statements about knowledge can only be represented in EL if they are about a specific piece of knowledge. For example, let p mean "it is raining". Then "Alice believes that Bob correctly believes that it is raining" can be represented as ?a(p??bp), and EL gives us exact conditions for determining when the sentence is true.\n\nBut EL cannot represent statements about an agents total body of knowledge. For example, it cannot express sentences like "Alice believes that Bob holds at least one correct belief" or "Alice believes everything that is believed by both Bob and Claire". Second Order Propositional Modal Logic (SOPML) is an extension of EL that does allow us to express such things. Unfortunately, it comes at a heavy price in computational complexity.\n\nIn this talk I will introduce SOPML, show how it can express sentences like the ones described above, and explain why its decisions problems are hard.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=517
LOCATION:
END:VEVENT
END:VCALENDAR