---
title: "Expert System Validation through Knowledge Base Refinement"
authors:
  - "Pedro Meseguer"
doi: ""
url: "https://ijcai.org/proceedings/1993/67"
pdf: "https://ijcai.org/proceedings/1993/0067.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "477-481"
track: "Knowledge Base Technology"
keywords:
---

# Expert System Validation through Knowledge Base Refinement

Pedro Meseguer

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 477-481.

## Abstract

Knowledge base (KB) refinement is a suitable technique to support expert system (ES) validation. When used for validation, KB refinement should be guided not only by the number of errors to solve but also by the importance of those errors. Most serious errors should be solved first, even causing other errors of lower importance but assuring a neat validity gain. These are the bases for IMPROVER, a KB refinement tool designed to support ES validation. IMPROVER refines ES for medical diagnosis with this classification of error importance: false negative > false positive > ordering mismatch. IMPROVER is being used to validate a real ES and some empirical results are given.