A Dynamic Logic Formalisation of the Dialogue Gameboard

This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we present a formalisation of the dialogue gameboard introduced by Jonathan Ginzburg. From a more general point of view, we show that DL is particularly well suited to develop rigorous formal foundations for an approach to dialogue dynamics based on information state updates.

• Type: Conference
• Year: 2003
• Where: EACL
• Authors: Raquel Fernández
• Keywords: Dialogue Gameboard, EACL 2003, Information State, Natural Language Processing, Rigorous Formal Foundations