Diagnostic tests are used to determine anomalies in complex systems such as organisms or built structures. Once a set of tests is performed, the experts interpret their results and make decisions based on them. This process is named diagnostic reasoning. In diagnostic reasoning a decision is established by using both rules and general knowledge on the tests and the domain. The artificial intelligence community has focused on devising and automating different methods of diagnosis for medicine and engineering, but, to the best of our knowledge, the decision process in logical terms has not yet been investigated thoroughly. The automation of the diagnostic process would be helpful in a number of contexts, in particular when the number of test sets to make decision is too wide to be dealt with manually. To tackle such challenges, we shall study logical frameworks for diagnostic reasoning, automation methods and their computational properties and technologies implementing these methods. In this paper, we present the formalization of a hybrid reasoning framework TL that hosts tests and deduction rules on tests, and an algorithm that transforms a TL theory into defeasible logic, for which an implemented automated deduction technology (called Spindle) exists. We evaluate the methodology by means of a real-world example related to the Open Web Application Security Project requisites. The full diagnostic process is driven from the definition of the issue to the decision.

Diagnostics as a reasoning process: From logic structure to software design

Matteo Cristani;Claudio Tomazzoli;Margherita Zorzi
2019

Abstract

Diagnostic tests are used to determine anomalies in complex systems such as organisms or built structures. Once a set of tests is performed, the experts interpret their results and make decisions based on them. This process is named diagnostic reasoning. In diagnostic reasoning a decision is established by using both rules and general knowledge on the tests and the domain. The artificial intelligence community has focused on devising and automating different methods of diagnosis for medicine and engineering, but, to the best of our knowledge, the decision process in logical terms has not yet been investigated thoroughly. The automation of the diagnostic process would be helpful in a number of contexts, in particular when the number of test sets to make decision is too wide to be dealt with manually. To tackle such challenges, we shall study logical frameworks for diagnostic reasoning, automation methods and their computational properties and technologies implementing these methods. In this paper, we present the formalization of a hybrid reasoning framework TL that hosts tests and deduction rules on tests, and an algorithm that transforms a TL theory into defeasible logic, for which an implemented automated deduction technology (called Spindle) exists. We evaluate the methodology by means of a real-world example related to the Open Web Application Security Project requisites. The full diagnostic process is driven from the definition of the issue to the decision.
Automated Reasoning, Hybrid Reasoning, Defeasible Logic, Labelled Deduction System, SpinDLE
File in questo prodotto:
File Dimensione Formato  
4411-14933-1-PB.pdf

accesso aperto

Tipologia: Versione dell'editore
Licenza: Dominio pubblico
Dimensione 408.6 kB
Formato Adobe PDF
408.6 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/992671
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact