-
Notifications
You must be signed in to change notification settings - Fork 1
/
0.html
executable file
·61 lines (48 loc) · 2.8 KB
/
0.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
<TITLE>Package: areas/learning/systems/learn_pl/invers/</TITLE>
<hr>
<b>CMU Artificial Intelligence Repository</b><br>
<tt><A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html"><IMG ALIGN=MIDDLE SRC="/afs/cs.cmu.edu/project/ai-repository/ai/html/gif/home.gif" ALT="Home"></A> <A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/rep_info.html"><IMG ALIGN=MIDDLE SRC="/afs/cs.cmu.edu/project/ai-repository/ai/html/gif/info.gif" ALT="INFO"></A> <A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/keys/keysform.html"><IMG ALIGN=MIDDLE SRC="/afs/cs.cmu.edu/project/ai-repository/ai/html/gif/search.gif" ALT="Search"></A> <A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/faqs/top.html"><IMG ALIGN=MIDDLE SRC="/afs/cs.cmu.edu/project/ai-repository/ai/html/gif/faqs.gif" ALT="FAQs"></A> <A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/0.html"><IMG ALIGN=MIDDLE SRC="/afs/cs.cmu.edu/project/ai-repository/ai/html/gif/top.gif" ALT="Repository Root"></A> </tt>
<hr>
<H2>INVERS: Two versions of the two main operators for inverse
resolution.</H2>
<pre>
<A HREF="./">areas/learning/systems/learn_pl/invers/</A>
</pre>
<listing>
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.
</listing>
<pre>
Origin:
<A HREF="ftp://ftp.gmd.de/gmd/mlt/ML-Program-Library/">ftp.gmd.de:/gmd/mlt/ML-Program-Library/ [129.26.8.84]</A>
</pre>
<hr>
<listing>
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 <[email protected]> (Machine Learning Library)
Projektgruppe KIT
Technische Universitaet Berlin
Franklinstr. 28/29,
10629 Berlin, Germany.
Werner Emde <[email protected]> (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.
</listing><hr>
<address>Last Web update on Mon Feb 13 10:24:27 1995 <br>
<A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html">[email protected]</A></address>