Date of Award
Master of Science
Dr. Dionysios Kountanis
Dr. Dalia Motzkin
Dr. Donna Kaminski
Masters Thesis-Open Access
The objective of this study is to survey various theorem-proving methods and to evaluate how these methods can be applied as inference engines in a brain tumor diagnosis expert system.
Various applications of automated reasoning based on the resolution principle are discussed. Knowledge representations and inference mechanisms used in expert systems are also surveyed.
An actual application of this method for a medical diagnosis problem is implemented and explained, and the limitations of this approach and possible future enhancements are discussed.
Maung, "A Study of Automated Reasoning in a Brain Tumor Diagnosis Expert System" (1987). Master's Theses. 1254.