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

https://hal.archives-ouvertes.fr/hal-01147277
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

File

Bannay_13266.pdf
Files produced by the author(s)

Identifiers

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

Citation

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⟩

Share

Metrics

Record views

63

Files downloads

97