tailieunhanh - Báo cáo khoa học: "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. | A Dynamic Logic Formalisation of the Dialogue Gameboard Raquel Fernandez Department of Computer Science King s College London raquel@ 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. 1 Introduction A particular development that has received much attention in recent work on dialogue modelling is the use of information states to characterise the state of each dialogue participant s information as the conversation proceeds. The information state approach to dialogue as developed for instance in the TRINDI project . Bohlin et al. 1999 Traum et al. 1999 assumes that some aspects of dialogue management are best captured in terms of the relevant information that is available to each dialogue participant at each state of the conversation along with a full account of the possible update mechanisms that change this information. Unlike classical Artificial Intelligence approaches built on the basis of axiomatic theories of rational agency 1 information state accounts tend to avoid ee . Cohen and Levesque 1990 Grosz and Sidner 1990 Sadek 1991 . the use of logical frameworks and concentrate on dialogue-specific notions such as common ground discourse obligations and questions under discussion. In this paper we explore the possibility of using a modal logic paradigm namely Dynamic Logic Harel et al. 2000 originally conceived as a formal system to reason about computer programs to formalise information states and update processes on information states. In particular we present a dynamic logic formalisation of Ginzburg s dialogue gameboard DGB as introduced in .