Skip to Main content Skip to Navigation
Conference papers

Using a SMT solver for risk analysis: detecting logical mistakes in texts

Abstract : The purpose of this paper is to describe some results of the LELIE project, that are a contribution of Artificial Intelligence to a special domain: the analysis of the risks due to poorly written technical documents. This is a multidisciplinary contribution since it combines natural language processing with logical satisfiability checking. This paper explains how satisfiability checking can be used for detecting inconsistencies, redundancy and incompleteness in procedural texts and describes the part of the implemented tool that produces the logical translation of technical texts and realizes the checkings.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Thursday, April 30, 2015 - 9:52:18 AM
Last modification on : Wednesday, June 1, 2022 - 4:42:59 AM
Long-term archiving on: : Monday, September 14, 2015 - 4:05:44 PM


Files produced by the author(s)


  • HAL Id : hal-01147277, version 1
  • OATAO : 13266


Florence Dupin de Saint Cyr - Bannay, Marie-Christine Lagasquie-Schiex, William Raynaut, Patrick Saint Dizier. Using a SMT solver for risk analysis: detecting logical mistakes in texts. International Conference on Tools with Artificial Intelligence - ICTAI 2014, Nov 2014, Limassol, Cyprus. pp. 867-874. ⟨hal-01147277⟩



Record views


Files downloads