0.doc

Package:      areas/learning/systems/learn_pl/invers/

Name:         INVERS

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

Version:      14-JAN-94

Description: 

   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.

Requires:     Prolog

Ports:        All of the algorithms are written in Edinburgh Prolog syntax. 

Origin:       ftp.gmd.de:/gmd/mlt/ML-Program-Library/ [129.26.8.84]

Copying:      Copyright (c) 1989, 1990 by Thomas Hoppe

Updated:      

CD-ROM:       Prime Time Freeware for AI, Issue 1-1

Bug Reports:  

Mailing List: 

Author(s):    

Contact:      Thomas Hoppe <hoppet@cs.tu-berlin.de> (Machine Learning Library)
              Projektgruppe KIT
              Technische Universitaet Berlin
              Franklinstr. 28/29,
              10629 Berlin, Germany. 

              Werner Emde <emde@gmd.de> (ftp library)
              Gesellschaft fuer Mathematik und Datenverarbeitung, Bonn

Keywords:     

   Machine Learning, Prolog!Code, Inverse Resolution, Resolution, Authors!Hoppe

Contains:    ???

See Also:    

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.