Automated Reasoning for Biology and Medicine

Reference: Horvitz, E. J. Automated Reasoning for Biology and Medicine. Johns Hopkins University Press, 1993.

Abstract: During the last decade, computer scientists have made significant progress in developing techniques for storing and retrieving information, and for solving difficult inferential problems with computer-based reasoners. The growth in the power of computer processors, and the parallel decline of the cost of computer memory, has catalyzed the development of innovative software for problem solving. In particular, there have been promising advances in computational methods for acquiring, representing, and manipulating biological and medical information. I will present key concepts of automated reasoning investigated in the computer-science subdivision called artificial intelligence (AI). I will frame my discussion in terms of the genesis and maturation of AI and related subdisciplines that were spawned shortly after the development of electronic computers, and will review key themes that have dominated research over the last three decades.

Notes: Postscript for this article is available at http://www.research.microsoft.com/research/dtg/horvitz/AIBIO.HTM.

Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]
Send mail to: ksl-info@ksl.stanford.edu to send a message to the maintainer of the KSL Reports.