Skip to main content
SpringerLink
Log in

Natural and formal language processing

  • Conference paper
  • First Online:
Logic Programming in Action (LPSS 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 636))

Included in the following conference series:

Abstract

Natural Language Processing, one of the most important branches of Artificial Intelligence, has close links with Logic Programming. It is one of the two roots from which Logic Programming developed, and still shares important core concepts with it (e.g. unification). The concepts and techniques used for two of its main tasks, viz. syntax analysis and semantic analysis, are illustrated with concrete examples. For syntax analysis, it is the notations of Definite Clause Grammars and Extraposition Grammars, for semantic analysis, the concepts of Montague Grammar and Generalized Quantifier Theory. Some of these techniques can also be applied to the analysis of formal languages.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature

  1. Barwise, J. and Cooper, R., “Generalized Quantifiers and Natural Language,” Linguistics and Philosophy, no. 4, pp. 159–219, 1981.

    Google Scholar 

  2. Clocksin, W.F. and Mellish, C.S., Programming in Prolog, Springer, Berlin etc., 1984.

    Google Scholar 

  3. Colmerauer, Alain, “An interesting subset of natural language,” in: Logic Programming, ed. Keith L. Clark and Sten-Ake Tarnlund, pp. 45–66, Academic Press, London, 1982.

    Google Scholar 

  4. Gaerdenfors, P. ed., Generalized Quantifiers, Studies in Linguistics and Philosophy, 31, Reidel, Dordrecht/Boston/Lancaster/Tokyo, 1987.

    Google Scholar 

  5. Gal, Annie, Lapalme, Guy, Saint-Dizier, Patrick, and Somers, Harry, Prolog for Natural Language Processing, Wiley, Chichester etc., 1991.

    Google Scholar 

  6. Gazdar, G. and Mellish, Ch., Natural Language Processing in Prolog, Addison-Wesley, Wokingham etc., 1989.

    Google Scholar 

  7. McTear, Michael, The Articulate Computer, Blackwell, Oxford, 1987.

    Google Scholar 

  8. Pereira, F.C.N., “Logic for Natural Language Analysis,” SRI International Technical Note 275, January 1983.

    Google Scholar 

  9. Pereira, F.C.N. and Shieber, S.M., Prolog and Natural Language Analysis, CSLI Lecture Notes, 10, Center for the Study of Language and Information, Menlo Park/Stanford/Palo Alto, 1987.

    Google Scholar 

  10. Shapiro, Stuart C., Encyclopedia of Artificial Intelligence, John Wiley, 1987.

    Google Scholar 

  11. Smith, George W., Computers and Human Language, Oxford University Press, New York, 1991.

    Google Scholar 

  12. Warren, David S., “Using lambda-calculus to represent meanings in logic grammars,” ACL Proceedings, 21st Annual Meeting, pp. 51–56, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ISSCO, University of Geneva, Switzerland

    Michael Hess

Authors
  1. Michael Hess
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

G. Comyn N. E. Fuchs M. J. Ratcliffe

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hess, M. (1992). Natural and formal language processing. In: Comyn, G., Fuchs, N.E., Ratcliffe, M.J. (eds) Logic Programming in Action. LPSS 1992. Lecture Notes in Computer Science, vol 636. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55930-2_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-55930-2_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55930-6

  • Online ISBN: 978-3-540-47312-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation