Logical Computational Linguistics

TL;DR

This book advocates for logical computational linguistics, emphasizing a logical semantic interface and the potential for perfect syntactic and semantic processing in critical NLP applications.

Contribution

It compiles over twenty years of research on type logical grammar, introducing new ideas to promote logical over statistical NLP methods.

Findings

Logical dependencies maintain full confidence end to end.

Chains of statistical dependencies tend to zero confidence.

Aiming for perfect processing in life-critical NLP applications.

Abstract

In this book we promote logical computational linguistics as opposed to statistical computational linguistics. In particular, we provide a logical semantic interface. This book assembles more than twenty years of research work on type logical grammar, and adds new ideas and material. Chains of statistical dependencies of less than one hundred per cent confidence tend monotonically to zero. Chains of logical dependencies of any length maintain one hundred per cent confidence end to end. We aspire to enable perfect syntactic and semantic processing in life-critical NLP applications.