Abstract
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we focus on those puzzles in which agents either collaborate or compete with one another in order to adopt their epistemological situations to their environment. Our goal is to devise a formal model for epistemic interactions and a family of reasoning mechanisms that would solve those puzzles. Once specified in the abstract manner, they are implemented in the Prolog environment.
This is a preview of subscription content, log in via an institution to check access.
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
Barwise, J.: Scenes and other situations. Journal of Philosophy 78(7), 369–397 (1981)
Bovens, L., Rabinowicz, W.: The puzzle of the hats. Synthese (2009) doi: 10.1007/s11229-009-9476-1
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (2003)
Gerbrandy, J.D., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6, 147–169 (1997)
Gomez-Perez, A., Corcho, O., Fernandez-Lopez, M.: Ontological Engineering. Springer, London (2001)
Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of The Two Notions. Cornell University Press, Ithaca (1962)
McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, pp. 463–502. Edinburgh University Press (1969)
McCarthy, J.: Formalizing Common Sense. Ablex Publishing, Greenwich (1990)
Moore, R.C.: Reasoning about knowledge and action. Technical report, SRI International (1980)
Orlowska, E.: Logic for reasoning about knowledge. Bulletin of the Section of Logic 16(1), 26–36 (1987)
Plaza, J.A.: Logic of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, W. Z. (eds.) Proceeddings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Scherl, R.B., Levesque, H.J.: The frame problem and knowledge-producing actions. In: Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 689–695. AAAI Press/The MIT Press, Menlo Park (1993)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer, Heidelberg (2007)
von Wright, G.H.: An Essay in Modal Logic. North Holland, Amsterdam (1951)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Garbacz, P., Kulicki, P., Lechniak, M., Trypuz, R. (2009). A Formal Model for Epistemic Interactions. In: Nguyen, N.T., Katarzyniak, R.P., Janiak, A. (eds) New Challenges in Computational Collective Intelligence. Studies in Computational Intelligence, vol 244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03958-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-03958-4_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03957-7
Online ISBN: 978-3-642-03958-4
eBook Packages: EngineeringEngineering (R0)