Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο: https://hdl.handle.net/20.500.14279/1869
Τίτλος: Abductive diagnosis using time-objects: criteria for the evaluation of solutions
Συγγραφείς: Washbrook, John 
Keravnou-Papailiou, Elpida 
Major Field of Science: Natural Sciences
Field Category: Computer and Information Sciences
Λέξεις-κλειδιά: Computational intelligence;Expert systems (Computer science);Formal languages;Object-oriented programming (Computer science);Computer science
Ημερομηνία Έκδοσης: 17-Σεπ-2002
Πηγή: Computational intelligence, 2002, vol. 17, no. Issue 1, pp. 87-131
Volume: 17
Issue: 1
Start page: 87
End page: 131
Περιοδικό: Computational Intelligence 
Περίληψη: 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
Εμφανίζεται στις συλλογές:Άρθρα/Articles

CORE Recommender
Δείξε την πλήρη περιγραφή του τεκμηρίου

SCOPUSTM   
Citations

4
checked on 9 Νοε 2023

WEB OF SCIENCETM
Citations

3
Last Week
0
Last month
0
checked on 29 Οκτ 2023

Page view(s) 20

461
Last Week
0
Last month
4
checked on 22 Δεκ 2024

Google ScholarTM

Check

Altmetric


Αυτό το τεκμήριο προστατεύεται από άδεια Άδεια Creative Commons Creative Commons