CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

INVERS: Two versions of the two main operators for inverse resolution.

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: []

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