CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

EBG: Explanation Based Generalization

This directory contains implementations of different kinds of Prolog meta-interpreters for Mitchell's explanation based generalization and partial evaluation based on Kedar-Cabelli & McCarty's idea.
Origin: []

Version: 14-JAN-94 Requires: Prolog Ports: All of the algorithms are written in Edinburgh Prolog syntax. Copying: Copyright (c) 1988 Thomas Hoppe GNU GPL v1. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Contact: Thomas Hoppe (Machine Learning Library) Projektgruppe KIT Technische Universitaet Berlin Franklinstr. 28/29, 10629 Berlin, Germany. Werner Emde (ftp library) Gesellschaft fuer Mathematik und Datenverarbeitung, Bonn Keywords: Authors!Hoppe, EBG, GNU GPL, Machine Learning, Mitchell, Prolog!Code References: Smadar T. Kedar-Cabelli and L. Thorne McCharty, "Explanation-Based Generalisation as Resolution Theorem Proving", in Proceedings of the Fourth International Workshop on Machine Learning, Irvine, Morgan Kaufmann Publishers, California, 1987. F. van Harmelen and A. Bundy, "Explanation-Based Generalisation = Partial Evaluation", Research Note, AI 36, 1988.
Last Web update on Mon Feb 13 10:24:26 1995