Research output per year
Research output per year
Abstract / Description of output
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 behavior 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 a first-order case. In this paper, we propose a new account of multi-agent only-knowing which, for the first time, has a natural possibleworld semantics for a quantified language with equality. We then provide, for the propositional fragment, a sound and complete axiomatization that faithfully lifts Levesque’s proof theory to the many agent case.
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 a first-order case. In this paper, we propose a new account of multi-agent only-knowing which, for the first time, has a natural possibleworld semantics for a quantified language with equality. We then provide, for the propositional fragment, a sound and complete axiomatization that faithfully lifts Levesque’s proof theory to the many agent case.
| Original language | English |
|---|---|
| Title of host publication | Knowing, Reasoning, and Acting |
| Subtitle of host publication | Essays in Honour of Hector J. Levesque |
| Publisher | College Publications |
| Chapter | 4 |
| Number of pages | 24 |
| Volume | 16 |
| Publication status | Published - 2011 |
Fingerprint
Dive into the research topics of 'Multi-Agent Only-Knowing'. Together they form a unique fingerprint.Research output
- 1 Conference contribution
-
Multi-Agent Only-Knowing Revisited
Belle, V. & Lakemeyer, G., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, p. 49-59 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile