Abstract
We extend our general approach to characterizing informa- tion to multi-agent systems. In particular, we provide a formal descrip- tion of an agent’s knowledge containing exactly the information conveyed by some (honest)formula ϕ. Only knowing is important for dynamic agent systems in two ways. First of all,one wants to compare different states of knowledge of an agent and, secondly for agent a’s decisions it may be relevant that (he knows that)agent b does not know more than ϕ There are three ways to study the question whether a formula ϕ can be interpreted as minimal information. The first method is semantic and inspects ‘minimal’ models for ϕ (with respect to some order ≤ on states). The second one is syntactic and searches for stable expansions, minimal with respect to some language \( \mathcal{L}^* \).The third method is a deductive test known as the disjunction property.We present a condition under which the three methods are equivalent. Then we show how to construct the order ≤ by collecting ‘layered or- ders’. We then focus on the multi-agent case and identify languages \( \mathcal{L}^* \). for several orders ≤ and show how they yield different notions of hon- esty for different multi-modal systems.Finally some consequences of the different notions are discussed.
This author’s research partly took place during his sabbatical at CSLI, Stanford USA, which is gratefully acknowledged. He also thanks Michael Dunn (Indiana University Logic Group) and Arnis Vilks (Handelshochschule Leipzig) for kind invitations and useful comments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H.-D. Ebbinghaus & J. Flum, Finite model theory, Springer-Verlag, Berlin, 1995.
J.Y. Halpern ‘Theory of Knowledge and Ignorance for Many Agents’,in Journal of Logic and Computation 7 No. 1 pp. 79–108, 1997.
J.Y. Halpern & Y. Moses, ‘Towards a theory of knowledge and ignorance’,in Kr. Apt (ed.) Logics and Models of Concurrent Systems Springer-Verlag,Berlin 1985.
M. Hennessy &R. Milner ‘Algebraic laws for Nondeterminism and Concurrency’Journal of the acm 32,pp. 137–161, 1985.
W. van der Hoek, J.O.M. Jaspars, & E.G.C. Thijsse, ‘Honesty in Partial Logic’. Studia Logica 56(3)323–360, 1996.Extended abstract in proceedings of KR’ 94.
W. van der Hoek, J.O.M. Jaspars, & E.G.C. Thijsse, ‘Persistence and Minimality in Epistemic Logic’, Annals of Mathematics and Artificial Intelligence, 27 (1999) pp. 25–47, 2000.Extended abstract in J. Dix U. Furbach L. Fari ñas del Cerro (eds.)Logics in Artificial Intel l igence. Proceedings JELIA’98 Springer Verlag, lLNAI 1489.
G. Lakemeyer, ‘All they know:a study in multi-agent auto epistemic reasoning’, ijcai93,pp. 376–381, 1993
H. J.Levesque ‘All I know:a study in auto-epistemic logic’ in Artificial Intelli-gence 42.(3) pp. 263–309, 1990.
G. Schwarz & M. Truszczy ński, ‘Minimal knowledge problem:a new approach’ Artificial Intelligence 67 pp. 113–141, 1994.
R. Parikh ‘Monotonic and nonmonotonic logics of knowledge’, Fundamenta Infor-maticae 15,pp. 255–274, 1991
M. Vardi, ‘A model-theoretic analysis of monotonic knowledge’, ijcai85 pp. 509–512, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van der Hoek, W., Jaspars, J., Thijsse, E. (2000). A General Approach to Multi-agent Minimal Knowledge. In: Ojeda-Aciego, M., de Guzmán, I.P., Brewka, G., Moniz Pereira, L. (eds) Logics in Artificial Intelligence. JELIA 2000. Lecture Notes in Computer Science(), vol 1919. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40006-0_18
Download citation
DOI: https://doi.org/10.1007/3-540-40006-0_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41131-4
Online ISBN: 978-3-540-40006-6
eBook Packages: Springer Book Archive