Table of contents for Representation and inference for natural language : a first course in computational semantics / by Patrick Blackburn and Johan Bos.

Bibliographic record and links to related information available from the Library of Congress catalog.

Note: Contents data are machine generated based on pre-publication provided by the publisher. Contents may have variations from the printed book or be incomplete or contain other coding.


Counter
Preface vii
Introduction xi
1 First-Order Logic 1
 1.1 First-Order Logic 1
 1.2 Three Inference Tasks 19
 1.3 A First-Order Model Checker 29
 1.4 First-Order Logic and Natural Language 44
2 Lambda Calculus 55
 2.1 Compositionality 55
 2.2 Two Experiments 59
 2.3 The Lambda Calculus 66
 2.4 Implementing Lambda Calculus 73
 2.5 Grammar Engineering 86
3 Underspecified Representations 105
 3.1 Scope Ambiguities 105
 3.2 Montague's Approach 109
 3.3 Storage Methods 112
 3.4 Hole Semantics 127
4 Propositional Inference 155
 4.1 From Models to Proofs 155
 4.2 Propositional Tableaus 158
 4.3 Implementing Propositional Tableau 168
 4.4 Propositional Resolution 174
 4.5 Implementing Propositional Resolution 185
 4.6 Theoretical Remarks 191
5 First-Order Inference 203
 5.1 A First-Order Tableau System 204
 5.2 Unification 209
 5.3 Free-Variable Tableaus 215
 5.4 Implementing Free-Variable Tableaus 219
 5.5 First-Order Resolution 225
 5.6 Implementing First-Order Resolution 231
 5.7 Off-the-Shelf Theorem Provers 235
 5.8 Model Building 242
6 Putting It All Together 259
 6.1 Baby Curt 259
 6.2 Rugrat Curt 264
 6.3 Clever Curt 267
 6.4 Sensitive Curt 272
 6.5 Scrupulous Curt 277
 6.6 Knowledgeable Curt 281
 6.7 Helpful Curt 293
A Running the Software -- FAQ 309
B Propositional Logic 311
C Automated Reasoning for First-Order Logic 315
D Notation 319
References 321
Author Index 335
Prolog Index 339
Subject Index 343

Library of Congress Subject Headings for this publication:

Semantics -- Data processing.