title: Refinement of the HEPAR expert system: tools and techniques.
abstract: Methods and tools for the static and dynamic verification and validation of software systems are commonplace in the field of software engineering. In the field of expert systems, where it is more difficult to ensure that a system meets the specifications and expectations than in traditional software engineering, such tools are generally not available. In this paper, the need for more support of the development process by methods and tools is illustrated by the approach taken in building the HEPAR system, a rule-based expert system that can be used as a supportive tool in the diagnosis of disorders of the liver and biliary tract. At a certain stage in the development of this system an incremental development methodology has been adopted, in which implementation of parts of the expert system was followed by dynamic validation. For this purpose, a collection of software tools were implemented as extensions to a rule-based expert-system shell. These tools provide valuable information about the effects of modification of the HEPAR knowledge base, and indicate places in the knowledge base for refinement. It is believed that similar software tools may prove helpful in the development of other expert systems as well.
authors.affiliation: Department of Computer Science, Utrecht University, The Netherlands.
authors.forename: P
authors.initials: P
authors.lastname: Lucas
mesh_terms: D001185:Artificial Intelligence; D001660:Biliary Tract Diseases / Q000175:diagnosis*; D003936:Diagnosis, Computer-Assisted; D005103:Expert Systems; D005260:Female; D006801:Humans; D008107:Liver Diseases / Q000175:diagnosis*; D008297:Male; D012984:Software; D012986:Software Validation