Formalizing the dialogue move engine
Peter Ljunglöf · Chalmers Publication Library (Chalmers University of Technology) · 2000
In this paper we present a calculus for reasoning mathematically about rule-based dialogue systems so called dialogue move enginesdeveloped in the TRINDI project. The calculus is similar to term rewriting systems and dynamic logic. It is defined using monads, whichare used for describing programming languages, and in functional programming to capture computations with side-effects.