Logical Spaces in Multi-agent Only Knowing Systems

  • Bjørnar Solhaug
  • Arild Waaler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3900)


We present a weak multi-agent system of Only knowing and an analysis of the logical spaces that can be defined in it. The logic complements the approach to generalizing Levesque‘s All I Know system made by Halpern and Lakemeyer. A novel feature of our approach is that the logic is defined entirely at the object level with no reference to meta-concepts in the definition of the axiom system. We show that the logic of Halpern and Lakemeyer can be encoded in our system in the form of a particular logical space.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Engan, I., Lian, E.H., Langholm, T., Waaler, A.: Default Reasoning with Preference within Only Knowing Logic. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 304–316. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Halpern, J.Y.: Reasoning about Only Knowing with Many Agents. In: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 1993), pp. 655–661 (1993)Google Scholar
  3. 3.
    Halpern, J.Y.: A Theory of Knowledge and Ignorance for many agents. Journal of Logic and Computation 7(1), 79–108 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Halpern, J.Y., Lakemeyer, G.: Multi-Agent Only Knowing. Journal of Logic and Computation 11(1), 40–70 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Hoek, W., Thijsse, E.: A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Studia Logica 72(1), 61–84 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Lakemeyer, G.: All They Know: A Study in Multi-Agent Autoepistemic Reasoning. In: Proc. of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 376–381 (1993)Google Scholar
  7. 7.
    Levesque, H.J.: All I know: A study in autoepistemic logic. Artificial Intelligence 42, 263–309 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Lian, E.H., Langholm, T., Waaler, A.: Only Knowing with Confidence Levels: Reductions and Complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 500–512. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Solhaug, B.: Logical Spaces in Multi-Modal Only Knowing Logics. Master’s Thesis, University of Oslo (2004)Google Scholar
  10. 10.
    Waaler, A.: Logical Studies in ComplementaryWeak S5. Doctoral thesis, University of Oslo (1994)Google Scholar
  11. 11.
    Waaler, A., Klüwer, J.W., Langholm, T., Lian, E.: Only Knowing with Degrees of Confidence. Journal of Applied Logic (2006) (to appear), A preprint is available at,
  12. 12.
    Waaler, A.: Consistency proofs for systems of multi-agent only knowing. Advances in Modal Logic 5, 347–366 (2005)MathSciNetzbMATHGoogle Scholar
  13. 13.
    Waaler, A., Solhaug, B.: Semantics for Multi-Agent Only Knowing (extended abstract). In: van der Meyden, R. (ed.) Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK X), pp. 109–125. ACM Digital Library, New York (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Bjørnar Solhaug
    • 1
    • 2
  • Arild Waaler
    • 3
    • 4
  1. 1.SINTEF ICTNorway
  2. 2.Dep. of Information Science and Media StudiesUniversity of BergenNorway
  3. 3.Finnmark CollegeNorway
  4. 4.Dep. of InformaticsUniversity of OsloNorway

Personalised recommendations