CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Formalizing the dialogue move engine

Peter Ljunglöf (Institutionen för datavetenskap ; Institutionen för lingvistik)
Götalog Workshop on Semantics and Pragmatics of Dialogue (2000)
[Konferensbidrag, refereegranskat]

In this paper we present a calculus for reasoning mathematically about rule-based dialogue systems – so called dialogue move engines developed in the TRINDI project. The calculus is similar to term rewriting systems and dynamic logic. It is defined using monads, which are used for describing programming languages, and in functional programming to capture computations with side-effects.

Denna post skapades 2006-09-28. Senast ändrad 2013-01-15.
CPL Pubid: 10773


Läs direkt!

Lokal fulltext (fritt tillgänglig)

Institutioner (Chalmers)

Institutionen för datavetenskap (1993-2001)
Institutionen för lingvistik (1954-2008)



Chalmers infrastruktur