CMU Artificial Intelligence Repository
INVERS: Two versions of the two main operators for inverse
resolution.
areas/learning/systems/learn_pl/invers/
This directory contains INVERS, an implementation of Steven
Muggleton's absorption and intra-construction operators for inverse
resolution based on the representation change idea of Celine Rouveirol
and Jean-Francois Puget.
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) 1989, 1990 by Thomas Hoppe
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, Inverse Resolution, Machine Learning,
Prolog!Code, Resolution
References:
Stephen Muggleton and Wray Buntine, "Machine Invention of First-order
Predicates by Inverting Resolution", in Proceedings of the
International Workshop on Machine Learning, Ann Arbor, Morgan Kaufmann
1988.
Rouveirol, C., Puget, J.-F., "A Simple Solution For Inverting
Resolution", in: K. Morik, Proceedings of the 4th European Working
Session on Machine Learning, Montpellier, Pitman Publishing 1989.
Last Web update on Mon Feb 13 10:24:27 1995
AI.Repository@cs.cmu.edu