A dynamic logic formalisation of the dialogue gameboard

Authors:
Raquel Fernández
Affiliations:
King's College London
Venue:
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 2
Year:
2003

Citing 3
Cited 0

Logics of time and computation

Logics of time and computation
Dynamic Logic

Dynamic Logic
Discourse obligations in dialogue processing

ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.