hal-00607689, version 1
Logic, categories and natural language semantics
Language and linguistic compass 7, 3 (2011) http://onlinelibrary.wiley.com/journal/10.1111/%28ISSN%291749-818X
Abstract: We present in here recent trends in computational semantics of natural language using type theory. Such a view of semantics allows researchers to address lexical issues within a computational and compositional framework, mainly because of the natural relation between type theory and categorial grammar, logic and the theory of categories. As in Montague, there is a type theory for meaning assembly, close to natural language syntax, yielding semantic readings as formulae of a much richer language expressing. By sophisticating the type system for meaning assembly one his able to also handle meaning transfers of lexical pragmatics (like sense coercions) as well as subtle constructs of compositional semantics (like quantification). We first describe our approach where meaning are assembled using second order typed lambda calculus, and then compare it to the approach of Asher and Luo using slightly different type systems and organisations.
- 1:
- CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II
- 2:
- INRIA – CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – Université Michel de Montaigne - Bordeaux III – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
- Domain : Computer Science/Computation and Language
Humanities and Social Sciences/LinguisticsMathematics/Logic
- hal-00607689, version 1
- http://hal.archives-ouvertes.fr/hal-00607689
- oai:hal.archives-ouvertes.fr:hal-00607689
- From:
- Submitted on: Sunday, 10 July 2011 21:21:05
- Updated on: Tuesday, 20 November 2012 17:28:49
Export