Using a SMT solver for risk analysis: detecting logical mistakes in texts - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

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.
Fichier principal
Vignette du fichier
Bannay_13266.pdf (831.98 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01147277 , version 1 (30-04-2015)

Identifiers

Cite

Florence Dupin de Saint-Cyr, 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, ⟨10.1109/ICTAI.2014.133⟩. ⟨hal-01147277⟩
68 View
122 Download

Altmetric

Share

Gmail Facebook X LinkedIn More