Multi-agent Only-Knowing
Gerhard Lakemeyer
ARTIFICIAL INTELLIGENCE SEMINARDATE: 2013-02-25
TIME: 15:00:00 - 16:00:00
LOCATION: Ian Ross Seminar Room
CONTACT: JavaScript must be enabled to display this email address.
ABSTRACT:
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic reasoning within a monotonic logic. Despite its appeal, all attempts to extend only-knowing to the many-agent case have undesirable properties. A belief model by Halpern and Lakemeyer, for instance, appeals to proof-theoretic constructs in the semantics and needs to axiomatize validity as part of the logic. It is also not clear how to generalize their ideas to the first-order case. In this talk, I present a new account of multi-agent only-knowing which, for the first time, has a natural possible-world semantics for a quantified language with equality. An axiom system for the propositional fragment will also be discussed.
This is joint work with Vaishak Belle.
