Formalizing the dialogue move engine
Paper i proceeding, 2000

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.

Författare

Peter Ljunglöf

Göteborgs universitet

Institutionen för datavetenskap

Götalog Workshop on Semantics and Pragmatics of Dialogue

Mer information

Senast uppdaterat

2020-03-02