Abstract
In this paper we revisit the topic of dialogue grammars at the illocutionary force level and present a new approach to the formal modelling, evaluation and comparison of these models based on recursive transition networks. Through the use of appropriate tools such finite-state grammars can be formally analysed and validated against empirically collected corpora. To illustrate our approach we show: (a) the construction of human-human dialogue grammars on the basis of recently collected natural language dialogues in joint-task situations; and (b) the evaluation and comparison of these dialogue grammars using formal methods. This work provides a novel basis for developing and evaluating dialogue grammars as well as for engineering corpus-tailored dialogue managers which can be verified for adequacy.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alexandersson, J., Heisterkamp, P.: Some Notes on the complexity of Dialogues. In: Dybkjaer, L., Hasida, K., Traum, D. (eds.) Proceedings of the ACL 2000 workshop 1st Workshop on Discourse and Dialogue, Hong Kong (2000)
Anderson, A.H., Bader, M., Bard, E., Boyle, E., Doherty, G., Garrod, S., Isard, S., Kowtko, J., McAllister, J., Miller, J., Sotillo, C., Thompson, H., Weinert, R.: The HCRC Map task Corpus. Language and Speech 34(4), 351–366 (1991)
Austin, J.L.: How to do things with words. Harvard University Press (1962)
Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated verification of multi-agent programs. In: 23rd International Conference on Automated Software Engineering, pp. 69–78. IEEE, Los Alamitos (2008)
Eggins, S.: An Introduction to Systemic Functional Linguistics, 2nd edn. Continuum (2004)
FS00. Failures Divergence Refinement FDR2 Preliminary Manual. Formal Systems (Europe) Ltd. (2001)
Geertzen, J.: Dialogue Act Prediction Using Stochastic Context-Free Grammar Induction. In: Proceedings of the EACL 2009 Workshop on Computational Linguistic Aspects of Grammatical Inference, Athens, Greece, March 2009, pp. 7–15. Association for Computational Linguistics (2009)
Grosz, B.J., Sidner, C.L.: Attention, Intentions and the Structure of Discourse. Computational Linguistics 12(3), 175–204 (1986)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Houghton, G.: The Production of Language in Discourse: A Computational Model. PhD thesis, University of Sussex (1986)
Kita, K., Fukui, Y., Nagata, M., Morimoto, T.: Automatic Acquisition of Probabilistic Dialogue Models. In: Proceedings of ICSLP 1996, Philadelphia, PA, October 1996, vol. 1, pp. 196–199 (1996)
Lewin, I., Lane, M.: A Formal Model of Conversational Game Theory. In: Fourth Workshop on the Semantics & Pragmantics of Dialogue, Gothenburg, Sweeden (2000)
Martin, J.R.: English text: systems and structure. Benjamins, Amsterdam (1992)
McTear, M.F.: Spoken dialogue technology: Enabling the conversational user interface. ACM Computing Surveys (CSUR) 34(1), 90–169 (2002)
Parsons, S., Wooldridge, M., Amgound, L.: Properties and complexity of formal inter-agent dialogues. Journal of Logic and Computation 13(3), 347–376 (2003)
Perrault, C.R., Allen, J.F.: A plan-based analysis of indirect speech acts. American Journal of Computational Linguistics 6(3-4), 167–182 (1980)
Poesio, M., Mikheev, A.: The predictive power of game structure in dialogue act recognition: Experimental results using maximum entropy estimation. In: Proceedings of the International Conference on Speech and Language Processing (ICSLP 1998), Australia (1998)
Power, R.: The organisation of purposeful dialogues. Linguistics 17, 107–151 (1979)
Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)
Searle, J.: Speech Acts. Cambridge Univesity Press, Cambridge (1969)
Shi, H., Ross, R.J., Bateman, J.: Formalising control in robust spoken dialogue systems. In: Aichernig, B.K., Beckert, B. (eds.) Proceedings of Software Engineering & Formal Methods 2005, pp. 332–341. IEEE Computer Society, Los Alamitos (2005)
Sitter, S., Stein, A.: Modeling Information-Seeking Dialogues: The Conversational Roles Model. Review of Information Science 1(1) (1996)
Traum, D.R., Allen, J.F.: Discourse obligations in dialogue processing. In: 32nd. Annual Meeting of the Association for Computational Linguistics, New Mexico State University, Las Cruces, New Mexico, pp. 1–8 (1994)
Walton, C.D.: Model checking agent dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 132–147. Springer, Heidelberg (2005)
Walton, C.D.: Verifiable agent dialogues. Journal of Applied Logic 5(2), 197–213 (2007)
Winograd, T., Flores, F.: Understanding computers and cognition: a new foundation for design. Ablex, Norwood (1986)
Xu, W., Xu, B., Huang, T., Xia, H.: Bridging the gap between dialogue management and dialogue models. In: Proceedings of the Third SIGdial Workshop on Discourse and Dialogue, Philadelphia, USA, pp. 201–210 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shi, H., Ross, R.J., Tenbrink, T., Bateman, J. (2010). Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis. In: Gelbukh, A. (eds) Computational Linguistics and Intelligent Text Processing. CICLing 2010. Lecture Notes in Computer Science, vol 6008. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12116-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-12116-6_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12115-9
Online ISBN: 978-3-642-12116-6
eBook Packages: Computer ScienceComputer Science (R0)