Naproche; mathematical language; CNL; proof-checking; implicit function introduction; definitions
Résumé :
[en] The Naproche system is a system for linguistically analysing and proof-checking mathematical texts written in a controlled natural language, i.e. a subset of the usual natural language of mathematical texts defined through a formal grammar. This paper gives an overview over the linguistic and logical techniques developed for the Naproche system. Special attention is given to the dynamic nature of quantification in natural language, to the phenomenon of implicit function introduction in mathematical texts, and to the usage of definitions for dynamically extending the language of a mathematical text.
CRAMER, Marcos ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
The Naproche system: Proof-checking mathematical texts in controlled natural language
Date de publication/diffusion :
mai 2016
Titre du périodique :
Sprache und Datenverarbeitung. International Journal for Language Data Processing
ISSN :
0343-5202
Maison d'édition :
Universitätsverlag Rhein-Ruhr, Allemagne
Titre particulier du numéro :
The language of mathematics – computational, linguistic and logical aspects
Volume/Tome :
2014
Fascicule/Saison :
1-2
Pagination :
9-33
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Projet FnR :
FNR4758104 - Specification Logics And Inference Tools For Verification And Enforcement Of Policies, 2011 (01/06/2012-30/04/2017) - Leon Van Der Torre
Intitulé du projet de recherche :
Specification logics and Inference tools for verification and Enforcement of Policies
