Date of Award


Degree Name

Master of Science


Computer Science

First Advisor

Dr. Dionysios Kountanis

Second Advisor

Dr. Dalia Motzkin

Third Advisor

Dr. Donna Kaminski

Access Setting

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.