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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lakemeyer, G. (2012). Multi-agent Only-Knowing. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2012. Lecture Notes in Computer Science(), vol 7486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32897-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-32897-8_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32896-1
Online ISBN: 978-3-642-32897-8
eBook Packages: Computer ScienceComputer Science (R0)