Knowledge-based systems have a wide commercial applicability. However, a credible validation methodology for knowledge-based systems is currently lacking. Our research addresses the feasibility of partitioning rule-based systems into a number of meaningful units to enhance the comprehensibility, maintainability and reliability of expert systems software. Preliminary results have shown that no single structuring principle or abstraction hierarchy is sufficient to understand complex knowledge bases. We therefore propose the Multi-Viewpoint - Clustering Analysis (MVP-CA) methodology to provide multiple views of the same expert system. MVP-CA provides an ability to discover significant structures within the rulebase by providing a mechanism to structure both hierarchically (from detail to abstract) and orthogonally (from different perspectives). Here we describe our approach to understanding large knowledge bases using MVP-CA. We demonstrate the need for MVP-CA using a couple of small classic rulebases, as well as a deployed knowledge-based system that navigates the Space Shuttle’s entry. We also discuss the impact of this approach on verification and validation of knowledge-based systems. MVP-CA provides an essential first step towards building an integrated environment for verification and validation of knowledge-based applications. It will allow one to build reliable knowledge-based systems by suitably abstracting, structuring, and otherwise clustering the knowledge in a manner which facilitates its understanding, manipulation, testing and utilization.
[1]
Victor R. Basili,et al.
Software errors and complexity: an empirical investigation0
,
1984,
CACM.
[2]
Shon Vick,et al.
Maintaining an expert system for the Hubble Space Telescope ground support
,
1987
.
[3]
Mala Mehrotra.
Rule Groupings: A Software Engineering Approach Towards Verification of Expert Systems
,
1991
.
[4]
Mala Mehrotra,et al.
Rule groupings in expert systems
,
1990
.
[5]
Virginia E. Barker,et al.
Expert systems for configuration at Digital: XCON and beyond
,
1989,
Commun. ACM.
[6]
Nancy G Leveson,et al.
Software safety: why, what, and how
,
1986,
CSUR.
[7]
Chris Culbert,et al.
State-of-the-practice in knowledge-based system verification and validation
,
1991
.
[8]
Mala Mehrotra,et al.
Importance of rule groupings in verification of expert systems
,
1990
.
[9]
Elliot Soloway,et al.
Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base
,
1987,
AAAI.
[10]
William J. Clancey,et al.
The Advantages of Abstract Control Knowledge in Expert System Design
,
1983,
AAAI.
[11]
Robert J. K. Jacob,et al.
A Software Engineering Methodology for Rule-Based Systems
,
1990,
IEEE Trans. Knowl. Data Eng..
[12]
Suzanne Lindell.
Keyword Cluster Algorithm for Expert System Rule Bases.
,
1987
.
[13]
Chris Wild,et al.
Reasoning about software specifications - A case study
,
1989
.
[14]
Victor R. Basili,et al.
Software errors and complexity: an empirical investigation
,
1993
.