Learning in order to avoid search in logic programming

DOI10.1016/0898-1221(90)90115-ZzbMath0728.68098OpenAlexW2062561067MaRDI QIDQ805265

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

learninglogic programmingdeductive reasoningabductive reasoningdiagnostic expert systemfault diagnosis heuristics

Mathematics Subject Classification ID

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

Related Items (1)

Wrappers for feature subset selection

Uses Software

• Epilog

Cites Work

• Macro-operators: A weak method for learning
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• Deduction Plans: A Basis for Intelligent Backtracking
• Unnamed Item
• Unnamed Item
• Unnamed Item

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