Computing natural language : [an outgrowth of the Fourth CSLI Workshop on Logic, Language, and Computation, held at the Center for the Study of Language and Information (CSLI) at Stanford University on June 2-4, 1995

This Book Pursues The Recent Upsurge Of Research In The Interface Of Logic, Language And Computation, With Applications To Artificial Intelligence And Machine Learning. It Contains A Variety Of Contributions To The Logical And Computational Analysis Of Natural Language. A Wide Range Of Logical And Computational Tools Are Employed And Applied To Such Varied Areas As Context-dependency, Linguistic Discourse, And Formal Grammar. The Papers In This Volume Cover: Context-dependency From Philosophical, Computational, And Logical Points Of View; A Logical Framework For Combining Dynamic Discourse Semantics And Preferential Reasoning In Ai; Negative Polarity Items In Connection With Affective Predicates; Head-driven Phrase Structure Grammar From A Perspective Of Type Theory And Category Theory; And An Axiomatic Theory Of Machine Learning Of Natural Language With Applications To Physics Word Problems. Preface -- Indexicals, Contexts, And Unarticulated Constituents -- Formalizing Context (expanded Notes) -- Changing Contexts And Shifting Assertions -- Discourse Preferences In Dynamic Logic -- Polarity, Predicates And Monotonicity -- Machine Learning Of Physics Word Problems. Edited By Atocha Aliseda, Rob Van Glabbeek, And Dag Westerståhl. This Vol. Is An Outgrowth Of The Fourth Csli Workshop On Logic, Language, And Computation, Held At The Center For The Study Of Language And Information (csli) At Stanford University, June 2-4, 1995. Center For The Study Of Language And Information. Includes Bibliographical References And Index.