Open AccessProceedings Article
The formation of composite hypotheses in diagnostic problem solving: an exercise in synthetic reasoning
Harry E. Pople
- pp 1030-1037
TLDR
Experience with the INTERNIST system suggests that many aspects of the search process could be significantly enhanced if it were possible to attend to the various component problems and their interrelationships simultaneously.Abstract:
The INTERNIST system, which is a computer-based diagnostic problem solver having Internal Medicine as i ts domain of discourse, employs a novel attention focusing heuristic in order to deal sequentially with the component parts of a complex clinical problem. The strategy of sequential problem formation and solution has proved to be effective in sorting out the complexities and rendering a correct diagnosis in the great majority of clinical cases tested. Experience with the system suggests, however, that many aspects of the search process could be significantly enhanced if it were possible to attend to the various component problems and their interrelationships simultaneously. Recent work on a successor system has been directed towards the development of strategies for the synthesis and analysis of composite hypotheses, which may be expected to yield more rapid convergence to the correct conclusion in many cases, and in at least some cases to prevent missed diagnoses.read more
Citations
More filters
Journal ArticleDOI
Categorization and Representation of Physics Problems by Experts and Novices
TL;DR: Results from sorting tasks and protocols reveal that experts and novices begin their problem representations with specifiably different problem categories, and completion of the representations depends on the knowledge associated with the categories.
Journal ArticleDOI
Diagnosing multiple faults
J. de Kleer,Brian C. Williams +1 more
TL;DR: The diagnostic procedure presented in this paper is model-based, inferring the behavior of the composite device from knowledge of the structure and function of the individual components comprising the device.
Journal ArticleDOI
The use of design descriptions in automated diagnosis
TL;DR: Dart differs from previous approaches to diagnosis taken in the design-automation community in that it is more general and in many cases more efficient, and allows it to be applied to a wide class of devices ranging from digital logic to nuclear reactors.
Book
Machines Who Think
TL;DR: McClorduck's Machines Who Think as mentioned in this paper was translated into many languages, became an international cult classic, and stayed in print for nearly twenty years, along with an extended addition that brings the field up to date in the last quarter century, including its scientific and its public faces.
Journal ArticleDOI
The computational complexity of abduction
TL;DR: This paper focuses on one type of abduction in which the best explanation is the most plausible combination of hypotheses that explains all the data, and presents several computational complexity results demonstrating that thistype of abduction is intractable (NP-hard) in general.
References
More filters
Book
Problem-Solving Methods in Artificial Intelligence
TL;DR: This paper will concern you to try reading problem solving methods in artificial intelligence as one of the reading material to finish quickly.
Journal ArticleDOI
Reasoning foundations of medical diagnosis; symbolic logic, probability, and value theory aid our understanding of how physicians reason.
Robert S. Ledley,Lee B. Lusted +1 more
Journal ArticleDOI
Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.
TL;DR: This book is not a survey on theorem proving programs, but the description of a program developed from 1960 to 1965, and includes three chapters that deal with resolution-based theorem-proving in the predicate calculus and its applications to problem solving.
Proceedings Article
On the mechanization of abductive logic
TL;DR: This paper develops a model of abductive reasoning which consists of an embedding of deduct in an i t e r a t i v e hypothesis and test procedure and an appl icat ion of the method to the problem of medical diagnosis is discussed.
Journal ArticleDOI
A model and stack implementation of multiple environments
Daniel G. Bobrow,Ben Wegbreit +1 more
TL;DR: This paper presents an implementation technique using a single stack to hold procedure activation storage which allows retention of that storage for durations not necessarily tied to control flow, and applications to multitasking, coroutines, backtracking, label-valued variables, and functional arguments are discussed.