# Vers un assistant à la preuve en langue naturelle

Abstract : This Thesis is the conclusion of three years of work in a project named DemoNat. The aim of this project is to design a system able to analyse and validate mathematical proofs written in a natural language.

The general scheme of the system is the following :
- analysis of the proof by means of linguistics tools ;
- translation of the proof in a restricted language ;
- interpretation of the translated text in a deduction rules tree ;
- validation of the deduction rules with an automatic prover.

This project envolved teams of linguists and logicians, the first two phases being the task of the linguists, and the lasts ones being the task of the logicians.

This thesis presents in more details the project and develops mainly the following points :
- Definition of the restricted language and its interpretation ;
- proprerties of the principal type of terms of a typed $\lambda$-calculus with two arrows, part of a linguistic tool, the ACGs ;
- Description of the automatic prover.
Keywords :
Document type :
Theses
Domain :

Cited literature [30 references]

https://tel.archives-ouvertes.fr/tel-00414773
Contributor : Christophe Raffalli <>
Submitted on : Wednesday, September 9, 2009 - 10:19:52 PM
Last modification on : Friday, November 6, 2020 - 3:30:36 AM
Long-term archiving on: : Tuesday, October 16, 2012 - 10:46:29 AM

### Identifiers

• HAL Id : tel-00414773, version 1

### Citation

Thévenon Patrick. Vers un assistant à la preuve en langue naturelle. Autre [cs.OH]. Université de Savoie, 2006. Français. ⟨tel-00414773⟩

Record views