New Version of a Translater for a Natural Language Study
Line Jakubiec-Jamet · HAL (Le Centre pour la Communication Scientifique Directe) · 2022
This paper presents a tool that is used in a natural language processing study. A first version of a translater has been developped yet but here is an amelioration of this program that translates Latex trees to Coq trees. This tool is included into 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 wellformedness 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.