The Grail Theorem Prover: Type Theory for Syntax and Semantics - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Chapitre D'ouvrage Année : 2017

The Grail Theorem Prover: Type Theory for Syntax and Semantics

Résumé

Type-logical grammars use a foundation of logic and type theory to model natural language. These grammars have been particularly successful giving an account of several well-known phenomena on the syntax-semantics interface, such as quantifier scope and its interaction with other phenomena. This chapter gives a high-level description of a family of theorem provers designed for grammar development in a variety of modern type-logical grammars. We discuss automated theorem proving for type-logical grammars from the perspective of proof nets, a graph-theoretic way to represent (partial) proofs during proof search.

Domaines

Informatique et langage [cs.CL]
Fichier principal
Vignette du fichier
chapter (1).pdf (237.22 Ko) Télécharger le fichier
chapter.pdf (237.22 Ko) Télécharger le fichier
exam.pdf (17.48 Ko) Télécharger le fichier
exam2.pdf (17.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Origine Fichiers produits par l'(les) auteur(s)
Origine Fichiers produits par l'(les) auteur(s)
Origine Fichiers produits par l'(les) auteur(s)

Richard Moot  : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01471644

Soumis le : lundi 20 février 2017-11:06:23

Dernière modification le : vendredi 24 mars 2023-14:53:03

Archivage à long terme le : dimanche 21 mai 2017-13:12:58

Télécharger pour visualiser

Dates et versions

lirmm-01471644 , version 1 (20-02-2017)

Identifiants

Citer

Richard Moot. The Grail Theorem Prover: Type Theory for Syntax and Semantics. Zhaohui Luo; Stergios Chatzikyriakidis. Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), Springer, pp.247-277, 2017, Part III, 978-3-319-50420-9. ⟨10.1007/978-3-319-50422-3_10⟩. ⟨lirmm-01471644⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS TEXTE LIRMM MIPS UNIV-MONTPELLIER
308 Consultations
933 Téléchargements

Altmetric

Partager

More