使用余代数与 Giry 单子解释博弈逻辑——一篇教程
计算机科学中的逻辑
2017-01-03 v1
摘要
帕里什博弈逻辑的概率解释不应遵循通常的克里普克模型模式，而克里普克模型又基于 Giry 单子的 Kleisli 态射，相反，需要一种针对概率非确定性的特定且更通用的途径。我们概述了这一途径及其概率与测度论基础，以平缓的节奏引入 Giry 单子及其 Kleisli 态射，以及操作它们的重要技术。给出了确立特定技术的证明，并提供了现有文献的指引。在学习完本教程后，读者应能更轻松地跟进该领域及相关领域的原始文献，并且应当能够领会马尔可夫转移系统和随机效能函数等领域的原创工作中基于测度论的论证。
引用
@article{arxiv.1701.00280,
title = {Using Coalgebras and the Giry Monad for Interpreting Game Logics --- A Tutorial},
author = {Ernst-Erich Doberkat},
journal= {arXiv preprint arXiv:1701.00280},
year = {2017}
}