A Translater from Latex Trees to Coq Trees for a Natural Language Study

Line Jakubiec-Jamet (1)

1 LIS - Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)

This paper presents a tool that is used in a natural language processing study. The tool is a translater used in a study devoted to the formalization and to the analysis of sentences in the Coq system. The analysis is based on a hierarchy of types (that represents an ontology) for type-checking the conceptual well-formedness of sentences. In this study, we investigated how to exploit the particular features of the Coq type system for natural language. The tool presented here is a part of this study and it is a translater that allows to generate automatically a Coq description from a tree described in a Latex file.

Domaines: Informatique et langage [cs.CL]

Line Jakubiec-Jamet. A Translater from Latex Trees to Coq Trees for a Natural Language Study. 2022. ⟨hal-03536652⟩