An Agent-Based Architecture for Dialogue Systems

  • Mark Buckley
  • Christoph Benzmüller
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4378)


Research in dialogue systems has been moving towards reusable and adaptable architectures for managing dialogue execution and integrating heterogeneous subsystems. In this paper we present a formalisation of Admp, an agent-based architecture which supports the development of dialogue applications. It features a central data structure shared between software agents, it allows the integration of external systems, and it includes a meta-level in which heuristic control can be embedded.


Information State Software Agent Dialogue System Linguistic Meaning Proof Step 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Traum, D., Larsson, S.: The information state approach to dialogue management. In: van Kuppevelt, J., Smith, R. (eds.) Current and new directions in discourse and dialogue, Kluwer Academic Publishers, Dordrecht (2003)Google Scholar
  2. 2.
    Buckley, M., Benzmüller, C.: A Dialogue Manager supporting Natural Language Tutorial Dialogue on Proofs. Electronic Notes in Theoretical Computer Science, To appear (2006)Google Scholar
  3. 3.
    Benzmüller, C., Sorge, V.: Ω – An open approach at combining Interactive and Automated Theorem Proving. In: Kerber, M., Kohlhase, M. (eds.) 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus-2000), A.K. Peters, Wellesley (2000)Google Scholar
  4. 4.
    Bos, J., et al.: Dipper: Description and formalisation of an information-state update dialogue system architecture. In: Proceedings of the 4th SIGdial Workshop on Discourse and Dialogue, Sapporo, Japan (2003)Google Scholar
  5. 5.
    Horacek, H., Wolska, M.: Interpreting Semi-Formal Utterances in Dialogs about Mathematical Proofs. Data and Knowledge Engineering Journal 58(1), 90–106 (2006)CrossRefGoogle Scholar
  6. 6.
    Benzmüller, C., Vo, Q.: Mathematical domain reasoning tasks in natural language tutorial dialog on proofs. In: Veloso, M., Kambhampati, S. (eds.) Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, Pennsylvania, USA, pp. 516–522. AAAI Press, Menlo Park (2005)Google Scholar
  7. 7.
    Tsovaltzi, D., Fiedler, A., Horacek, H.: A Multi-dimensional Taxonomy for Automating Hinting. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 772–781. Springer, Heidelberg (2004)Google Scholar
  8. 8.
    Benzmüller, C., et al.: A Wizard-of-Oz experiment for tutorial dialogues in mathematics. In: Proceedings of the AIED Workshop on Advanced Technologies for Mathematics Education, Sydney, Australia, pp. 471–481 (2003)Google Scholar
  9. 9.
    Allen, J., Core, M.: Draft of DAMSL: Dialogue act markup in several layers. DRI: Discourse Research Initiative, University of Pennsylvania (1997)Google Scholar
  10. 10.
    Fliedner, G., Bobbert, D.: A framework for information-state based dialogue (demo abstract). In: Proceedings of the 7th workshop on the semantics and pragmatics of dialogue (DiaBruck), Saarbrücken (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Mark Buckley
    • 1
  • Christoph Benzmüller
    • 1
  1. 1.Dept. of Computer Science, Saarland University 

Personalised recommendations