FCS 11(6) 文章 | 教程：使用余代数和Giry单子解释博弈逻辑

导读

Parikh 博弈逻辑的随机解释不应遵循基于Giry单子Kleisli 态射的Kripke模型的一般模式，而是需要一种具体的、更普通的概率非确定性方法。本文概述了这种方法及其概率和度量理论基础，介绍了Giry单子和它的Kleisli态射，及其控制技术。文章给出了建立具体技术的证明，提供了现存文献的指示信息。通过学习本教程，能够更容易理解相关领域的原始文献、以及Markov过渡系统领域的研究工作理论论证和随机有效性函数。

本文作者是计算理论和软件工程领域国际知名专家 Ernst-Erich DOBERKAT 教授。

Ernst-Erich DOBERKAT

德国 Math++ Software 独立顾问，荣誉退休教授，计算理论和软件工程领域国际知名专家之一。在国际顶级学术期刊和会议上发表百余篇学术论文，出版了11本学术著作，其理论研究成果被广泛应用于模型检测和嵌入式系统。2014年入选中国国家“外专千人计划”。国际学术期刊Frontiers of Computer Science编委。

---

---

文章精要

---

---

如需阅读本期推荐文章的全文，请点左下角的「阅读原文」链接。

精彩推荐

FCS 优青论坛 | 基于用户行为建模的搜索结果排序

Yiqun LIU, Chao WANG, Min ZHANG, Shaoping MA

FCS 优青论坛 | 基于分段Lyapunov函数的模糊仿射动态系统非脆弱控制

Shasha FU, Jianbin QIU, Wenqiang JI

专题 | Smart Cities and Urban Computing

专题 | Deep Learning Applications in Computer Vision

专题 | Advances of Orange Technologies

Perspectives | Lifelong machine learning: a paradigm for continuous learning

Bing LIU

Perspectives | Urban computing: enabling urban intelligence with big data

Yu ZHENG

Perspectives | Computer Graphics 2.0: towards end-user-generated contents

Kun ZHOU

---

---

Frontiers of Computer Science

---

Frontiers of Computer Science 是由教育部主管、高等教育出版社和德国 Springer 公司共同出版的英文学术期刊。本刊于 2007 年创刊，双月刊，全球发行。主要刊登计算机科学领域具有创新性的综述论文、研究论文等。本刊主编为李未院士，执行主编为熊璋教授和周志华教授。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和中国科学引文数据库（CSCD）核心库等收录，为 CCF 推荐期刊；两次入选“中国科技期刊国际影响力提升计划”；入选“第4届中国国际化精品科技期刊”。

---

长按二维码关注Frontiers of Computer Science公众号