Goal-directed diagnosis - A diagnostic reasoning framework for exploratory-corrective domains

Artificial Intelligence

Volumn 84, Issue 1-2, 1996, Pages 257-297

  Rymon, Ron ^a,b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF PITTSBURGH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DIAGNOSIS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; FORMAL LOGIC; INTERACTIVE COMPUTER SYSTEMS; KNOWLEDGE REPRESENTATION; SYSTEMS ANALYSIS;

DIAGNOSTIC REASONING; EXPLORATORY CORRECTIVE DOMAINS; GOAL DIRECTED DIAGNOSIS; MULTIPLE TRAUMA INJURY;

ARTIFICIAL INTELLIGENCE;

EID: 0030190796     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(95)00097-6     Document Type: Article

References (57)

1. L.L. Alpay, Modeling medical diagnostic processes, Ph.D. Thesis, Centre for Information Technology in Education, The Open University, England (1991).
2. W.J. Clancey, The epistemology of a rule-based expert system - a framework or explanation, Artif. Intell. 20 (1983) 215-251.
3. W.J. Clancey, Acquiring, representing, and evaluating a competence model of diagnostic strategy, STAN-CS-85-1067, Department of Computer Science, Stanford University, Stanford, CA (1985).
4. W.J. Clancey and E.H. Shortliffe, Readings in Artificial Intelligence: The First Decade (Addison-Wesley, Reading, MA, 1984).
5. J.R. Clarke, D. Cebula and B.L. Webber, A computerized decision aid for trauma, J. Trauma 28 (1988) 1250-1254.
6. J.R. Clarke, M. Niv and B.L. Webber, Computerized patient-specific protocols for managing penetrating chest injuries (abstract), Theoret. Surgery 5 (3) (1990) 148-149.
7. J.R. Clarke, R. Rymon, M. Niv, B.L. Webber, C.Z. Hayward, T.S. Santora, D.K. Wagner and A. Ruffin, The importance of planning in the provision of medical care, Annual Meeting Abstracts 13 (4) (Society for Medical Decision Making, 1993).
8. J.R. Clarke, A.K. Sachdeva, L. Nieman and E.J. Gracely, What chief surgical residents may still need to learn, Unpublished abstract.
9. J.R. Clarke, B. Webber, A. Gertner, J. Kaye and R. Rymon, On-line decision support for emergency trauma management, in: Proceedings 18th Annual Symposium on Computer Applications in Medical Care, Washington, DC (1994).
10. L. Clendening and E.H. Hashinger, Methods of Diagnosis (Mosby, St. Louis, MO, 1947).
11. R. Davis, Diagnostic reasoning based on structure and behavior, Artif. Intell. 24 (1984) 347-410.
12. J. de Kleer, J. Doyle, G.L. Steele and G.J. Sussman, Explicit control of reasoning, AI Memo 427, MIT, Cambridge, MA (1977); also in: P.H. Winston, ed., Artificial Intelligence: An MIT Perspective 1 (MIT Press, Cambridge, MA, 1979) 93-118.
13. J. de Kleer, J. Doyle, G.L. Steele and G.J. Sussman, Explicit control of reasoning, AI Memo 427, MIT, Cambridge, MA (1977); also in: P.H. Winston, ed., Artificial Intelligence: An MIT Perspective 1 (MIT Press, Cambridge, MA, 1979) 93-118.
14. J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnoses, in: Proceedings AAAI-90, Boston, MA (1990) 324-330.
15. J. de Kleer and B.C. Williams, Diagnosing multiple faults, Artif. Intell. 32 (1987) 97-130.
16. J. Dowie and A. Elstein, Professional Judgement - A Reader in Clinical Decision Making (Cambridge University Press, Cambridge, 1988).
17. A.S. Elstein, L.S. Shulman and S.A. Sprafka, Medical Problem Solving: An Analysis of Clinical Reasoning (Harvard University Press, Cambridge, MA, 1978).
18. R.E. Fikes and N.J. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving, Artif. Intell. 2 (1971) 189-208.
19. D.E. Foulser, M. Li and Q. Yang, A qualitative theory for plan merging, in: Proceedings AAAI-91, Anaheim, CA (1991) 673-678.
20. G. Friedrich, G. Gottlob and W. Nejdl, Formalizing the repair process, in: Proceedings Second International Workshop on Principles of Diagnosis, Milan (1991) 11-22.
21. G. Friedrich and W. Nejdl, Choosing observations and actions in model-based diagnosis/repair systems, in: Proceedings Third International Workshop on Principles of Diagnosis, Seattle, WA (1992) 76-85.
22. M.R. Genesereth, The use of design descriptions in automated diagnosis, Artif. Intell. 24 (1984) 411-436.
23. A.S. Gertner, Responding to users' informational needs in time-critical situations, in: Proceedings Fourth International Conference on User Modeling (1994).
24. A.S. Gertner, B.L. Webber and J.R. Clarke, Upholding the maxim of relevance during patient-centered activities, in: Proceedings Fourth International Conference on Applied Natural Language Processing (1994).
25. M.L. Ginsberg, Multivalued logics: a uniform approach to inference in artificial intelligence, Comput. Intell. 4 (1988) 265-316.
26. D.H. Hickam, E.H. Shortliffe, M.B. Bischoff, A.C. Scott and C.D. Jacobs, The treatment advice of a computer-based cancer chemotherapy protocol advisor, Ann. Internal Medicine 103 (1985) 928-936.
27. J.P. Kassirer and A. Gorry, Clinical problem solving: a behavioral analysis, Ann. Internal Medicine 89 (1978) 245-255.
28. J.P. Kassirer and R.I. Kopelman, Learning Clinical Reasoning (Williams and Wilkins, Baltimore, MD, 1991).
29. J.P. Kassirer, A.J. Moskowitz, J. Lau and S.G. Pauker, Decision analysis: a progress report, Ann. Internal Medicine 106 (1987) 275-291.
30. J. Kaye, Trauma modeling of anatomy and physiology, forthcoming Ph.D. Dissertation Proposal, University of Pennsylvania, Philadelphia, PA (1995).
31. J. Kaye, D. Metaxas, J.R. Clarke and B.L. Webber, Lung modeling: integrating anatomy and physiology, in: Proceedings First International Conference on Medical Robotics and Computer-Assisted Surgery, Pittsburgh, PA (1994).
32. C.P. Langlotz, LM. Fagan, S.W. Tu, B.I. Sikic and E.H. Shortliffe, Combining artificial intelligence and decision analysis for automated therapy planning assistance, in: Proceedings MEDINFO-86 (1986) 794-798.
33. A.L. Lansky, Localized search for multiagent domains, in: Proceedings IJCAI-91, Sydney, Australia (1991) 252-258.
34. D. Leake, Evaluating Explanations: A Content Theory (Lawrence Earlbaum, Hillsdale, NJ, 1992) Chapter 9.
35. R.S. Ledley and L.B. Lusted, Reasoning foundations of medical diagnosis, Science 130 (3366) (1959) 9-21.
36. W. Long, S. Naimi and M.G. Criscitiello, A knowledge representation for reasoning about the management of heart failure, in: Proceedings Computers in Cardiology Conference (1982) 373-376.
37. P.L. Miller, ATTENDING: critiquing a physician's management plan, IEEE Trans. Pattern Anal. Mach. Intell. 5 (1983) 449-461.
38. S. Neumann, Modeling acute hemorrhage in the human cardiovascular system, Ann. Biomedical Eng. 21 (Suppl. 1) (1993) p. 13, abstract 64.
39. S.G. Pauker and J.P. Kassirer, Therapeutic decision making: a cost-benefit analysis, New England J. Medicine 293 (5) (1975) 229-234.
40. S.G. Pauker and J.P. Kassirer, Medical progress - decision analysis, New England J. Medicine 316 (5) (1987) 250-258.
41. J. Pepper and G.S. Kahn, Repair strategies in a diagnostic expert system, in: Proceedings IJCAI-87, Milan (1991) 531-534.
42. D. Poole, Representing diagnostic knowledge for probabilistic Horn abduction, in: Proceedings IJCAI-91, Sydney, Australia (1991).
43. D. Poole and G.M. Provan, What is an optimal diagnosis?, in: Proceedings Sixth International Workshop on Uncertainty in AI, Cambridge, MA (1990) 46-53.
44. D. Poole and G.M. Provan, Use and granularity in consistency-based diagnosis, in: Proceedings Second International Workshop on Principles of Diagnosis, Milan (1991) 1-10.
45. G.M. Provan, S. Neumann, J.R. Clarke and J.M. Kaye, A mixed qualitative/quantitative acute cardiovascular model (preliminary report), in: Proceedings AAAI Spring Symposium on AI in Medicine, Stanford, CA (1994).
46. G.M. Provan and D. Poole, The utility of consistency-based diagnostic techniques, in: Proceedings KR-91, Cambridge, MA (1991) 461-472.
47. R. Reiter, A theory of diagnosis from first principles, Artif. Intell. 32 (1987) 57-95.
48. J. Rushby and J. Crow, Model-based reconfiguration: toward an integration with diagnosis, in: Proceedings AAAI-91, Anaheim, CA (1991) 836-841.
49. R. Rymon, Diagnostic reasoning and planning in exploratory-corrective domains, Ph.D. Thesis, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA (1993).
50. R. Rymon, B.L. Webber and J.R. Clarke, Towards goal-directed diagnosis (preliminary report), in: Proceedings Second International Workshop on Principles of Diagnosis, Milan (1991) 23-39.
51. R. Rymon, B.L. Webber and J.R. Clarke, Progressive horizon planning - planning exploratory-corrective behavior, IEEE Trans. Syst. Man Cybern. 23 (6) (1993).
52. E.H. Shortliffe, MYCIN: a rule-based computer program for advising physicians regarding antimicrobial therapy selection, Ph.D. Thesis, Stanford, CA (1974).
53. Y. Sun and D. Weld, Beyond simple observation: planning to diagnose, in: Proceedings 3rd International Workshop on Principles of Diagnosis, Seattle, WA (1992).
54. P. Szolovits, Artificial Intelligence in Medicine (Westview Press, Boulder, CO, 1982).
55. B.L. Webber, R. Rymon and J.R. Clarke, Flexible support for trauma management through goal-directed reasoning and planning, Artif. Intell. Medicine 4 (1992) 145-163.
56. M. Winslett, Reasoning about action using a possible models approach, in: Proceedings AAAI-88, St. Paul, MN (1988) 89-93.
57. Q. Yang, D.S. Nau and J. Hendler, Merging separately generated plans with restricted interactions, Comput. Intell. 8 (1992) 648-676.