Learning in order to avoid search in logic programming

DOI10.1016/0898-1221(90)90115-ZMaRDI QIDQ805265zbMATH OpenOpenAlexFDO

Authors Michael J. Pazzani

Publication date 1990

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0898-1221(90)90115-z

zbMATH Keywords

abductive reasoningdeductive reasoningdiagnostic expert systemfault diagnosis heuristicslearninglogic programming

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 4185073
• Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
• A theory of diagnosis from first principles
• Abductive Logic Programming
• scientific article; zbMATH DE number 4031040

Cites work

• Deduction Plans: A Basis for Intelligent Backtracking
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• scientific article; zbMATH DE number 3954303 (Why is no real title available?)
• scientific article; zbMATH DE number 3978432 (Why is no real title available?)
• scientific article; zbMATH DE number 42430 (Why is no real title available?)
• Macro-operators: A weak method for learning

Cited in

(5)

• Wrappers for feature subset selection
• scientific article; zbMATH DE number 4164159 (Why is no real title available?)
• scientific article; zbMATH DE number 3954303 (Why is no real title available?)
• scientific article; zbMATH DE number 4185073 (Why is no real title available?)
• Learning logic programs by explaining their failures

Describes a project that uses

Uses Software

• Epilog

This page was built for publication: Learning in order to avoid search in logic programming

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