Scifaro

中文

游戏语义的始作其女

计算机科学中的逻辑 2011-04-15 v3 人工智能逻辑

作者: Giorgi Japaridze

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

本文提供了关于计算逻辑的概述——这是一种基于游戏语义构建的交互式计算任务和资源的逻辑。其中只有一个非概览技术章节，专注于证明关于计算逻辑语义的仪射逻辑的可靠性。该主题的综合在线资源可在 http://www.cis.upenn.edu/~giorgi/cl.html 找到

关键词

计算逻辑游戏语义仪射逻辑交互式计算逻辑语义

引用

@article{arxiv.cs/0507045,
  title  = {In the beginning was game semantics},
  author = {Giorgi Japaridze},
  journal= {arXiv preprint arXiv:cs/0507045},
  year   = {2011}
}

备注

To appear in: "Games: Unifying Logic, Language and Philosophy". O. Majer, A.-V. Pietarinen and T. Tulenheimo, eds. Springer Verlag, Berlin