Making Computational Sense of Montague's Intensional Logic (Classic Reprint) - Hardcover

Jerry R. Hobbs

 
9780332823744: Making Computational Sense of Montague's Intensional Logic (Classic Reprint)

Synopsis

Discover how a complex theory becomes practical tools for language and AI.

This nonfiction work reframes Montague's intensional logic into approachable, computable ideas. It shows a simplified version of the theory, highlights its connection to procedural semantics, and explains how Lisp can express key meanings through patterns of function application. The text discusses context, knowledge representation, and how the method can support tasks like parsing and interpreting natural language with real computer programs.

  • See how a high-level semantic system can be translated into executable procedures.
  • Learn the three stages of transforming English strings into usable logic and back again.
  • Explore how context, world information, and temporal aspects influence meaning in computation.
  • Review concrete examples and the parallels between Montague’s ideas and Lisp programming.
Ideal for readers of linguistics, artificial intelligence, and computer science who want accessible insight into formal semantics and its applications in programming.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title