Interpretation of Implicit Parallel Structures. A Case Study with “vice-versa”

  • Helmut Horacek
  • Magdalena Wolska
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3513)


Successful participation in task-oriented, inference-rich dialogs requires, among other things, understanding of specifications implicitly conveyed through the exploitation of parallel structures. Several linguistic operators create specifications of this kind, including “the other way (a)round”, “vice-versa”, and “analogously”; unfortunately, automatic reconstruction of the intended specification is difficult due to the inherent dependence on given context and domain. We address this problem by a well-informed reasoning process. The techniques applied include building deep semantic representations, application of categories of patterns underlying a formal reconstruction, and using pragmatically-motivated and domain-justified preferences. Our approach is not only suitable for improving the understanding in everyday discourse, but it specifically aims at extending capabilities in a tutorial dialog system, where stressing generalities and analogies is a major concern.


Parallel Structure Linguistic Analysis Successful Participation Everyday Discourse Tutorial Dialogue 
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.
    Benzmüller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayová, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B., Wolska, M.: Tutorial Dialogs on Mathematical Proofs. In: IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pp. 12–22 (2003)Google Scholar
  2. 2.
    Benzmüller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayová, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B., Wolska, M.: A Wizard-of-Oz Experiment for Tutorial Dialogues in Mathematics. In: AIED2003 — Supplementary Proceedings of the 11th International Conference on Artificial Intelligence in Education, Sydney, Australia, pp. 471–481 (2003)Google Scholar
  3. 3.
  4. 4.
    Hajičová, E., Panevová, J., Sgall, P.: A Manual for Tectogrammatical Tagging of the Prague Dependency Treebank. TR-2000-09, Charles University, Prague (2000)Google Scholar
  5. 5.
    Horacek, H., Wolska, M.: Interpreting Semi-Formal Utterances in Dialogs about Mathematical Proofs. In: Meziane, F., Métais, E. (eds.) NLDB 2004. LNCS, vol. 3136, pp. 26–38. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  6. 6.
  7. 7.
    Sgall, P., Hajičová, E., Panevová, J.: The Meaning of the Sentence in its Semantic and Pragmatic Aspects. Reidel Publishing Company, Dordrecht (1986)Google Scholar
  8. 8.
    Siekmann, J., et al.: Proof Development with Ωmega. In: Proceedings of the 18th Conference on Automated Deduction, Copenhagen, Denmark, pp. 144–149 (2002)Google Scholar
  9. 9.
    Wolska, M., Kruijff-Korbayová, I.: Analysis of Mixed Natural and Symbolic Language Input in Mathematical Dialogs. In: Proc. of the 42nd Annual Meeting of the Association for Computational Linguistics, Barcelona, Spain, pp. 25–32 (2004)Google Scholar
  10. 10.
    Wolska, M., Vo, B.Q., Tsovaltzi, D., Kruijff-Korbayová, I., Karagjosova, E., Horacek, H., Gabsdil, M., Fiedler, A., Benzmüller, C.: An annotated corpus of tutorial dialogs on mathematical theorem proving. In: Proc. of 4th International Conference on Language Resources and Evaluation, Lisbon, pp. 1007–1010 (2004)Google Scholar
  11. 11.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Helmut Horacek
    • 1
  • Magdalena Wolska
    • 2
  1. 1.Fachrichtung InformatikUniversität des SaarlandesSaarbrückenGermany
  2. 2.Fachrichtung ComputerlinguistikUniversität des SaarlandesSaarbrückenGermany

Personalised recommendations