Formalizing the dialogue move engine
Författare och institution:
Peter Ljunglöf (Institutionen för datavetenskap, Chalmers & Institutionen för lingvistik)
Publicerad i:
Götalog Workshop on Semantics and Pragmatics of Dialogue,
Publikationstyp:
Konferensbidrag, refereegranskat
Publiceringsår:
2000
Språk:
engelska
Fulltextlänk (lokalt arkiv):
Sammanfattning (abstract):
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.
Ämne (baseras på Högskoleverkets indelning av forskningsämnen):
NATURVETENSKAP ->
Data- och informationsvetenskap ->
Språkteknologi (språkvetenskaplig databehandling) ->
Datorlingvistik
Data- och informationsvetenskap ->
Språkteknologi (språkvetenskaplig databehandling) ->
Datorlingvistik
Postens nummer:
10773
Posten skapad:
2006-09-28 10:24
Posten ändrad:
2013-01-15 13:57