What people are saying - Write a review
We haven't found any reviews in the usual places.
Formal Elements of Knowledge Base Refinement
6 other sections not shown
Other editions - View all
application approach Artificial Intelligence assumptions automatic refinement system breadth-first search c-heuristics ccases chapter choice-component choice-list choice-number complete computing concepts and heuristics concerning conclusion confidence factor confidence-factor conservatism construction correct data base defined definition deletion discussion domain domain theory domain-specific endpoint rules example expert system framework first-order refinement function genCF given heuristic refinement higher-order analysis higher-order refinement implemented improves empirical adequacy intermediate hypothesis intermediate rules Intuitively involves knowledge acquisition knowledge base refinement knowledge engineer Machine Learning mcases metaknowledge microstate misdiagnosed node notion nth-order on-target refinements on-target with respect OPS5 optimal overall paradigm performance plausible refinements point in kb-space positive net gain possible problem procedure r-functions r-situation refinement concepts refinement metalanguage rr-heuristics rule component rule representation language rule-chain satisfied rules SEEK2 set of refinements SpecA specialization specification subset tentative incorporation terminal symbols unsatisfied variable viewfinder