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...
Main Author: | |
---|---|
Other Authors: | , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2017
|
Subjects: | |
Online Access: | https://hal.archives-ouvertes.fr/hal-01792729 https://hal.archives-ouvertes.fr/hal-01792729/document https://hal.archives-ouvertes.fr/hal-01792729/file/wil2017.pdf |
id |
ftunivnantes:oai:HAL:hal-01792729v1 |
---|---|
record_format |
openpolar |
spelling |
ftunivnantes:oai:HAL:hal-01792729v1 2023-05-15T16:48:37+02:00 Natural Language Processing and Coq : a case-study Jakubiec-Jamet, Line Laboratoire d'Informatique et Systèmes (LIS) Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS) Reykjavik, Iceland 2017-06-19 https://hal.archives-ouvertes.fr/hal-01792729 https://hal.archives-ouvertes.fr/hal-01792729/document https://hal.archives-ouvertes.fr/hal-01792729/file/wil2017.pdf en eng HAL CCSD hal-01792729 https://hal.archives-ouvertes.fr/hal-01792729 https://hal.archives-ouvertes.fr/hal-01792729/document https://hal.archives-ouvertes.fr/hal-01792729/file/wil2017.pdf info:eu-repo/semantics/OpenAccess WIL'2017 https://hal.archives-ouvertes.fr/hal-01792729 WIL'2017, Jun 2017, Reykjavik, Iceland [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] info:eu-repo/semantics/conferenceObject Conference papers 2017 ftunivnantes 2022-07-19T23:04:13Z 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. Conference Object Iceland Université de Nantes: HAL-UNIV-NANTES |
institution |
Open Polar |
collection |
Université de Nantes: HAL-UNIV-NANTES |
op_collection_id |
ftunivnantes |
language |
English |
topic |
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] |
spellingShingle |
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] Jakubiec-Jamet, Line Natural Language Processing and Coq : a case-study |
topic_facet |
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] |
description |
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. |
author2 |
Laboratoire d'Informatique et Systèmes (LIS) Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS) |
format |
Conference Object |
author |
Jakubiec-Jamet, Line |
author_facet |
Jakubiec-Jamet, Line |
author_sort |
Jakubiec-Jamet, Line |
title |
Natural Language Processing and Coq : a case-study |
title_short |
Natural Language Processing and Coq : a case-study |
title_full |
Natural Language Processing and Coq : a case-study |
title_fullStr |
Natural Language Processing and Coq : a case-study |
title_full_unstemmed |
Natural Language Processing and Coq : a case-study |
title_sort |
natural language processing and coq : a case-study |
publisher |
HAL CCSD |
publishDate |
2017 |
url |
https://hal.archives-ouvertes.fr/hal-01792729 https://hal.archives-ouvertes.fr/hal-01792729/document https://hal.archives-ouvertes.fr/hal-01792729/file/wil2017.pdf |
op_coverage |
Reykjavik, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
WIL'2017 https://hal.archives-ouvertes.fr/hal-01792729 WIL'2017, Jun 2017, Reykjavik, Iceland |
op_relation |
hal-01792729 https://hal.archives-ouvertes.fr/hal-01792729 https://hal.archives-ouvertes.fr/hal-01792729/document https://hal.archives-ouvertes.fr/hal-01792729/file/wil2017.pdf |
op_rights |
info:eu-repo/semantics/OpenAccess |
_version_ |
1766038695305019392 |