Validation and verification of knowledge-based systems: A survey

References

Page 1

	Year	Citations
An assumption-based TMS Johan de Kleer Artificial Intelligence EngineeringAutomated ReasoningProbabilistic VerificationVerificationFormal Methods	1986	1.7K
Building expert systems Frederick Hayes‐Roth, D. A. Waterman, Douglas B. Lenat Artificial IntelligenceExpert System ResearchersEngineeringSoftware EngineeringAddison-wesley Pub.	1983	1.7K
Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design B. Chandrasekaran IEEE Expert Artificial IntelligenceEngineeringReasoning SystemAutomated ReasoningModel-based Reasoning	1986	717
Validating Expert System Performance Robert M. O’Keefe, Eric P. Smith IEEE Expert ReliabilityData ValidationExpert System PerformanceEngineeringData Science	1987	359
Interactive transfer of expertise: Acquisition of new inference rules Randall Davis Artificial Intelligence Cognitive ScienceEngineeringKnowledge TransferAutomated ReasoningEpistemology	1979	299
CYC: Using common sense knowledge to overcome brittleness and knowledge acquistion bottlenecks Doug Lenat, Mayank Prakash, Mary A. Shepherd AI Magazine Artificial IntelligenceSoftware MaintenanceEngineeringMachine LearningSoftware Engineering	1986	289
An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System Motoi Suwa, A. Carlisle Scott, Edward H. Shortliffe AI Magazine EngineeringVerificationIntelligent SystemsKnowledge-based ReasoningFormal Verification	1982	276
Antimicrobial Selection by a Computer Victor L. Yu JAMA	1979	275
Expert systems: perils and promise Daniel G. Bobrow, S. Mittal, Mark Stefik Communications of the ACM Artificial IntelligenceSoftware MaintenanceEngineeringIndustrial EngineeringProject Management	1986	237
Process Tracing Methods in Decision Support Systems Research: Exploring the Black Box Peter Todd, Izak Benbasat MIS Quarterly	1987	228

Page 1