Automated Reasoning for Biology and Medicine (1993)
| Citations: | 4 - 0 self |
BibTeX
@MISC{Horvitz93automatedreasoning,
author = {Eric J. Horvitz},
title = {Automated Reasoning for Biology and Medicine},
year = {1993}
}
OpenURL
Abstract
56.02> From opening talk, Conference on AI in Systematic Biology, Napa Valley, California, September 1990. 2 I have highlighted "computer-based" to stress the centrality in AI of the use of computers to experiment with implementations of abstract theories of reasoning. Experiments with computational models play an important role in distinguishing AI research from other inquiries into reasoning and problem solving, including philosophy and theoretical psychology. The sculpting of complex computational models gives AI researchers an experimental basis for testing theories of problem solving and for comparing alternative solution strategies. Implementing real systems also provides researchers with opportunities to explore unanticipated or counterintuitive behaviors of complex models. Several AI endeavors have led to the development of distinct approaches for performing well-defined tasks such as medical diagnosis or species identification from observations. These method







