Search: id:"swepub:oai:gup.ub.gu.se/10773" >
Formalizing the dia...
Formalizing the dialogue move engine
-
- Ljunglöf, Peter, 1971 (author)
- Gothenburg University,Göteborgs universitet,Institutionen för lingvistik,Department of Linguistics,University of Gothenburg,Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2000
- 2000
- English.
-
In: Götalog Workshop on Semantics and Pragmatics of Dialogue.
- Related links:
-
https://gup.ub.gu.se... (primary) (free)
-
show more...
-
https://gup.ub.gu.se...
-
https://research.cha...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Språkteknologi (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Language Technology (hsv//eng)
Publication and Content Type
- ref (subject category)
- kon (subject category)
To the university's database