Project : Theme One Program

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.

Working Papers in Various Stages of Being Re-Worked

• Theme One Program : Exposition

TOP. Theme One Program : Source Code

• http://stderr.org/pipermail/inquiry/2003-March/thread.html#117

1. http://stderr.org/pipermail/inquiry/2003-March/000117.html
2. http://stderr.org/pipermail/inquiry/2003-March/000118.html
3. http://stderr.org/pipermail/inquiry/2003-March/000119.html
4. http://stderr.org/pipermail/inquiry/2003-March/000120.html
5. http://stderr.org/pipermail/inquiry/2003-March/000121.html

• Turbo Pascal Source Code : http://www.iki.fi/~kartturi/Awbrey/Theme1Prog/Assembly/Theme1.pas

TOP. Theme One Program : User Manual and Guide

• Initial Manual : http://www.iki.fi/~kartturi/Awbrey/Theme1Prog/Assembly/Theme1Manual.doc
• Expanded Guide : http://www.iki.fi/~kartturi/Awbrey/Theme1Prog/Theme1Guide.doc

TOP. Theme One Program : Motivation

• http://stderr.org/pipermail/inquiry/2003-March/thread.html#143

1. http://stderr.org/pipermail/inquiry/2003-March/000143.html
2. http://stderr.org/pipermail/inquiry/2003-March/000183.html

TOP. Theme One Program : Commentary (2003)

• http://stderr.org/pipermail/inquiry/2003-March/thread.html#122

1. http://stderr.org/pipermail/inquiry/2003-March/000122.html
2. http://stderr.org/pipermail/inquiry/2003-March/000123.html
3. http://stderr.org/pipermail/inquiry/2003-March/000124.html
4. http://stderr.org/pipermail/inquiry/2003-March/000125.html
5. http://stderr.org/pipermail/inquiry/2003-March/000144.html
6. http://stderr.org/pipermail/inquiry/2003-March/000145.html
7. http://stderr.org/pipermail/inquiry/2003-March/000146.html
8. http://stderr.org/pipermail/inquiry/2003-March/000147.html
9. http://stderr.org/pipermail/inquiry/2003-March/000148.html
10. http://stderr.org/pipermail/inquiry/2003-March/000149.html
11. http://stderr.org/pipermail/inquiry/2003-March/000150.html
12. http://stderr.org/pipermail/inquiry/2003-March/000151.html
13. http://stderr.org/pipermail/inquiry/2003-March/000152.html
14. http://stderr.org/pipermail/inquiry/2003-March/000153.html
15. http://stderr.org/pipermail/inquiry/2003-March/000154.html
16. http://stderr.org/pipermail/inquiry/2003-March/000155.html
17. http://stderr.org/pipermail/inquiry/2003-March/000156.html
18. http://stderr.org/pipermail/inquiry/2003-March/000157.html
19. http://stderr.org/pipermail/inquiry/2003-March/000158.html
20. http://stderr.org/pipermail/inquiry/2003-March/000159.html
21. http://stderr.org/pipermail/inquiry/2003-March/000160.html — Fore
22. http://stderr.org/pipermail/inquiry/2003-March/000162.html — Graft
23. http://stderr.org/pipermail/inquiry/2003-March/000163.html — Pinch
24. http://stderr.org/pipermail/inquiry/2003-March/000164.html — Switch
25. http://stderr.org/pipermail/inquiry/2003-March/000165.html — Stitch
26. http://stderr.org/pipermail/inquiry/2003-March/000166.html — Splice
27. http://stderr.org/pipermail/inquiry/2003-March/000167.html — List
28. http://stderr.org/pipermail/inquiry/2003-March/000168.html — Roll
29. http://stderr.org/pipermail/inquiry/2003-March/000169.html — Image
30. http://stderr.org/pipermail/inquiry/2003-March/000170.html — Token
31. http://stderr.org/pipermail/inquiry/2003-March/000171.html — Tally
32. http://stderr.org/pipermail/inquiry/2003-March/000172.html — Gist

TOP. Theme One Program : Exposition (2003)

• http://stderr.org/pipermail/inquiry/2003-March/thread.html#102

1. http://stderr.org/pipermail/inquiry/2003-March/000102.html
2. http://stderr.org/pipermail/inquiry/2003-March/000103.html
3. http://stderr.org/pipermail/inquiry/2003-March/000104.html
4. http://stderr.org/pipermail/inquiry/2003-March/000105.html
5. http://stderr.org/pipermail/inquiry/2003-March/000106.html
6. http://stderr.org/pipermail/inquiry/2003-March/000107.html
7. http://stderr.org/pipermail/inquiry/2003-March/000108.html
8. http://stderr.org/pipermail/inquiry/2003-March/000109.html
9. http://stderr.org/pipermail/inquiry/2003-March/000110.html
10. http://stderr.org/pipermail/inquiry/2003-March/000111.html
11. http://stderr.org/pipermail/inquiry/2003-March/000112.html
12. http://stderr.org/pipermail/inquiry/2003-March/000113.html
13. http://stderr.org/pipermail/inquiry/2003-March/000114.html
14. http://stderr.org/pipermail/inquiry/2003-March/000115.html
15. http://stderr.org/pipermail/inquiry/2003-March/000116.html

TOP. Theme One Program : Commentary (2005)

• http://stderr.org/pipermail/inquiry/2005-January/thread.html#2268
• http://stderr.org/pipermail/inquiry/2005-February/thread.html#2334

1. http://stderr.org/pipermail/inquiry/2005-January/002268.html
2. http://stderr.org/pipermail/inquiry/2005-January/002269.html
3. http://stderr.org/pipermail/inquiry/2005-January/002270.html
4. http://stderr.org/pipermail/inquiry/2005-January/002271.html
5. http://stderr.org/pipermail/inquiry/2005-January/002272.html
6. http://stderr.org/pipermail/inquiry/2005-January/002273.html
7. http://stderr.org/pipermail/inquiry/2005-January/002274.html
8. http://stderr.org/pipermail/inquiry/2005-January/002275.html
9. http://stderr.org/pipermail/inquiry/2005-January/002276.html
10. http://stderr.org/pipermail/inquiry/2005-January/002277.html
11. http://stderr.org/pipermail/inquiry/2005-January/002278.html
12. http://stderr.org/pipermail/inquiry/2005-January/002279.html
13. http://stderr.org/pipermail/inquiry/2005-January/002281.html
14. http://stderr.org/pipermail/inquiry/2005-January/002282.html
15. http://stderr.org/pipermail/inquiry/2005-January/002283.html
16. http://stderr.org/pipermail/inquiry/2005-January/002284.html
17. http://stderr.org/pipermail/inquiry/2005-January/002285.html
18. http://stderr.org/pipermail/inquiry/2005-January/002286.html
19. http://stderr.org/pipermail/inquiry/2005-January/002287.html
20. http://stderr.org/pipermail/inquiry/2005-January/002312.html
21. http://stderr.org/pipermail/inquiry/2005-January/002289.html — Fore
22. http://stderr.org/pipermail/inquiry/2005-January/002290.html — Graft
23. http://stderr.org/pipermail/inquiry/2005-January/002291.html — Pinch
24. http://stderr.org/pipermail/inquiry/2005-January/002292.html — Switch
25. http://stderr.org/pipermail/inquiry/2005-January/002293.html — Stitch
26. http://stderr.org/pipermail/inquiry/2005-January/002294.html — Splice
27. http://stderr.org/pipermail/inquiry/2005-January/002295.html — List
28. http://stderr.org/pipermail/inquiry/2005-January/002296.html — Roll
29. http://stderr.org/pipermail/inquiry/2005-January/002297.html — Image
30. http://stderr.org/pipermail/inquiry/2005-January/002298.html — Token
31. http://stderr.org/pipermail/inquiry/2005-January/002299.html — Tally
32. http://stderr.org/pipermail/inquiry/2005-January/002300.html — Gist
33. http://stderr.org/pipermail/inquiry/2005-January/002304.html — Gage
34. http://stderr.org/pipermail/inquiry/2005-January/002305.html — Find
35. http://stderr.org/pipermail/inquiry/2005-January/002306.html — Suit
36. http://stderr.org/pipermail/inquiry/2005-January/002307.html — Coup
37. http://stderr.org/pipermail/inquiry/2005-January/002308.html — Stem
38. http://stderr.org/pipermail/inquiry/2005-January/002309.html — Sequel
39. http://stderr.org/pipermail/inquiry/2005-January/002310.html — Coupon
40. http://stderr.org/pipermail/inquiry/2005-January/002313.html — Gate
41. http://stderr.org/pipermail/inquiry/2005-January/002314.html — Knap
42. http://stderr.org/pipermail/inquiry/2005-January/002315.html — Knot
43. http://stderr.org/pipermail/inquiry/2005-January/002316.html — Respect
44. http://stderr.org/pipermail/inquiry/2005-January/002317.html — Suspect
45. http://stderr.org/pipermail/inquiry/2005-January/002318.html — Aspect
46. http://stderr.org/pipermail/inquiry/2005-January/002319.html — Apse
47. http://stderr.org/pipermail/inquiry/2005-January/002324.html — Sape
48. http://stderr.org/pipermail/inquiry/2005-January/002325.html — Pase
49. http://stderr.org/pipermail/inquiry/2005-January/002326.html — Apes
50. http://stderr.org/pipermail/inquiry/2005-February/002334.html — Apes
51. http://stderr.org/pipermail/inquiry/2005-February/002335.html — Like
52. http://stderr.org/pipermail/inquiry/2005-February/002336.html — Axil
53. http://stderr.org/pipermail/inquiry/2005-February/002337.html — Grasp
54. http://stderr.org/pipermail/inquiry/2005-February/002338.html — Fret
55. http://stderr.org/pipermail/inquiry/2005-February/002339.html — Deal
56. http://stderr.org/pipermail/inquiry/2005-February/002340.html — Lode
57. http://stderr.org/pipermail/inquiry/2005-February/002341.html — Lade
58. http://stderr.org/pipermail/inquiry/2005-February/002342.html — Lead

TOP. Theme One Program : Exposition (2005)

• http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348

1. http://stderr.org/pipermail/inquiry/2005-February/002348.html
2. http://stderr.org/pipermail/inquiry/2005-February/002349.html
3. http://stderr.org/pipermail/inquiry/2005-February/002350.html
4. http://stderr.org/pipermail/inquiry/2005-February/002351.html
5. http://stderr.org/pipermail/inquiry/2005-February/002352.html
6. http://stderr.org/pipermail/inquiry/2005-February/002353.html
7. http://stderr.org/pipermail/inquiry/2005-February/002354.html
8. http://stderr.org/pipermail/inquiry/2005-February/002355.html
9. http://stderr.org/pipermail/inquiry/2005-February/002356.html
10. http://stderr.org/pipermail/inquiry/2005-February/002357.html
11. http://stderr.org/pipermail/inquiry/2005-February/002358.html
12. http://stderr.org/pipermail/inquiry/2005-February/002359.html
13. http://stderr.org/pipermail/inquiry/2005-February/002360.html
14. http://stderr.org/pipermail/inquiry/2005-February/002361.html
15. http://stderr.org/pipermail/inquiry/2005-February/002362.html
16. http://stderr.org/pipermail/inquiry/2005-February/002363.html