Academia.eduAcademia.edu

A foundation for semantic interpretation

1983, Proceedings of the 21st annual meeting on Association …

Abstract

Traditionally, translation from the parse tree representing a sentence to a semantic representation (such as frames or procedural semantics) has a/ways been the most ad hoc part of natural language understand-•ng (NLU) systems. However, recent advances in linguistics, most notably the system of formal semantics known as Montague semantics, suggest ways of putting NLU semantics onto a cleaner and firmer foundation. We are using a Montague-inspired approach to semantics in an integrated NL U and pro blem-solving system that we are building. Like Montague's, our semantics are compositional by design and strongly typed, with semantic rules in one-to-one correspondence with the meaning-affecting rules of a Marcus-style parser. We have replaced Montague's semantic objects, functors and truth conditions, with the elements of the frame language Frail, and added a word sense and case slot disambiguation system. The result is a foundation for semantic interpretation that we believe to be superior ~o previous approaches.

Key takeaways

  • This approach is still the predominant one today, and even though it has been refined over the years, semantic interpretation remains perhaps the least understood and most ad hoc area of natural language understanding (NLU).I However, recent advances in linguistics, most notably Montague semantics (Montague 1973;Dowry, Wall and Peters 1981), suggest ways of putting NLU semantic interpretation on a cleaner and firmer foundation than it now is.
  • Montague's semantic rules correspond to what we have been calling semantic interpretation.
  • We do, however, retain a strong typing upon our semantic objects, that is, each syntactic category has an associated semantic type.
  • To answer such questions, we have a Semantic Enquiry Desk r, hat operates upon the same semantic objects as the semantic interpreter.
  • We have described a new approach to semantic interpretation, one suggested by the semantic formalism of Richard Montague.