Difference between revisions of "Directory:Jon Awbrey/Projects/Theme One Program"

Revision as of 02:25, 9 July 2013

If anybody is looking for a programming project, I will post here some data on the Theme One Program that I worked on all through the 1980s. The aim was to develop fundamental algorithms and data structures to support an integrated learning and reasoning interface. I wrote up a pilot version of the program well enough to get a Master's degree out of it, but still haven't gotten around to writing up the complete documentation. Below are some links to what I've put on the web so far.

@@ Line 167: / Line 167: @@
 # http://stderr.org/pipermail/inquiry/2005-February/002362.html
 # http://stderr.org/pipermail/inquiry/2005-February/002363.html
+[[Category:Adaptive Systems]]
+[[Category:Artificial Intelligence]]
+[[Category:Automated Reasoning]]
+[[Category:Charles Sanders Peirce]]
+[[Category:Constraint Satisfaction]]
+[[Category:Declarative Programming]]
+[[Category:Formal Languages]]
+[[Category:Graph Theory]]
+[[Category:Inquiry]]
+[[Category:Inquiry Driven Systems]]
+[[Category:Learning Systems]]
+[[Category:Learning Theory]]
+[[Category:Logic]]
+[[Category:Logical Graphs]]
+[[Category:Logical Modeling]]
+[[Category:Model Theory]]
+[[Category:Programming]]
+[[Category:Propositional Calculus]]
+[[Category:Scientific Method]]
+[[Category:Semiotics]]
+[[Category:Sign Relations]]