Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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)
Halpern, J.Y.: A Theory of Knowledge and Ignorance for many agents. Journal of Logic and Computation 7(1), 79–108 (1997)
Halpern, J.Y., Lakemeyer, G.: Multi-Agent Only Knowing. Journal of Logic and Computation 11(1), 40–70 (2001)
Hoek, W., Thijsse, E.: A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Studia Logica 72(1), 61–84 (2002)
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)
Levesque, H.J.: All I know: A study in autoepistemic logic. Artificial Intelligence 42, 263–309 (1990)
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)
Solhaug, B.: Logical Spaces in Multi-Modal Only Knowing Logics. Master’s Thesis, University of Oslo (2004)
Waaler, A.: Logical Studies in ComplementaryWeak S5. Doctoral thesis, University of Oslo (1994)
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, http://folk.uio.no/johanw/ok-doc.pdf
Waaler, A.: Consistency proofs for systems of multi-agent only knowing. Advances in Modal Logic 5, 347–366 (2005)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Solhaug, B., Waaler, A. (2006). Logical Spaces in Multi-agent Only Knowing Systems. In: Toni, F., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2005. Lecture Notes in Computer Science(), vol 3900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11750734_5
Download citation
DOI: https://doi.org/10.1007/11750734_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33996-0
Online ISBN: 978-3-540-33997-7
eBook Packages: Computer ScienceComputer Science (R0)