Please use this identifier to cite or link to this item: http://ktisis.cut.ac.cy/handle/10488/7026
Title: Abductive diagnosis using time-objects: criteria for the evaluation of solutions
Authors: Washbrook, John
Keravnou-Papailiou, Elpida
Keywords: Computational intelligence;Expert systems (Computer science);Formal languages;Object-oriented programming (Computer science);Computer science
Issue Date: 2002
Publisher: Wiley
Source: Computational intelligence, 2002, Volume 17, Issue 1, Pages 87-131
Abstract: Diagnostic problem solving aims to account for, or explain, a malfunction of a system (human or other). Any plausible potential diagnostic solution must satisfy some minimum criteria relevant to the application. Often there will be several plausible solutions, and further criteria will be required to select the "best" explanation. Expert diagnosticians may employ different, complex criteria at different stages of their reasoning. These criteria may be combinations of some more primitive criteria, which therefore should be represented separately and explicitly to permit their flexible and transparent combined usage. In diagnostic reasoning there is a tight coupling between the formation of potential solutions and their evaluation. This is the essence of abductive reasoning. This article presents an abductive framework for diagnostic problem solving. Time-objects, an association of a property and an existence, are used as the representation formalism and a number of primitive, general evaluation criteria into which time has been integrated are defined. Each criterion provides an intuitive yardstick for evaluating the space of potential solutions. The criteria can be combined as appropriate for particular applications to define plausible and best explanations. The central principle is that when time is diagnostically significant, it should be modeled explicitly to enable a more accurate formulation and evaluation of diagnostic solutions. The integration of time and primitive evaluation criteria is illustrated through the Skeletal Dysplasias Diagnostician (SDD) system, a diagnostic expert system for a real-life medical domain. SDD's notions of plausible and best explanation are reviewed so as to show the difficulties in formalizing such notions. Although we illustrate our work by medical problems, it has been motivated by consideration of problems in a number of other domains (fermentation monitoring, air and ground traffic control, power distribution) and is intended to be of wide applicability
URI: http://ktisis.cut.ac.cy/handle/10488/7026
ISSN: 0824-7935 (print)
1467-8640 (online)
DOI: 10.1111/0824-7935.00135
Rights: © 2001 Blackwell Publishers
Type: Article
Appears in Collections:Άρθρα/Articles

Show full item record

WEB OF SCIENCETM
Citations 20

3
Last Week
0
Last month
checked on Nov 16, 2017

Page view(s)

15
Last Week
0
Last month
0
checked on Nov 19, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.