2015 | OriginalPaper | Buchkapitel
Towards a Probabilistic Interpretation of Game Logic
verfasst von : Ernst-Erich Doberkat
Erschienen in: Relational and Algebraic Methods in Computer Science
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Game logic is a modal logic the modalities of which model the interaction of two players, Angel and Demon. It is known that game logic is not adequately interpreted through relation based Kripke models. The basic mechanism behind neighborhood models, which are used instead, is given through effectivity functions. We give a brief introduction to effectivity functions based on sets, indicate some of their coalgebraic properties, and move on to a definition of stochastic effectivity functions over general measurable spaces. An interpretation of game logics in terms of these effectivity functions is sketched, and their relationship to probabilistic Kripke models and to the interpretation of the PDL fragment is indicated.