OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Dupin De Saint Cyr - Bannay, Florence and Lagasquie-Schiex, Marie-Christine and Raynaut, William and Saint-Dizier, Patrick Using a SMT solver for risk analysis: detecting logical mistakes in texts. (2014) In: International Conference on Tools with Artificial Intelligence - ICTAI 2014, 10 November 2014 - 12 November 2014 (Limassol, Cyprus).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
851kB

Official URL: http://dx.doi.org/10.1109/ICTAI.2014.133

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to IEEE editor. The definitive version is available at http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6984569
HAL Id:hal-01147277
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:30 Mar 2015 10:13

Repository Staff Only: item control page