CMU Artificial Intelligence Repository
EBG: Explanation Based Generalization
areas/learning/systems/learn_pl/ebg/
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:
ftp.gmd.de:/gmd/mlt/ML-Program-Library/ [129.26.8.84]
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
AI.Repository@cs.cmu.edu