Verification and validation of case-based systems
Expert Systems with ApplicationsPublished 1 January 1993
Daniel E. O’Leary
Citations38
SJR quartileQ1
SJR score1.85
SNIP2.55
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
New statistical and structural approaches are presented designed to exploit unique aspects of case-based reasoning for verification purposes and develop new approaches to generating comparative solutions for validation purposes.
Abstract
Verification and validation of artificially intelligent systems has been the focus of substantial recent research. However, little attention has been given in the literature to verification and validation for cased-based systems. The unique structure of cased-based systems is used to raised new validation issues, develop new approaches to generating comparative solutions for validation purposes, and investigate new approaches for examining the quality of the case base. In addition, this article presents new statistical and structural approaches designed to exploit unique aspects of case-based reasoning for verification purposes.
Keywords
Computer Science
Machine LearningInduction of Decision Trees
14,815 Citations1986J. R. Quinlan
This paper summarizes an approach to synthesizing decision trees that has been used in a variety of systems, and it describes one such system, ID3, in detail, which is described in detail.
Machine LearningInduction of decision trees
12,383 Citations1986J. R. Quinlan
This paper summarizes an approach to synthesizing decision trees that has been used in a variety of systems, and it describes one such system, ID3, in detail, which is described in detail.
RePEc: Research Papers in EconomicsInteger programming
3,383 Citations1972G. L. Nemhauser, Laurence A. Wolsey
MIT Press eBooksKnowledge Discovery in Databases
1,758 Citations1991Gregory Piateski, William Frawley
Machine LearningKnowledge Acquisition Via Incremental Conceptual Clustering
1,754 Citations1987Douglas Fisher
COBWEB is a conceptual clustering system that organizes data so as to maximize inference ability, and is incremental and computationally economical, and thus can be flexibly applied in a variety of domains.
Machine LearningKnowledge acquisition via incremental conceptual clustering
1,081 Citations1987Douglas Fisher
COBWEB is a conceptual clustering system that organizes data so as to maximize inference ability, and is incremental and computationally economical, and thus can be flexibly applied in a variety of domains.
European Journal of Operational ResearchGoal programming and multiple objective optimizations
734 Citations1977A. Charnes, W. W. Cooper
A class of examples is developed in detail and an algorithm is supplied which utilizes sequences of ordinary linear programming problems to solve certain nonlinear and non-convex problems involving maxima of ratios of linear forms.
ACM Computing SurveysValidation, Verification, and Testing of Computer Software
431 Citations1982W. Richards Adrion, Martha Branstad +1 more
This paper surveys current verification, validation, and testing approaches and discusses their strengths, weaknesses, and life-cycle usage and describes automated tools used toplement vahdation, verification, and testmg.
Machine LearningPROTOS: AN EXEMPLAR-BASED LEARNING APPRENTICE11Based on a paper presented at the Second AAAI Workshop on Knowledge Acquisition for Knowledge-based Systems, Banff, October 1987. Reprinted with permission from Academic Press, Ltd. from Bareiss, et al., International Journal of Man-Machine Studies 29(5) pp. 549–561, 1988.
117 Citations1990E. Ray Bareiss, Bruce Porter +1 more
IEEE ExpertA case-based approach to modeling legal expertise
101 Citations1988Kevin D. Ashley, E. L. Rissland
The authors demonstrate how Hypo critically compares a problem situation to the most relevantly similar precedent cases to outline an argument regarding how to decide the current fact situation based on its significant similarities to and differences from most on point cases.
IEEE Transactions on Knowledge and Data EngineeringVerification and validation of knowledge-based systems
73 Citations1999Wei‐Tek Tsai, R.V. Vishnuvajjala +1 more
Elsevier eBooksProtos: An Exemplar-Based Learning Apprentice11Support for this research was provided by the Army Research Office under grant number ARO DAAG29-84-K-0060 and the National Science Foundation under grant number IST-8510999.
53 Citations1987E. Ray Bareiss, Bruce Porter +1 more
The rationale in the Protos system for relegating inductie learning and deductive problem solving to minor roles in support of retaining, indexing, and matching exemplars is described.
The Journal of Clinical PsychiatryThe Trade-Off between Knowledge and Data in Knowledge Acquisition.
21 Citations1991Brian R. Gaines
Some experiments with case-based search
17 Citations1988Steven J. Bradtke, Wendy G. Lehnert
This paper shows how the case-based reasoning approach to problem solving forms the basis for a class of heuristic search techniques, and presents a CBR search algorithm as applied to the 8-puzzle, along with results from a set of experiments.
European Journal of Operational ResearchReflections and observations on various approaches to strategic planning
5 Citations1977Duncan Boldy
Attention is drawn to the fact that strategic planning problems often involve multiple, often noncommensurable, objectives and the importance of engaging decision-makers in an interactive dialogue in such situations and examples of two different approaches are given.