Semantics and Predicate Logic

  • Pierre M. Nugues
Part of the Cognitive Technologies book series (COGTECH)


Semantics deals with the meaning of words, phrases, and sentences. It is a wide and open subject intricately interwoven with the structure of the mind. The potential domain of semantics is immense and covers many of the human cognitive activities. It has naturally spurred a great number of theories. From the philosophers of ancient and medieval times, to logicians of the nineteenth century, psychologists and linguists of the twentieth century, and now computer scientists, a huge effort has been made on this subject.


Noun Phrase Resource Description Framework Semantic Representation Relative Clause Logic Quantifier 
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.


  1. Agnäs, M.-S., Alshawi, H., Bretan, I., Carter, D., Ceder, K., Collins, M., Crouch, R., Digalakis, V., Ekholm, B., Gambäck, B., Kaja, J., Karlgren, J., Lyberg, B., Price, P., Pulman, S., Rayner, M., Samuelsson, C., & Svensson, T. (1994). Spoken language translator, first-year report. Research report R94:03, SICS, Kista.Google Scholar
  2. Allemang, D., & Hendler, J. (2011). Semantic web for the working ontologist: Effective modeling in RDFS and OWL (2nd ed.). Waltham: Morgan Kaufmann.Google Scholar
  3. Alshawi, H. (Ed.). (1992). The core language engine. Cambridge, MA: MIT.Google Scholar
  4. Auer, S., Bizer, C., Kobilarov, G., Lehmann, J., Cyganiak, R., & Ives, Z. (2007). DBpedia: A nucleus for a web of open data. In The semantic web, proceedings of 6th international semantic web conference, 2nd Asian semantic web conference (ISWC 2007 + ASWC 2007), Busan (pp. 722–735). Springer.Google Scholar
  5. Bizer, C., Lehmann, J., Kobilarov, G., Auer, S., Becker, C., Cyganiak, R., & Hellmann, S. (2009). DBpedia—a crystallization point for the web of data. Journal of Web Semantics, 7, 154–165.CrossRefGoogle Scholar
  6. Blackburn, P., & Bos, J. (2005). Representation and inference for natural language. A first course in computational semantics. Stanford: CSLI Publications.Google Scholar
  7. Burke, E., & Foxley, E. (1996). Logic and its applications. London: Prentice Hall.Google Scholar
  8. Colmerauer, A. (1970). Les systèmes-Q ou un formalisme pour analyser et synthétiser des phrases sur ordinateur. Publication interne 43, Département d’informatique, Université de Montréal.Google Scholar
  9. Colmerauer, A. (1978). Metamorphosis grammars. In L. Bolc (Ed.), Natural language communication with computers (Lecture notes in computer science, Vol. 63, pp. 133–189). Berlin/ Heidelberg/New York: Springer.Google Scholar
  10. Colmerauer, A. (1982). An interesting subset of natural language. In K. L. Clark & S. Tärnlund (Eds.), Logic programming (pp. 45–66). London: Academic.Google Scholar
  11. Covington, M. A. (1994b). Natural language processing for Prolog programmers. Upper Saddle River: Prentice Hall.zbMATHGoogle Scholar
  12. Frege, G. (1879). Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Verlag von Louis Nebert.Google Scholar
  13. Gal, A., Lapalme, G., & Saint-Dizier, P. (1989). Prolog pour l’analyse automatique du langage naturel. Paris: Eyrolles.Google Scholar
  14. Gal, A., Lapalme, G., Saint-Dizier, P., & Somers, H. (1991). Prolog for natural language processing. Chichester: Wiley.Google Scholar
  15. Godart-Wendling, B., Ildefonse, F., Pariente, J.-C., & Rosier, I. (1998). Penser le principe de compositionnalité: éléments de réflexion historiques et épistémologiques. Traitement automatique des langues, 39(1), 9–34.Google Scholar
  16. Habermas, J. (1988). Nachmetaphysisches Denken. Frankfurt am Main: Suhrkamp.Google Scholar
  17. Herbrand, J. (1930). Recherches sur la théorie de la démonstration. Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III Sciences mathématiques et physiques, 33.Google Scholar
  18. Jacob, A. (Ed.). (1989). Encyclopédie philosophique universelle. Paris: Presses Universitaires de France.Google Scholar
  19. Montague, R. M. (1974). Formal philosophy: Selected papers. New Haven: Yale University Press.Google Scholar
  20. Morton, A. (2003). A guide through the theory of knowledge (3rd ed.). Malden: Blackwell.Google Scholar
  21. Peirce, C. S. (1885). On the algebra of logic: A contribution to the philosophy of notation. The American Journal of Mathematics, 7(2), 180–202.CrossRefzbMATHMathSciNetGoogle Scholar
  22. Peirce, C. S. (1897). The logic of relatives. The Monist, 7(2), 161–217.CrossRefGoogle Scholar
  23. Pereira, F. C. N., & Shieber, S. M. (1987). Prolog and natural-language analysis (CSLI lecture notes, Vol. 10). Stanford: Center for the Study of Language and Information.Google Scholar
  24. Rayner, M., Bretan, I., Wirén, M., Rydin, S., & Beshai, E. (1996). Composition of transfer rules in a multi-lingual MT system. In Proceedings of the workshop on future issues for multilingual text processing, Cairns.Google Scholar
  25. Rayner, M., & Carter, D. (1995). The spoken language translator project. In Proceedings of the language engineering convention, London.Google Scholar
  26. Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1), 23–41.CrossRefzbMATHGoogle Scholar
  27. Singhal, A. (2012). Introducing the knowledge graph: Things, not strings. Official Google Blog. Retrieved November 7, 2013, from
  28. Sterling, L., & Shapiro, E. (1994). The art of Prolog. Advanced programming techniques (2nd ed.). Cambridge, MA: MIT.zbMATHGoogle Scholar
  29. Suchanek, F. M., Kasneci, G., & Weikum, G. (2007). Yago: A core of semantic knowledge. In Proceedings of the 16th international conference on World Wide Web, Banff (pp. 697–706). ACM.Google Scholar
  30. Taylor, K. (1998). Truth and meaning. An introduction to the philosophy of language. Oxford: Blackwell.Google Scholar
  31. van Benthem, J., & Ter Meulen, A. (Eds.). (1997). Handbook of logic and language. Amsterdam: North-Holland.zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Pierre M. Nugues
    • 1
  1. 1.Department of Computer ScienceLund UniversityLundSweden

Personalised recommendations