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

Angebote / Angebote:

Excerpt from Making Computational Sense of Montague's Intensional Logic Montague's difficult notation and complex model theory have tended to obscure potential insights for the computer scientist studying Natural Language. Despite his strict insistence on an abstract model-theoretic interpretation for his formalism, we feel that Montague's work can be related to procedural semantics in a fairly direct way. A simplified version of Montague's formalism is presented, and its key concepts are explicated in terms of computational analogues. Several examples are presented within Montague's formalism but with a view toward developing a procedural interpretation. We provide a natural translation from intensional logic into LISP. This allows one to express the composition of meaning in much the way Montague does, using subtle patterns of functional application to distribute the meanings of individual words throughout a sentence. The paper discusses some of the insights this research has yielded on knowledge representation and suggests some new ways of looking at intensionality, context, and expectation. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully, any imperfections that remain are intentionally left to preserve the state of such historical works.