Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.14279/1869
Title: Abductive diagnosis using time-objects: criteria for the evaluation of solutions
Authors: Washbrook, John 
Keravnou-Papailiou, Elpida 
Major Field of Science: Natural Sciences
Field Category: Computer and Information Sciences
Keywords: Computational intelligence;Expert systems (Computer science);Formal languages;Object-oriented programming (Computer science);Computer science
Issue Date: 17-Sep-2002
Source: Computational intelligence, 2002, vol. 17, no. Issue 1, pp. 87-131
Volume: 17
Issue: 1
Start page: 87
End page: 131
Journal: Computational Intelligence 
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: https://hdl.handle.net/20.500.14279/1869
ISSN: 14678640
DOI: 10.1111/0824-7935.00135
Rights: © Wiley
Type: Article
Affiliation : University of Cyprus 
Publication Type: Peer Reviewed
Appears in Collections:Άρθρα/Articles

CORE Recommender
Show full item record

SCOPUSTM   
Citations

4
checked on Nov 9, 2023

WEB OF SCIENCETM
Citations

3
Last Week
0
Last month
0
checked on Oct 29, 2023

Page view(s)

461
Last Week
0
Last month
4
checked on Dec 23, 2024

Google ScholarTM

Check

Altmetric


This item is licensed under a Creative Commons License Creative Commons