Catalogue of Artificial Intelligence Techniques
Game Theoretic Semantics
Categories: Game Theory , Knowledge Representation , Natural Language
Author(s): Patric Chan
The game-theoretic interpretation of logic is due to Hintikka. In this approach, any attempt to establish the truth or falsity of an expression, S, in an interpreted language, L, is correlated with a two-person, zero-sum, perfect information game, G(S), played according to the rules of L. These games can be thought of as constituting `idealised processes of verification'. Informally, one can think of the two players as oneself and `Nature', and the game consists of one seeking support for S, while Nature looks for a refutation.
- Hintikka, J., Logic, language games and information: Kantian
themes in the philosophy of logic
, Clarendon Press, Oxford, 1973.