Hans van Ditmarsch
ABSTRACT
When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a logic to reason about knowledge in such scenarios.
- A. Baltag. A logic for suspicious players: Epistemic actions and belief-updates in games. Bulletin of Economic Research, 54(1):1--45, 2002.Google Scholar
Cross Ref
- M. Bratman. Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (MA), 1987.Google Scholar
- J. A. Brzozowski. Derivatives of regular expressions. Journal of the ACM, 11(4):481--494, 1964. Google ScholarDigital Library
- H. Clark. Using Language. Cambridge University Press, Cambridge, 1996.Google Scholar
- J. H. Conway. Regular Algebra and Finite Machines. Chapman and Hall, 1971.Google Scholar
- F. Dignum, B. Dunin-Keplicz, and R. Verbrugge. Creating collective intention through dialogue. Logic Journal of the IGPL, 9:145--158, 2001.Google ScholarCross Ref
- R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Knowledge-based programs. Distributed Computing, 10(4):199--225, July 1997. Google ScholarDigital Library
- R. Fagin, J. Y. Halpern, M. Y. Vardi, and Y. Moses. Reasoning about Knowledge. MIT Press, Cambridge, MA, USA, 1995. Google ScholarDigital Library
- H. P. Grice. Logic and conversation. In P. Cole and J. L. Morgan, editors, Syntax and semantics, volume 3. New York: Academic Press, 1975.Google Scholar
- B. Grosz and C. Sidner. Plans for discourse. In P. Cohen, J. Morgan, and M. Pollack, editors, Intentions in Communication, pages 417--444. MIT Press, Cambridge (MA), 1990.Google Scholar
- T. Hoshi. Epistemic Dynamics and Protocol Information. PhD thesis, Stanford University, 2009. Google ScholarDigital Library
- D. Kozen. Automata on guarded strings and applications. Technical report, Cornell University, Ithaca, NY, USA, 2001. Google ScholarDigital Library
- J. S. Miller and L. S. Moss. The undecidability of iterated modal relativization. Studia Logica, 79(3):373--407, 2005.Google ScholarCross Ref
- E. Pacuit and S. Simon. Reasoning with protocols under imperfect information (abstract). Short paper presentation at AiML 2010, Moscow, 2010.Google Scholar
- R. Parikh and R. Ramanujam. A knowledge based semantics of messages. Journal of Logic, Language and Information, 12(4):453--467, 2003. Google ScholarDigital Library
- S. Pinker, M. Nowak, and J. Lee. The logic of indirect speech. Bulletin of Economic Research, 54(1):1--45, 2002.Google Scholar
- A. Rao and M. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of the Second Conference on Knowledge Representation and Reasoning, pages 473--484. Morgan Kaufman, 1991.Google ScholarDigital Library
- S. Singh. The Code Book: The Evolution of Secrecy from Mary, Queen of Scots, to Quantum Cryptography. Doubleday, New York, NY, USA, 1999. Google ScholarDigital Library
- J. van Benthem, J. Gerbrandy, T. Hoshi, and E. Pacuit. Merging frameworks for interaction. Journal of Philosophical Logic, 38(5):491--526, 2009.Google ScholarCross Ref
- J. van Benthem, J. van Eijck, and B. Kooi. Logics of communication and change. Information and Computation, 204(11):1620--1662, 2006. Google ScholarDigital Library
- H. van Ditmarsch, W. van der Hoek, and B. Kooi. Dynamic Epistemic Logic, volume 337 of Synthese Library. Springer, 2007. Google ScholarDigital Library
- H. van Ditmarsch, J. van Eijck, and R. Verbrugge. Common knowledge and common belief. In J. van Eijck and R. Verbrugge, editors, Discourses on Social Software, volume 5 of Texts in Games and Logic. Amsterdam University Press, Amsterdam, 2009.Google Scholar
- J. van Eijck. Perception and change in update logic. In J. van Eijck and R. Verbrugge, editors, Games, Actions and Social Software, Texts in Logic and Games (FOLLI subseries of LNCS). Springer Verlag, Berlin, 2011. Google ScholarDigital Library
- J. van Eijck, J. Ruan, and T. Sadzik. Action emulation, 2008. Unpublished manuscript, available at homepages.cwi.nl/jve/papers/08/ae/ae.pdf.Google Scholar
- A. van Kooten Niekerk and S. Wijmer. Verkeerde Vriendschap: Lesbisch Leven in de Jaren 1920--1960. Sara, Amsterdam, 1985.Google Scholar
- R. Verbrugge and L. Mol. Learning to apply theory of mind. Journal of Logic, Language and Information, 17:489--511, 2008. Special issue on formal models for real people, edited by M. Counihan. Google ScholarDigital Library
- Y. Wang. Epistemic Modelling and Protocol Dynamics. PhD thesis, University of Amsterdam, 2010.Google Scholar
- Y. Wang. Reasoning about protocol change and knowledge. In Proceedings of the 4th Indian Conference on Logic and its Applications (ICLA 2011), LNAI 6521, pages 189--203. Springer, 2010. Google ScholarDigital Library
Index Terms
- Hidden protocols
Recommendations
Hidden protocols: Modifying our expectations in an evolving world
When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we ...
Annotation and matching of first-class agent interaction protocols
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2Many practitioners view agent interaction protocols as rigid specifications that are defined a priori, and hard-code their agents with a set of protocols known at design time --- an unnecessary restriction for intelligent and adaptive agents. To achieve ...
Evolving protocols and agents in multiagent systems
AAMAS '13: Proceedings of the 2013 international conference on Autonomous agents and multi-agent systemsWe consider multiagent systems that involve two or more business partners interacting via autonomous software agents. A (business) protocol describes the messages exchanged by the agents in high-level terms. Such systems pose a major challenge with ...
Comments