[PDF] Top 20 PP 2008 02: Games that Make Sense: logic, language, and interaction

... natural language se- mantics meet in interesting ways with basic questions about ...too, games offer a fresh ...two games G, H to a choice game G ∨ H or G∧ H starting with a choice by one of the ... See full document

... Indian logic suggesting that its origins might lie in legal practice, ...Lorenzen games, and later also Hintikka’s evaluation games and Ehrenfeucht model comparison games, to my students — ... See full document

... the language can now express properties of these, rather than just individual ...also make sense for CP DL, to make it a more realistic account of collective action, and we think it might even ... See full document

... (only known to the human) with as little scrolling as possible. For the computer to be successful, it has to learn the human’s language quickly over the course of the game, so that the human can accom- plish the ... See full document

... temporal logic While the above games are finite, as is true of many rational activities, populations of rational agents also engage in potentially infinite processes, such as ‘language use’ or ... See full document

... linguistics, language games for conversational tasks should ...of Language – with discourse as the ‘operating system of ...infinite, make sense. 8.2 Extending the game logic ... See full document

... Intuitionistic logic and multi-agent interaction But precisely through the notion of proof, intuitionistic logic seems to have even more radical connections with the theory of rational ...linear ... See full document

... Conversations, games, internet transactions, and other real activities are like ...explicit logic to give an account of intelligent interaction between rational ...philosophical logic, ... See full document

... strategic interaction in rounds of conversation, and planning for various future ...theory. Games are a model for a group of agents trying to achieve certain goals through ... See full document

... multi-agent interaction. For instance, in the earlier-mentioned dialogue games of Lorenzen 1955, proof rules are game moves, and proofs are winning strategies for ...'indoor games' of proof or ... See full document

... makes sense at the level of structures and similarity relations, amount to in terms of the associated logics, that is at the level of classes of structures and invariants ? Definition ... See full document

... natural language in favour of logical ...natural language needs to be made more ...‘natural logic’ and ‘modern logic’ can coexist harmoniously, because both have their ...modern logic ... See full document

... order logic to ‘independence-friendly’ IF logic proposed by [HS97] as a procedural analogue of Henkin’s ‘branching ...IF logic seem to be basic game laws for parallel ...prefix games, and K is ... See full document

... Sabotage logics are dynamic modal logics, that crumble the relational structure under the e ff ect of certain new operators. The concept of sabotage in the context of graph algorithms and graph games was ... See full document

... one interesting special protocol is that of honest communication, which uses all and only public announcements with preconditions of this form by ProtocolHonest. “Runs” of this protocol can be expected to satisfy a kind ... See full document

... This section has shown that the satisfiability problem of CLA+P without strict preferences is NExpTime-complete. This rather high complexity is due to the environment logic which itself is already ... See full document

... epistemic logic and related themes in game theory — though they are often ...epistemic logic for changing game ...latter sense, our rationality is located precisely in the procedure being ... See full document

... tion logic by Parikh and Väänänen [32] whose formulae give rise to imperfect information games in which Eloise may be partially informed about the previous ...semantic games for the first-order ... See full document

... to make sense of this in one coherent notion of logical information? This problem exists in many variants, and it has even been called the ‘scandal of ...Martinez 2008 discusses many attempted ... See full document

... From logic games to game theory Logic games, though a very specialized class of rather high-brow activities, suggest issues which concern all games: cogent reasoning, playing at cards ... See full document