Do model-theoretic grammars have fundamental advantages over proof-theoretic grammars?

Richard Moot

Back

Do model-theoretic grammars have fundamental advantages over proof-theoretic grammars?

Working paper

Open access

Do model-theoretic grammars have fundamental advantages over proof-theoretic grammars?

Richard Moot

Abstract

Model theoretic syntax

Lambek calculus

Proof theory

F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES

I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing

We investigate claims by Pullum and colleagues that model-theoretic grammars have fundamental advantages over proof-theoretic grammars. Upon examination, we find these claims are unfounded: the critiques of proof-theoretic grammars apply with equal force to model-theoretic grammars.

Files and links (1)

url

Find in HALView

Metrics

1 Record Views

Details

Title: Do model-theoretic grammars have fundamental advantages over proof-theoretic grammars?
Creators - without role: Richard Moot - Exploration et exploitation de données textuelles
Identifiers: 9944798709311
Academic Unit: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Language: English
Resource Type: Working paper
Local Fields: lirmm-04285668