Skip to content

Commit d15f040

Browse files
TeamSPoonTeamSPoon
committed
Initial Commit
0 parents  commit d15f040

File tree

522 files changed

+222163
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

522 files changed

+222163
-0
lines changed

‎0.doc

+44
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
Topic: areas/learning/systems/
2+
3+
Summary: Machine Learning Software Packages
4+
5+
Description:
6+
7+
This directory contains machine learning software packages.
8+
9+
Origin: FTP repositories for machine learning include
10+
ftp.ics.uci.edu:/pub/
11+
cs.utexas.edu:/pub/mooney/
12+
ftp.gmd.de:/gmd/mlt/ML-Program-Library/
13+
ftp.gmd.de:/MachineLearning/
14+
15+
CD-ROM: Prime Time Freeware for AI, Issue 1-1
16+
17+
Keywords:
18+
19+
Machine Learning
20+
21+
Contains:
22+
23+
accel/ ACCEL: Abduction
24+
classweb/ CLASSWEB: Classit and Cobweb
25+
focl/ FOCL: Expert System Shell and Machine Learning Program
26+
foil/ FOIL: Produces Horn clauses from data expressed as relations.
27+
golem/ GOLEM: Inductive learning algorithm
28+
index/ INDEX: Experimental inductive data engineering system.
29+
learn_pl/ Machine Learning Algorithms Implemented in Prolog
30+
miles/ MILES: Flexible environment for tests with ILP methods.
31+
mobal/ MOBAL: Knowledge Acquisition and Machine Learning System
32+
occam/ Occam: Learning program that combines EBL and SBL
33+
pebls/ PEBLS: Parallel Exemplar-Based Learning System
34+
rwm/ RWM: Refinement With Macros
35+
utexas/ Raymond Mooney's Machine Learning Collection
36+
37+
See Also:
38+
39+
?
40+
41+
References:
42+
43+
?
44+

‎0.html

+51
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
<TITLE>Topic: areas/learning/systems/</TITLE>
2+
<hr>
3+
<b>CMU Artificial Intelligence Repository</b><br>
4+
<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>
5+
<hr>
6+
<H2>Machine Learning Software Packages</H2>
7+
<pre>
8+
<A HREF="./">areas/learning/systems/</A>
9+
10+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/accel/0.html">accel/</A> ACCEL: Abduction
11+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/classweb/0.html">classweb/</A> CLASSWEB: Classit and Cobweb
12+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/focl/0.html">focl/</A> FOCL: Expert System Shell and Machine Learning
13+
Program
14+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/foil/0.html">foil/</A> FOIL: Produces Horn clauses from data expressed
15+
as relations.
16+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/golem/0.html">golem/</A> GOLEM: Inductive learning algorithm
17+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/index/0.html">index/</A> INDEX: Experimental inductive data engineering
18+
system.
19+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/learn_pl/0.html">learn_pl/</A> Machine Learning Algorithms Implemented in Prolog
20+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/miles/0.html">miles/</A> MILES: Flexible environment for tests with ILP
21+
methods.
22+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/mobal/0.html">mobal/</A> MOBAL: Knowledge Acquisition and Machine Learning
23+
System
24+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/oc1/0.html">oc1/</A> OC1: Oblique Classifier 1
25+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/occam/0.html">occam/</A> Occam: Learning program that combines EBL and SBL
26+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/pebls/0.html">pebls/</A> PEBLS: Parallel Exemplar-Based Learning System
27+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/rwm/0.html">rwm/</A> RWM: Refinement With Macros
28+
<A HREF="/afs/cs/project/ai-repository/ai/areas/learning/systems/utexas/0.html">utexas/</A> Raymond Mooney's Machine Learning Collection
29+
30+
Origin:
31+
32+
FTP repositories for machine learning include
33+
<A HREF="ftp://ftp.ics.uci.edu/pub/"> ftp.ics.uci.edu:/pub/</A>
34+
<A HREF="ftp://cs.utexas.edu/pub/mooney/"> cs.utexas.edu:/pub/mooney/</A>
35+
<A HREF="ftp://ftp.gmd.de/gmd/mlt/ML-Program-Library/"> ftp.gmd.de:/gmd/mlt/ML-Program-Library/</A>
36+
<A HREF="ftp://ftp.gmd.de/MachineLearning/"> ftp.gmd.de:/MachineLearning/</A>
37+
</pre>
38+
<listing>
39+
This directory contains machine learning software packages.
40+
</listing>
41+
<hr>
42+
<listing>
43+
CD-ROM: Prime Time Freeware for AI, Issue 1-1
44+
45+
Keywords:
46+
47+
Machine Learning
48+
49+
</listing><hr>
50+
<address>Last Web update on Mon Feb 13 10:24:36 1995 <br>
51+
<A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html">[email protected]</A></address>

‎README.md

+46
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
**Project: Translated Machine Learning Algorithms**
2+
3+
Welcome to the repository containing translations of various machine learning algorithms into MeTTa and new functional logic programming languages using type theory. This project aims to make these algorithms accessible in languages that leverage type theory for enhanced expressiveness and correctness.
4+
5+
## Directories:
6+
7+
### [AQ1](./aq1/)
8+
This directory contains the original source code for the AQ1 algorithm, along with its translation into MeTTa. AQ1 is a reimplementation of Michalski's AQ algorithm, specifically designed to handle attribute vectors. Created by Jeffrey M. Becker, AQ1 offers enhanced capabilities for dealing with complex attribute-based data structures, making it a valuable tool for various machine learning tasks.
9+
10+
### [ARCH1](./arch1/)
11+
Here you'll find the implementation of ARCH1, along with its translation into the new functional logic programming language using type theory. ARCH1, developed by Stefan Wrobel, is an incremental learning procedure based on Patrick Winston's work. This implementation provides a framework for dynamic model updates as new data becomes available, making it a powerful tool for tasks requiring adaptability and real-time learning.
12+
13+
### [ARCH2](./arch2/)
14+
ARCH2's original implementation resides here, along with its translation into MeTTa. ARCH2, devised by Ivan Bratko, offers a minimalistic version of Winston's incremental learning procedure. While more restricted in functionality compared to ARCH1, it provides a lightweight solution for scenarios where simplicity and efficiency are paramount.
15+
16+
### [ATTDSC](./attdsc/)
17+
The ATTDSC algorithm's source code is available here, along with its translation into the new functional logic programming language. Developed by Ivan Bratko, ATTDSC presents an algorithm specifically designed for learning attributional descriptions. By focusing on attributional attributes, this algorithm enables the extraction of meaningful patterns and insights from datasets characterized by attributional structures.
18+
19+
### [COBWEB](./cobweb/)
20+
This directory holds the COBWEB algorithm's original implementation and its translation into MeTTa. COBWEB, implemented by Joerg-Uwe Kietz, is an algorithm for incremental concept formation. Based on Fisher's work, COBWEB dynamically constructs and refines concept hierarchies as new instances are encountered, making it suitable for tasks involving concept learning and categorization.
21+
22+
### [DISCR](./discr/)
23+
You can find the DISCR algorithm's original source code and its translation into the new functional logic programming language here. DISCR, created by Pavel Brazdil, provides a method for generating discriminants from derivation trees. This approach facilitates the extraction of discriminative features or rules from complex data representations, aiding in tasks such as pattern recognition and classification.
24+
25+
### [EBG](./ebg/)
26+
The EBG algorithm is available here, along with its translation into MeTTa. EBG offers implementations of Prolog meta-interpreters for Mitchell's explanation-based generalization. Developed as a tool for explanation-based learning, EBG facilitates the acquisition of generalized knowledge from specific instances, enhancing the efficiency of learning systems.
27+
28+
### [IDT](./idt/)
29+
In this directory, you'll find the implementation of IDT and its translation into the new functional logic programming language using type theory. Crafted by Luis Torgo, IDT is an ID3-like program for inducing decision trees based on the gain-ratio measure. By employing a gain-ratio-based splitting criterion, IDT aims to construct decision trees that effectively capture the underlying structure of the data, enabling accurate classification and prediction.
30+
31+
### [INDEX](./index/)
32+
Here, you can explore the original implementation of the INDEX system and its translation into MeTTa. INDEX is an experimental system for inductive data engineering, designed by Peter A. Flach. This system provides a platform for exploring innovative approaches to data engineering tasks, with a focus on inductive reasoning and knowledge discovery from data.
33+
34+
### [INVERS](./invers/)
35+
The INVERS algorithm's original source code and its translation into the new functional logic programming language are located here. INVERS is an implementation of Steven Muggleton's operators for inverse resolution. By applying absorption and intra-construction operators, INVERS facilitates the process of inverse resolution, which involves deriving hypotheses or explanations from observed data.
36+
37+
### [Logic](./logic/)
38+
This directory contains a collection of logic procedures for learning, along with their translations into MeTTa. Logic is a foundational toolkit including procedures for determination of substitutions, implication, least general generalization, and generalized subsumption. These procedures serve essential functionalities for various learning systems.
39+
40+
### [Occam](./occam/)
41+
Here, you'll find the Occam learning program's original implementation and its translation into the new functional logic programming language. Occam is a learning system that combines Explanation-Based Learning (EBL) and Similarity-Based Learning (SBL). By integrating these two learning paradigms, Occam aims to leverage both explanatory and similarity-based approaches to enhance learning efficiency and generalization performance.
42+
43+
### [VS](./vs/)
44+
The VS algorithm's original source code and its translation into MeTTa are available in this directory. Developed by Luc de Raeth, VS is a reimplementation of the version space algorithm for learning conjunctions. By implementing Mitchell's version space algorithm, VS provides a powerful tool for learning complex conjunctions from data, enabling accurate and interpretable rule discovery.
45+
46+
Feel free to explore each directory to access both the original implementations and their translations. If you have any questions or suggestions, please don't hesitate to reach out!

‎aq1/0.doc

+65
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
Package: areas/learning/systems/learn_pl/aq1/
2+
3+
Name: AQ-Prolog
4+
5+
Summary: Reimplementation of Michalski's AQ for attribute vectors
6+
7+
Version: 14-JAN-94
8+
9+
Description:
10+
11+
This directory contains Jeffrey M. Becker's AQ-PROLOG, a
12+
reimplementation of Michalski's AQ for attribute vectors
13+
14+
Requires: Prolog
15+
16+
Ports: The algorithm is written in Edinburgh Prolog syntax.
17+
18+
Origin: ftp.gmd.de:/gmd/mlt/ML-Program-Library/ [129.26.8.84]
19+
20+
Copying: Copyright (c) 1985 Jeffrey M. Becker
21+
22+
Updated:
23+
24+
CD-ROM: Prime Time Freeware for AI, Issue 1-1
25+
26+
Bug Reports:
27+
28+
Mailing List:
29+
30+
Author(s): Jeffrey M. Becker, Thomas Hoppe
31+
32+
Contact: Thomas Hoppe <[email protected]> (Machine Learning Library)
33+
Projektgruppe KIT
34+
Technische Universitaet Berlin
35+
Franklinstr. 28/29,
36+
10629 Berlin, Germany.
37+
38+
Werner Emde <[email protected]> (ftp library)
39+
Gesellschaft fuer Mathematik und Datenverarbeitung, Bonn
40+
41+
Keywords:
42+
43+
Machine Learning, Prolog!Code, AQ-Prolog, Authors!Becker,
44+
Inductive Learning, Conceptual Clustering, Prolog!Code, Michalski's AQ
45+
46+
Contains: ???
47+
48+
See Also:
49+
50+
References:
51+
52+
Becker, J.M., "AQ-PROLOG: A Prolog Implementation of an
53+
Attribute-Based Learning System", Reports of the Intelligent
54+
Systems Group, Department of Computer Science, University of
55+
Illinois at Urbana-Champaign, Report Number ISG 85-1, January 1985.
56+
57+
Michalski, R.S. and Stepp, R.E., "Learning from Observation:
58+
Conceptual Clustering", in: Machine Learning, Michalski, R.S.,
59+
Carbonell, J.G., Mitchell, T.M. (eds.), Tioga Publishing Company, Palo
60+
Alto, 1983.
61+
62+
Michalski, R.S., "Inductive Learning", in: Machine Learning, Michalski,
63+
R.S., Carbonell, J.G., Mitchell, T.M. (eds.), Tioga Publishing
64+
Company, Palo Alto, 1983.
65+

‎aq1/0.html

+67
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
1+
<TITLE>Package: areas/learning/systems/learn_pl/aq1/</TITLE>
2+
<hr>
3+
<b>CMU Artificial Intelligence Repository</b><br>
4+
<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>
5+
<hr>
6+
<H2>AQ-Prolog: Reimplementation of Michalski's AQ for attribute
7+
vectors</H2>
8+
<pre>
9+
<A HREF="./">areas/learning/systems/learn_pl/aq1/</A>
10+
</pre>
11+
<listing>
12+
This directory contains Jeffrey M. Becker's AQ-PROLOG, a
13+
reimplementation of Michalski's AQ for attribute vectors
14+
</listing>
15+
<pre>
16+
Origin:
17+
18+
<A HREF="ftp://ftp.gmd.de/gmd/mlt/ML-Program-Library/">ftp.gmd.de:/gmd/mlt/ML-Program-Library/ [129.26.8.84]</A>
19+
</pre>
20+
<hr>
21+
<listing>
22+
Version: 14-JAN-94
23+
24+
Requires: Prolog
25+
26+
Ports: The algorithm is written in Edinburgh Prolog syntax.
27+
28+
Copying: Copyright (c) 1985 Jeffrey M. Becker
29+
30+
CD-ROM: Prime Time Freeware for AI, Issue 1-1
31+
32+
Author(s): Jeffrey M. Becker, Thomas Hoppe
33+
34+
Contact: Thomas Hoppe <hoppet@cs.tu-berlin.de> (Machine Learning Library)
35+
Projektgruppe KIT
36+
Technische Universitaet Berlin
37+
Franklinstr. 28/29,
38+
10629 Berlin, Germany.
39+
40+
Werner Emde <emde@gmd.de> (ftp library)
41+
Gesellschaft fuer Mathematik und Datenverarbeitung, Bonn
42+
43+
Keywords:
44+
45+
AQ-Prolog, Authors!Becker, Conceptual Clustering,
46+
Inductive Learning, Machine Learning, Michalski's AQ,
47+
Prolog!Code, Prolog!Code
48+
49+
References:
50+
51+
Becker, J.M., "AQ-PROLOG: A Prolog Implementation of an
52+
Attribute-Based Learning System", Reports of the Intelligent
53+
Systems Group, Department of Computer Science, University of
54+
Illinois at Urbana-Champaign, Report Number ISG 85-1, January 1985.
55+
56+
Michalski, R.S. and Stepp, R.E., "Learning from Observation:
57+
Conceptual Clustering", in: Machine Learning, Michalski, R.S.,
58+
Carbonell, J.G., Mitchell, T.M. (eds.), Tioga Publishing Company, Palo
59+
Alto, 1983.
60+
61+
Michalski, R.S., "Inductive Learning", in: Machine Learning, Michalski,
62+
R.S., Carbonell, J.G., Mitchell, T.M. (eds.), Tioga Publishing
63+
Company, Palo Alto, 1983.
64+
65+
</listing><hr>
66+
<address>Last Web update on Mon Feb 13 10:24:22 1995 <br>
67+
<A HREF="/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html">[email protected]</A></address>

0 commit comments

Comments
 (0)