Please note that this newsitem has been archived, and may contain outdated information or links.
2 July 2007, Meeting of the Minds, Euclides Building, ILLC, Amsterdam
Date: 2 July 2007
Time: 13:00 - 17:15
Location: Euclides Building, ILLC, Amsterdam
The meeting will be held in room P.327. Speakers include J. van Benthem, K.R. Apt, J. van Eijck and E. Pacuit.
Preliminary program
| 13:00 - 13:45 | Johan van Benthem | Rational Dynamics: Solving Games as a Logical Process |
|
Abstract: We analyze existing game solution procedures as steps in a process of iterated public announcement between two minds that meet either in reality or virtually. We provide technical background in dynamic epistemic fixed-point logic, draw some analogies with the work of Krzysztof Apt, and finally use our framework to discuss some new scenarios for rational (inter)action in extensive games. | ||
| 13:45 - 14:30 | Krzysztof R. Apt | Relative Strength of Strategy Elimination Procedures |
|
Abstract: We compare the relative strength of four widely used procedures on finite strategic games: iterated elimination of weakly/strictly dominated strategies by a pure/mixed strategy. A complication is that none of these procedures is based on a monotonic operator. To deal with this problem we use 'global' versions of these operators. The ones corresponding with strict dominance are monotonic which allows us to use them in the epistemic framework of game theory based on possibility correspondences as `a stand alone' concept of rationality. | ||
| 14:30 - 14:50 | Discussion | |
| 14:50 - 15:15 | Coffee Break | |
| 15:15 - 16:00 | Jan van Eijck | On Seeing Things Change |
|
Abstract: We will present an account of perception, as an extension of the Logic of Communication and Change of Van Benthem, Van Eijck and Kooi, 2006). | ||
| 16:00 - 16:45 | Eric Pacuit | Merging Frameworks for Interaction: DEL and ETL |
|
Abstract: Many logical systems today were designed to describe behaviour of intelligent interacting agents over time. Frameworks with a certain following include Interpreted Systems (IS, Fagin et al.), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam), STIT (Belnap et al.) and one might even add Process Algebra and Game Semantics (Abramsky) to this list. The main purpose of this paper is to look at one particular interface, between two systems that both address the dynamics of knowledge and information flow in multi-agent systems. One is the IS/ETL paradigm and the other framework is that of Dynamic Epistemic Logic (DEL). It has long been unclear how to compare these approaches in the most fruitful manner. We systematize and strengthen the interface between IS/ETL and DEL to an extent where fruitful interaction becomes possible, including new research questions on both sides. Note that we are not reducing one framework to another, nor simply `applying' them. We show rather how ETL and DEL lead to interesting new issues when merged as accounts of intelligent agents. | ||
| 16:45 - 17:15 | Discussion | |
| 17:15 - ? | Drinks | |
For more information, please contact apt at cwi.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.