Game Semantics in String Diagrams

Author

Melliès, Paul-André

Author_Institution

Lab. PPS, Univ. Paris Diderot, Paris, France

fYear

2012

fDate

25-28 June 2012

Firstpage

481

Lastpage

490

Abstract

A dialogue category is a symmetric monoidal category equipped with a notion of tensorial negation. We establish that the free dialogue category is a category of dialogue games and total innocent strategies. The connection clarifies the algebraic and logical nature of dialogue games, and their intrinsic connection to linear continuations. The proof of the statement is based on an algebraic presentation of dialogue categories inspired by knot theory, and a factorization theorem established by rewriting techniques.

Keywords

computational linguistics; intensity measurement; interactive systems; rewriting systems; algebraic nature; algebraic presentation; dialogue categories; dialogue games; factorization theorem; free dialogue category; game semantics; knot theory; linear continuations; logical nature; rewriting techniques; string diagrams; symmetric monoidal category; tensorial negation; total innocent strategies; Coherence; Games; Generators; Semantics; Syntactics; Tensile stress; Vectors; 2-dimensional algebra; Dialogue games; coherence theorems; innocent strategies; linear continuations; ribbon categories; string diagrams;

fLanguage

English

Publisher

ieee

Conference_Titel

Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on

Conference_Location

Dubrovnik

ISSN

1043-6871

Print_ISBN

978-1-4673-2263-8

Type

conf

DOI

10.1109/LICS.2012.58

Filename

6280467