Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML

Game Theoretic Semantics

Keywords: games

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.



Add Comment

No comments.