CMU Artificial Intelligence Repository
Logic procedures that are useful for learning
areas/learning/systems/learn_pl/logic/
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.
Origin:
ftp.gmd.de:/gmd/mlt/ML-Program-Library/ [129.26.8.84]
Version: 14-JAN-94
Requires: Prolog
Ports: The algorithms are written in Edinburgh Prolog syntax.
Copying: Copyright (c) 1988 Stephen Muggleton
GNU GPL v1.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Stephen Muggleton
Turing Institute
George House
36 North hanover Street
Glasgow, G1 2AD UK
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!Buntine, Authors!Muggleton, Authors!Plotkin, GNU GPL,
Implies, Least General Generalization, Machine Learning,
Prolog!Code, Subsumption
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
Last Web update on Mon Feb 13 10:24:29 1995
AI.Repository@cs.cmu.edu