0.doc

Package:      areas/learning/systems/learn_pl/logic/

Name:         

Summary:      Logic procedures that are useful for learning

Version:      14-JAN-94

Description: 

   This package contains several logic procedures that are useful for
   learning, including: determination of substitutions, implies, Plotkin's
   least general generalization, Buntine's generalized subsumption.

Requires:     Prolog

Ports:        The algorithms are written in Edinburgh Prolog syntax. 

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

Copying:      Copyright (c) 1988 Stephen Muggleton
              GNU GPL v1.

Updated:      

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

Bug Reports:  

Mailing List: 

Author(s):    Stephen Muggleton <steve@turing-institute.ac.uk> 
              Turing Institute 
              George House 
              36 North hanover Street 
              Glasgow, G1 2AD   UK 

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, GNU GPL, Authors!Muggleton, Implies,
   Authors!Buntine, Authors!Plotkin, Subsumption, Least General Generalization

Contains:    ???

See Also:    

References:   

   Gordon Plotkin
   A note on inductive generalization
   in: B. Meltzer, D. Michie (eds) 
   Machine Intelligence 5
   Elsevier North-Holland 1970 

   Gordon Plotkin
   A further note on inductive generalization
   in: B. Meltzer, D. Michie (eds) 
   Machine Intelligence 6
   Elsevier North-Holland 1971 

   Wray Buntine
   Generalized Subsumption and Its Applications to Induction and Redundancy
   Artificial Intelligence 36, 1988. 

   Stephen Muggleton 
   ES2ML Tutorial Exercise 
   Substitution matching and generalisation in Prolog