Date of Award
8-1987
Degree Name
Master of Science
Department
Computer Science
First Advisor
Dr. Dionysios Kountanis
Second Advisor
Dr. Dalia Motzkin
Third Advisor
Dr. Donna Kaminski
Access Setting
Masters Thesis-Open Access
Abstract
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.
Recommended Citation
Maung, Aung Zaw, "A Study of Automated Reasoning in a Brain Tumor Diagnosis Expert System" (1987). Masters Theses. 1254.
https://scholarworks.wmich.edu/masters_theses/1254