Natural Language Processing and Coq : a case-study

International audience —This paper presents a case-study devoted to the formalization of sentence frames in the Coq system. We instanci-ate these frames for performing a semantic analysis of simple sentences. In particular, we rely on a hierarchy of types for type-checking the conceptual well-formed...

Full description

Bibliographic Details
Main Author: Jakubiec-Jamet, Line
Other Authors: Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)
Format: Conference Object
Language:English
Published: HAL CCSD 2017
Subjects:
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Iceland
Online Access:https://hal.science/hal-01792729
https://hal.science/hal-01792729/document
https://hal.science/hal-01792729/file/wil2017.pdf
Description
Summary:International audience —This paper presents a case-study devoted to the formalization of sentence frames in the Coq system. We instanci-ate these frames for performing a semantic analysis of simple sentences. In particular, we rely on a hierarchy of types for type-checking the conceptual well-formedness of sentences. To do that, we investigate how to exploit the particular features of the Coq type system in order to take advantage of this elegant unifying framework for encoding the syntax-semantics interface and we show how to improve our approach for combining it with linguistic resources.

Similar Items