Explanation-based generalisation = partial evaluation

DOI10.1016/0004-3702(88)90088-4MaRDI QIDQ1109580zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Frank van Harmelen, Alan Bundy

Publication date 1988

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/408514/Explanation_BasedGeneralization_PartialEvaluation.pdf

zbMATH Keywords

machine learningpartial evaluationlogic programmingPROLOGexplanation-based generalization

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Learning in the presence of partial explanations
• A new application for explanation-based generalisation within automated deduction
• scientific article; zbMATH DE number 640291
• A unified framework for explanation-based generalization of partially ordered and partially instantiated plans
• Representation of explanations of possibilistic inference decisions
• On computing probabilistic abductive explanations

Cites work

• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Mixed computation: potential applications and problems for study
• Some Discrete Competition Models and the Competitive Exclusion Principle^†

Cited in

(11)

• Acquiring search-control knowledge via static analysis
• Learning in the presence of partial explanations
• On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning
• scientific article; zbMATH DE number 1256721 (Why is no real title available?)
• A formal model of explanation
• Computer Go: An AI oriented survey
• ESBL: An integrated method for learning from partial information
• Conflict generalisation in ASP: learning correct and effective non-ground constraints
• From programming-by-example to proving-by-example
• Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
• Proving theorems by reuse

This page was built for publication: Explanation-based generalisation \(=\) partial evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1109580)