A model based formal specification of a medical expert system

Abstract

In this thesis, the problem of the specification of the reasoning processes that are used in the development of the systems is investigated, and a specification model of a medical expert system is proposed. Traditionally, expert systems are developed by following an exploratory programming model of the software life-cycle. In this model of software development, the developer progresses towards the desired system by building an initial implementation, and gradually, refilining it into working prototypes,…