An intelligent system for pacemaker reprogramming

Artificial Intelligence in Medicine

Volumn 17, Issue 3, 1999, Pages 249-269

  Lucas, Peter J F ^a   Tholen, Astrid ^b   Van Oort, Geeske ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b Vitatron BV   (Netherlands)

Author keywords

Abductive reasoning; Medical decision support; Medical expert systems; Model based reasoning; Pacemaker programming

Indexed keywords

ARTIFICIAL HEART PACEMAKER; ARTIFICIAL INTELLIGENCE; BRADYCARDIA; COMPUTER PROGRAM; EVALUATION; HEART FUNCTION; HEART PACING; HUMAN; PRIORITY JOURNAL; SHORT SURVEY; SINUS NODE; TECHNIQUE;

CARDIOLOGY; CARDIOVASCULAR SYSTEM; COMPUTER PROGRAMMING; DECISION SUPPORT SYSTEMS; EXPERT SYSTEMS; PHYSIOLOGICAL MODELS;

ABDUCTIVE REASONING; PACEMAKER REPROGRAMMING;

PACEMAKERS;

EID: 0032586105     PISSN: 09333657     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0933-3657(99)00023-8     Document Type: Article

References (13)

1. Console L, Theseider Dupré D, Torasso P. A theory of diagnosis for incomplete causal models. In: Proceedings of the 10th International Joint Conference on Artificial Intelligence, Los Angeles (CA, USA) 1989. p. 1311-1317.
2. Console L., Torasso P. A spectrum of logical definitions of model-based diagnosis. Comput. Intell. 7(3):1991;133-141.
3. Habbema J.D.F., Hilden J., Bjerregaard B. The measurement of performance in probabilistic diagnosis I: the problem, descriptive tools, and measures based on classification matrices. Methods Inf. Med. 17:1978;217-226.
4. Heckerman DE, Horvitz EJ, Nathwani BN. Toward normative expert systems: Part I, the Pathfinder project. Methods Inf Med 1992;31(2):90-105.
5. Isselbacher K.J., Braunwald E., Wilson J.D., Martin J.B., Fauci A.S., Kasper D.L. Harrison's Principles of Internal Medicine. 13th edition:1994;McGrawHill, New York.
6. Indurkhya N., Weiss S.M. Models for measuring performance of medical expert systems. Artif. Intell. Med. 1:1989;61-70.
7. Lucas P.J.F. Logic engineering in medicine. Knowl. Eng. Rev. 10(2):1995;153-179.
8. Lucas P.J.F. Symbolic diagnosis and its formalisation. Knowl. Eng. Rev. 12(2):1997;109-146.
9. Poole D., Goebel R., Aleliunas R. Theorist: a logical reasoning system for defaults and diagnosis. Cercone N., Mc Calla G. The Knowledge Frontier. 1987;Springer-Verlag, Berlin.
10. Poole D. Representing diagnosis knowledge. Ann. Math. Artif. Intell. 11:1994;33-50.
11. Poole D. Local users guide to Theorist, Report, Department of Computer Science, University of British Columbia, Vancouver, 1990.
12. Reiter R. On closed world data bases. Gallaire H., Minker J. Logic and Databases. 1978;55-76 Plenum-Press, New York.
13. Reiter R. A logic for default reasoning. Artif. Intell. 13:1980;81-132.