Semantic Inference in the Human-Machine Communication

  • Leo Hadacz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1692)


One of the recent trends in computer science is to create information retrieval systems which will be able to communicate with the user in natural language. Such a system requires certain abilities, especially semantic analysis of the natural language and semantic inference.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Pavel Tichý: The Foundations of Frege’s Logic, de Gruyter, Berlin, New York, 1988.zbMATHGoogle Scholar
  2. 2.
    Pavel Tichý: Foundations of Partial Type Theory, Reports on Mathematical Logic 14, 1982, pp. 52–72.Google Scholar
  3. 3.
    Leo Hadacz: Using TIL for Semantic Analysis of Text, Proceedings of TSD 1998, Brno, 1998.Google Scholar
  4. 4.
    Leo Hadacz: TIL a inference (TIL and Inference), manuscript of PhD thesis.Google Scholar
  5. 5.
    Tomáš Chrz: Reprezentace znalostí při komunikaci člověk-stroj (The Knowledge Representation in the Human-Machine Communication), PhD thesis, Praha, 1984.Google Scholar
  6. 6.
    Karel Pala: Semantic Annotation of (Czech) Corpus Texts, Proceedings of TSD 1999, Pilsen, 1999Google Scholar
  7. 7.
    Miller G. A. et al.: Five papers on WN, electronical revised version, August 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Leo Hadacz
    • 1
  1. 1.Faculty of ScienceMasaryk UniversityBrnoCzech Republic

Personalised recommendations