Epistemic Boolean games based on a logic of visibility and control
作者： Emiliano Lorini , Francois Schwarzentruber , Andreas Herzig , Faustine Maffre
DOI:
关键词:
摘要: We analyse epistemic boolean games in a computationally grounded dynamic logic. The agents' knowledge is determined by what they see, including higher-order visibility: agents may observe whether another agent observes an atom or not. actions consist modifying the truth values of atoms. provide axiomatisation logic, establish that model checking problem PSPACE, and show how one can reason about equilibria games.
ijcai.org
archives-ouvertes.fr参考文章(17)
Olivier Gasquet, Francois Schwarzentruber, Valentin Goranko, Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane adaptive agents and multi-agents systems. pp. 325- 332 ,(2014) , 10.5555/2615731.2615786
Nicolas Troquard, Emiliano Lorini, Andreas Herzig, Frédéric Moisan, A dynamic logic of normative systems international joint conference on artificial intelligence. pp. 228- 233 ,(2011) , 10.5591/978-1-57735-516-8/IJCAI11-049
Alessio R. Lomuscio, Ron van der Meyden, Mark Ryan, Knowledge in multiagent systems ACM Transactions on Computational Logic. ,vol. 1, pp. 247- 284 ,(2000) , 10.1145/359496.359527
Andreas Herzig, Emiliano Lorini, Faustine Maffre, A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation Logic, Rationality, and Interaction. pp. 156- 168 ,(2015) , 10.1007/978-3-662-48561-3_13
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su, Symbolic Model Checking for Dynamic Epistemic Logic Logic, Rationality, and Interaction. pp. 366- 378 ,(2015) , 10.1007/978-3-662-48561-3_30
E. Lorini, F. Schwarzentruber, A. Herzig, T. Charrier, F. Maffre, Building epistemic logic from observations and public announcements principles of knowledge representation and reasoning. pp. 268- 277 ,(2016)
Paul Harrenstein, Cees Witteveen, Wiebe van der Hoek, John-Jules Meyer, Boolean games theoretical aspects of rationality and knowledge. pp. 287- 298 ,(2001)
Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge, Boolean Games with Epistemic Goals LORI 2013 Proceedings of the 4th International Workshop on Logic, Rationality, and Interaction - Volume 8196. pp. 1- 14 ,(2013) , 10.1007/978-3-642-40948-6_1
Wiebe van der Hoek, Michael Wooldridge, Petar Iliev, A logic of revelation and concealment adaptive agents and multi-agents systems. pp. 1115- 1122 ,(2012) , 10.5555/2343776.2343856
Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang, Bruno Zanuttini, Boolean games revisited european conference on artificial intelligence. pp. 265- 269 ,(2006)