Game semantics

Game semantics (German: dialogische Logik, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.

Semantics
Subfields
Topics
Analysis
  • Latent
  • Computational
  • Machine-learning
Applications
  • Semantic file system
  • Semantic desktop
  • Semantic matching
  • Semantic parsing
  • Semantic similarity
  • Semantic query
    • Semantic Web
    • Semantic wiki
Semantics of
programming languages
Types
Theory
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.