Summary PROLOG-EBG. Uses first order Horn clauses in its domain theory and in its learned hypotheses.
{"Image DocumentName": "SummaryPROLOG-EBG. Uses first order Horn clauses in its domain theory and in its learned hypotheses.", "Image ImageDescription": "The explanation is a PROLOG proof. The hypothesis extracted from the explanation is the weakest preimage of this proof. Analytical learning methods construct useful intermediate features as a side effect of analysing individual training examples. Other deductive learning procedures can extend the deductive closure of their domain. PRODIGY and SOAR have demonstrated the utility of explanation based learning methods for automatically acquiring effective search control knowledge that speeds up problem solving. Disadvantage: purely deductive implementations such as PROLOG-EBG produce a correct output if the domain theory is also correct.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}