{"type":"ScholarlyArticle","title":"Expert System Validation through Knowledge Base Refinement","authors":[{"name":"Pedro Meseguer","slug":"pedro-meseguer","given":"Pedro","family":"Meseguer","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1993/67","pdf":"https://ijcai.org/proceedings/1993/0067.pdf","markdown":"https://ijcai.org/proceedings/1993/67.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/67","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Base Technology","track":"Knowledge Base Technology","number":67,"pages":{"first":477,"last":481},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}