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

MyWikiBiz, Author Your Legacy — Saturday November 30, 2024
Jump to navigationJump to search
(update with waybak links)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
{{DISPLAYTITLE:Project : Theme One Program}}
 
{{DISPLAYTITLE:Project : Theme One Program}}
 +
'''Author: [[User:Jon Awbrey|Jon Awbrey]]'''
 +
 
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.
 
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==
 
==Working Papers in Various Stages of Being Re-Worked==
  
* [[Directory:Jon Awbrey/Papers/Theme One Program : Exposition|Theme One Program : Exposition]]
+
* [[Theme One Program : Exposition]]
 +
 
 +
* Awbrey, S.M., and Awbrey, J.L. (May 1991), “An Architecture for Inquiry : Building Computer Platforms for Discovery”, ''Proceedings of the Eighth International Conference on Technology and Education'', Toronto, Canada, pp. 874–875.  [https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Computer_Platforms_for_Discovery Online].
 +
 
 +
* Awbrey, J.L., and Awbrey, S.M. (January 1991), “Exploring Research Data Interactively : Developing a Computer Architecture for Inquiry”, Poster presented at the ''Annual Sigma Xi Research Forum'', University of Texas Medical Branch, Galveston, TX.
 +
 
 +
* Awbrey, J.L., and Awbrey, S.M. (August 1990), “Exploring Research Data Interactively. Theme One : A Program of Inquiry”, ''Proceedings of the Sixth Annual Conference on Applications of  Artificial Intelligence and CD-ROM in Education and Training'', Society for Applied Learning Technology, Washington, DC, pp. 9–15.  [https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry Online].
 +
 
 +
==Sample Applications==
 +
 
 +
* [[Qualitative Analysis of Sequential Interaction Data]]
 +
 
 +
==TOP. Theme One Program : Source Code==
  
==TOP. Theme One Program : Source Code==
+
; Turbo Pascal Source Code
 +
: [https://www.academia.edu/5210987/Theme_One_Program_Pascal_Source_Code Academe.edu]
 +
: [http://web.archive.org/web/20071021145218/http://ndirty.cute.fi/~karttu/Awbrey/Theme1Prog/Assembly/Theme1.pas Web Archive]
  
* http://stderr.org/pipermail/inquiry/2003-March/thread.html#117
+
* http://web.archive.org/web/20150224210000/http://stderr.org/pipermail/inquiry/2003-March/thread.html#117
# http://stderr.org/pipermail/inquiry/2003-March/000117.html
+
# http://web.archive.org/web/20150224210656/http://stderr.org/pipermail/inquiry/2003-March/000117.html
# http://stderr.org/pipermail/inquiry/2003-March/000118.html
+
# http://web.archive.org/web/20150224210656/http://stderr.org/pipermail/inquiry/2003-March/000118.html
# http://stderr.org/pipermail/inquiry/2003-March/000119.html
+
# http://web.archive.org/web/20080726185524/http://stderr.org/pipermail/inquiry/2003-March/000119.html
# http://stderr.org/pipermail/inquiry/2003-March/000120.html
+
# http://web.archive.org/web/20080726183302/http://stderr.org/pipermail/inquiry/2003-March/000120.html
# http://stderr.org/pipermail/inquiry/2003-March/000121.html
+
# http://web.archive.org/web/20080907004117/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==
  
==TOP. Theme One Program : User Manual and Guide==
+
; Expanded Guide
 +
: [https://www.academia.edu/5211369/Theme_One_Program_User_Guide Academe.edu]
 +
: [http://web.archive.org/web/20071021145200/http://ndirty.cute.fi/~karttu/Awbrey/Theme1Prog/Theme1Guide.doc Web Archive]
  
* Initial Manual : http://www.iki.fi/~kartturi/Awbrey/Theme1Prog/Assembly/Theme1Manual.doc
+
; Initial Manual
* Expanded Guide : http://www.iki.fi/~kartturi/Awbrey/Theme1Prog/Theme1Guide.doc
+
: [http://web.archive.org/web/20071021150138/http://ndirty.cute.fi/~karttu/Awbrey/Theme1Prog/Assembly/Theme1Manual.doc Web Archive]
  
==TOP. Theme One Program : Motivation==
+
==TOP. Theme One Program : Motivation==
  
* http://stderr.org/pipermail/inquiry/2003-March/thread.html#143
+
* http://web.archive.org/web/20150224210000/http://stderr.org/pipermail/inquiry/2003-March/thread.html#143
# http://stderr.org/pipermail/inquiry/2003-March/000143.html
+
# http://web.archive.org/web/20081012105006/http://stderr.org/pipermail/inquiry/2003-March/000143.html
# http://stderr.org/pipermail/inquiry/2003-March/000183.html
+
# http://web.archive.org/web/20080723213003/http://stderr.org/pipermail/inquiry/2003-March/000183.html
  
==TOP. Theme One Program : Commentary (2003)==
+
==TOP. Theme One Program : Commentary (2003)==
  
* http://stderr.org/pipermail/inquiry/2003-March/thread.html#122
+
* http://web.archive.org/web/20150224210000/http://stderr.org/pipermail/inquiry/2003-March/thread.html#122
# http://stderr.org/pipermail/inquiry/2003-March/000122.html
+
# http://web.archive.org/web/20080726184923/http://stderr.org/pipermail/inquiry/2003-March/000122.html
# http://stderr.org/pipermail/inquiry/2003-March/000123.html
+
# http://web.archive.org/web/20080723212459/http://stderr.org/pipermail/inquiry/2003-March/000123.html
# http://stderr.org/pipermail/inquiry/2003-March/000124.html
+
# http://web.archive.org/web/20080723213155/http://stderr.org/pipermail/inquiry/2003-March/000124.html
# http://stderr.org/pipermail/inquiry/2003-March/000125.html
+
# http://web.archive.org/web/20080723212435/http://stderr.org/pipermail/inquiry/2003-March/000125.html
# http://stderr.org/pipermail/inquiry/2003-March/000144.html
+
# http://web.archive.org/web/20080726183356/http://stderr.org/pipermail/inquiry/2003-March/000144.html
# http://stderr.org/pipermail/inquiry/2003-March/000145.html
+
# http://web.archive.org/web/20080723213419/http://stderr.org/pipermail/inquiry/2003-March/000145.html
# http://stderr.org/pipermail/inquiry/2003-March/000146.html
+
# http://web.archive.org/web/20080723213339/http://stderr.org/pipermail/inquiry/2003-March/000146.html
# http://stderr.org/pipermail/inquiry/2003-March/000147.html
+
# http://web.archive.org/web/20080723212555/http://stderr.org/pipermail/inquiry/2003-March/000147.html
# http://stderr.org/pipermail/inquiry/2003-March/000148.html
+
# http://web.archive.org/web/20080726183203/http://stderr.org/pipermail/inquiry/2003-March/000148.html
# http://stderr.org/pipermail/inquiry/2003-March/000149.html
+
# http://web.archive.org/web/20080726184940/http://stderr.org/pipermail/inquiry/2003-March/000149.html
# http://stderr.org/pipermail/inquiry/2003-March/000150.html
+
# http://web.archive.org/web/20080723212755/http://stderr.org/pipermail/inquiry/2003-March/000150.html
# http://stderr.org/pipermail/inquiry/2003-March/000151.html
+
# http://web.archive.org/web/20080726185750/http://stderr.org/pipermail/inquiry/2003-March/000151.html
# http://stderr.org/pipermail/inquiry/2003-March/000152.html
+
# http://web.archive.org/web/20080726185808/http://stderr.org/pipermail/inquiry/2003-March/000152.html
# http://stderr.org/pipermail/inquiry/2003-March/000153.html
+
# http://web.archive.org/web/20080726184058/http://stderr.org/pipermail/inquiry/2003-March/000153.html
# http://stderr.org/pipermail/inquiry/2003-March/000154.html
+
# http://web.archive.org/web/20081012105921/http://stderr.org/pipermail/inquiry/2003-March/000154.html
# http://stderr.org/pipermail/inquiry/2003-March/000155.html
+
# http://web.archive.org/web/20080726184428/http://stderr.org/pipermail/inquiry/2003-March/000155.html
# http://stderr.org/pipermail/inquiry/2003-March/000156.html
+
# http://web.archive.org/web/20080723212811/http://stderr.org/pipermail/inquiry/2003-March/000156.html
# http://stderr.org/pipermail/inquiry/2003-March/000157.html
+
# http://web.archive.org/web/20080723213523/http://stderr.org/pipermail/inquiry/2003-March/000157.html
# http://stderr.org/pipermail/inquiry/2003-March/000158.html
+
# http://web.archive.org/web/20080723213659/http://stderr.org/pipermail/inquiry/2003-March/000158.html
# http://stderr.org/pipermail/inquiry/2003-March/000159.html
+
# http://web.archive.org/web/20080726184624/http://stderr.org/pipermail/inquiry/2003-March/000159.html
# http://stderr.org/pipermail/inquiry/2003-March/000160.html Fore
+
# http://web.archive.org/web/20080723213427/http://stderr.org/pipermail/inquiry/2003-March/000160.html — Fore
# http://stderr.org/pipermail/inquiry/2003-March/000162.html Graft
+
# http://web.archive.org/web/20080726184302/http://stderr.org/pipermail/inquiry/2003-March/000162.html — Graft
# http://stderr.org/pipermail/inquiry/2003-March/000163.html Pinch
+
# http://web.archive.org/web/20080726185647/http://stderr.org/pipermail/inquiry/2003-March/000163.html — Pinch
# http://stderr.org/pipermail/inquiry/2003-March/000164.html Switch
+
# http://web.archive.org/web/20080726184140/http://stderr.org/pipermail/inquiry/2003-March/000164.html — Switch
# http://stderr.org/pipermail/inquiry/2003-March/000165.html Stitch
+
# http://web.archive.org/web/20081012110210/http://stderr.org/pipermail/inquiry/2003-March/000165.html — Stitch
# http://stderr.org/pipermail/inquiry/2003-March/000166.html Splice
+
# http://web.archive.org/web/20080726190007/http://stderr.org/pipermail/inquiry/2003-March/000166.html — Splice
# http://stderr.org/pipermail/inquiry/2003-March/000167.html List
+
# http://web.archive.org/web/20080723212707/http://stderr.org/pipermail/inquiry/2003-March/000167.html — List
# http://stderr.org/pipermail/inquiry/2003-March/000168.html Roll
+
# http://web.archive.org/web/20081007064944/http://stderr.org/pipermail/inquiry/2003-March/000168.html — Roll
# http://stderr.org/pipermail/inquiry/2003-March/000169.html Image
+
# http://web.archive.org/web/20081120100907/http://stderr.org/pipermail/inquiry/2003-March/000169.html — Image
# http://stderr.org/pipermail/inquiry/2003-March/000170.html Token
+
# http://web.archive.org/web/20081007063122/http://stderr.org/pipermail/inquiry/2003-March/000170.html — Token
# http://stderr.org/pipermail/inquiry/2003-March/000171.html Tally
+
# http://web.archive.org/web/20100428014628/http://stderr.org/pipermail/inquiry/2003-March/000171.html — Tally
# http://stderr.org/pipermail/inquiry/2003-March/000172.html Gist
+
# http://web.archive.org/web/20081012105605/http://stderr.org/pipermail/inquiry/2003-March/000172.html — Gist
  
==TOP. Theme One Program : Exposition (2003)==
+
==TOP. Theme One Program : Exposition (2003)==
  
* http://stderr.org/pipermail/inquiry/2003-March/thread.html#102
+
* http://web.archive.org/web/20150224210000/http://stderr.org/pipermail/inquiry/2003-March/thread.html#102
# http://stderr.org/pipermail/inquiry/2003-March/000102.html
+
# http://web.archive.org/web/20150224210600/http://stderr.org/pipermail/inquiry/2003-March/000102.html
# http://stderr.org/pipermail/inquiry/2003-March/000103.html
+
# http://web.archive.org/web/20150224210601/http://stderr.org/pipermail/inquiry/2003-March/000103.html
# http://stderr.org/pipermail/inquiry/2003-March/000104.html
+
# http://web.archive.org/web/20061013222119/http://stderr.org/pipermail/inquiry/2003-March/000104.html
# http://stderr.org/pipermail/inquiry/2003-March/000105.html
+
# http://web.archive.org/web/20080908074156/http://stderr.org/pipermail/inquiry/2003-March/000105.html
# http://stderr.org/pipermail/inquiry/2003-March/000106.html
+
# http://web.archive.org/web/20081012073249/http://stderr.org/pipermail/inquiry/2003-March/000106.html
# http://stderr.org/pipermail/inquiry/2003-March/000107.html
+
# http://web.archive.org/web/20081007071618/http://stderr.org/pipermail/inquiry/2003-March/000107.html
# http://stderr.org/pipermail/inquiry/2003-March/000108.html
+
# http://web.archive.org/web/20080828013646/http://stderr.org/pipermail/inquiry/2003-March/000108.html
# http://stderr.org/pipermail/inquiry/2003-March/000109.html
+
# http://web.archive.org/web/20081006115254/http://stderr.org/pipermail/inquiry/2003-March/000109.html
# http://stderr.org/pipermail/inquiry/2003-March/000110.html
+
# http://web.archive.org/web/20081012104413/http://stderr.org/pipermail/inquiry/2003-March/000110.html
# http://stderr.org/pipermail/inquiry/2003-March/000111.html
+
# http://web.archive.org/web/20081007042925/http://stderr.org/pipermail/inquiry/2003-March/000111.html
# http://stderr.org/pipermail/inquiry/2003-March/000112.html
+
# http://web.archive.org/web/20080829043118/http://stderr.org/pipermail/inquiry/2003-March/000112.html
# http://stderr.org/pipermail/inquiry/2003-March/000113.html
+
# http://web.archive.org/web/20081007065533/http://stderr.org/pipermail/inquiry/2003-March/000113.html
# http://stderr.org/pipermail/inquiry/2003-March/000114.html
+
# http://web.archive.org/web/20081007043317/http://stderr.org/pipermail/inquiry/2003-March/000114.html
# http://stderr.org/pipermail/inquiry/2003-March/000115.html
+
# http://web.archive.org/web/20080908075558/http://stderr.org/pipermail/inquiry/2003-March/000115.html
# http://stderr.org/pipermail/inquiry/2003-March/000116.html
+
# http://web.archive.org/web/20080908080336/http://stderr.org/pipermail/inquiry/2003-March/000116.html
  
==TOP. Theme One Program : Commentary (2005)==
+
==TOP. Theme One Program : Commentary (2005)==
  
* http://stderr.org/pipermail/inquiry/2005-January/thread.html#2268
+
* http://web.archive.org/web/20150302015403/http://stderr.org/pipermail/inquiry/2005-January/thread.html#2268
* http://stderr.org/pipermail/inquiry/2005-February/thread.html#2334
+
* http://web.archive.org/web/20150109155110/http://stderr.org/pipermail/inquiry/2005-February/thread.html#2334
# http://stderr.org/pipermail/inquiry/2005-January/002268.html
+
# http://web.archive.org/web/20150302020032/http://stderr.org/pipermail/inquiry/2005-January/002268.html
# http://stderr.org/pipermail/inquiry/2005-January/002269.html
+
# http://web.archive.org/web/20081007070503/http://stderr.org/pipermail/inquiry/2005-January/002269.html
# http://stderr.org/pipermail/inquiry/2005-January/002270.html
+
# http://web.archive.org/web/20080828012431/http://stderr.org/pipermail/inquiry/2005-January/002270.html
# http://stderr.org/pipermail/inquiry/2005-January/002271.html
+
# http://web.archive.org/web/20081006121525/http://stderr.org/pipermail/inquiry/2005-January/002271.html
# http://stderr.org/pipermail/inquiry/2005-January/002272.html
+
# http://web.archive.org/web/20080908080622/http://stderr.org/pipermail/inquiry/2005-January/002272.html
# http://stderr.org/pipermail/inquiry/2005-January/002273.html
+
# http://web.archive.org/web/20081007062844/http://stderr.org/pipermail/inquiry/2005-January/002273.html
# http://stderr.org/pipermail/inquiry/2005-January/002274.html
+
# http://web.archive.org/web/20080828013116/http://stderr.org/pipermail/inquiry/2005-January/002274.html
# http://stderr.org/pipermail/inquiry/2005-January/002275.html
+
# http://web.archive.org/web/20080907001549/http://stderr.org/pipermail/inquiry/2005-January/002275.html
# http://stderr.org/pipermail/inquiry/2005-January/002276.html
+
# http://web.archive.org/web/20081006113823/http://stderr.org/pipermail/inquiry/2005-January/002276.html
# http://stderr.org/pipermail/inquiry/2005-January/002277.html
+
# http://web.archive.org/web/20081006120532/http://stderr.org/pipermail/inquiry/2005-January/002277.html
# http://stderr.org/pipermail/inquiry/2005-January/002278.html
+
# http://web.archive.org/web/20081007051556/http://stderr.org/pipermail/inquiry/2005-January/002278.html
# http://stderr.org/pipermail/inquiry/2005-January/002279.html
+
# http://web.archive.org/web/20081007043810/http://stderr.org/pipermail/inquiry/2005-January/002279.html
# http://stderr.org/pipermail/inquiry/2005-January/002281.html
+
# http://web.archive.org/web/20080828013747/http://stderr.org/pipermail/inquiry/2005-January/002281.html
# http://stderr.org/pipermail/inquiry/2005-January/002282.html
+
# http://web.archive.org/web/20081006123434/http://stderr.org/pipermail/inquiry/2005-January/002282.html
# http://stderr.org/pipermail/inquiry/2005-January/002283.html
+
# http://web.archive.org/web/20080908073248/http://stderr.org/pipermail/inquiry/2005-January/002283.html
# http://stderr.org/pipermail/inquiry/2005-January/002284.html
+
# http://web.archive.org/web/20081007070605/http://stderr.org/pipermail/inquiry/2005-January/002284.html
# http://stderr.org/pipermail/inquiry/2005-January/002285.html
+
# http://web.archive.org/web/20080828012801/http://stderr.org/pipermail/inquiry/2005-January/002285.html
# http://stderr.org/pipermail/inquiry/2005-January/002286.html
+
# http://web.archive.org/web/20080907003308/http://stderr.org/pipermail/inquiry/2005-January/002286.html
# http://stderr.org/pipermail/inquiry/2005-January/002287.html
+
# http://web.archive.org/web/20081006122719/http://stderr.org/pipermail/inquiry/2005-January/002287.html
# http://stderr.org/pipermail/inquiry/2005-January/002312.html
+
# http://web.archive.org/web/20081007044056/http://stderr.org/pipermail/inquiry/2005-January/002312.html
# http://stderr.org/pipermail/inquiry/2005-January/002289.html — Fore
+
# http://web.archive.org/web/20081007045706/http://stderr.org/pipermail/inquiry/2005-January/002289.html — Fore
# http://stderr.org/pipermail/inquiry/2005-January/002290.html — Graft
+
# http://web.archive.org/web/20061014002653/http://stderr.org/pipermail/inquiry/2005-January/002290.html — Graft
# http://stderr.org/pipermail/inquiry/2005-January/002291.html — Pinch
+
# http://web.archive.org/web/20081007063702/http://stderr.org/pipermail/inquiry/2005-January/002291.html — Pinch
# http://stderr.org/pipermail/inquiry/2005-January/002292.html — Switch
+
# http://web.archive.org/web/20080828012656/http://stderr.org/pipermail/inquiry/2005-January/002292.html — Switch
# http://stderr.org/pipermail/inquiry/2005-January/002293.html — Stitch
+
# http://web.archive.org/web/20081006121954/http://stderr.org/pipermail/inquiry/2005-January/002293.html — Stitch
# http://stderr.org/pipermail/inquiry/2005-January/002294.html — Splice
+
# http://web.archive.org/web/20080908072110/http://stderr.org/pipermail/inquiry/2005-January/002294.html — Splice
# http://stderr.org/pipermail/inquiry/2005-January/002295.html — List
+
# http://web.archive.org/web/20081007070153/http://stderr.org/pipermail/inquiry/2005-January/002295.html — List
# http://stderr.org/pipermail/inquiry/2005-January/002296.html — Roll
+
# http://web.archive.org/web/20080828013546/http://stderr.org/pipermail/inquiry/2005-January/002296.html — Roll
# http://stderr.org/pipermail/inquiry/2005-January/002297.html — Image
+
# http://web.archive.org/web/20080907001829/http://stderr.org/pipermail/inquiry/2005-January/002297.html — Image
# http://stderr.org/pipermail/inquiry/2005-January/002298.html — Token
+
# http://web.archive.org/web/20081006113802/http://stderr.org/pipermail/inquiry/2005-January/002298.html — Token
# http://stderr.org/pipermail/inquiry/2005-January/002299.html — Tally
+
# http://web.archive.org/web/20061014002308/http://stderr.org/pipermail/inquiry/2005-January/002299.html — Tally
# http://stderr.org/pipermail/inquiry/2005-January/002300.html — Gist
+
# http://web.archive.org/web/20061014002249/http://stderr.org/pipermail/inquiry/2005-January/002300.html — Gist
# http://stderr.org/pipermail/inquiry/2005-January/002304.html — Gage
+
# http://web.archive.org/web/20061014002606/http://stderr.org/pipermail/inquiry/2005-January/002304.html — Gage
# http://stderr.org/pipermail/inquiry/2005-January/002305.html — Find
+
# http://web.archive.org/web/20061014002726/http://stderr.org/pipermail/inquiry/2005-January/002305.html — Find
# http://stderr.org/pipermail/inquiry/2005-January/002306.html — Suit
+
# http://web.archive.org/web/20061014002718/http://stderr.org/pipermail/inquiry/2005-January/002306.html — Suit
# http://stderr.org/pipermail/inquiry/2005-January/002307.html — Coup
+
# http://web.archive.org/web/20061014002609/http://stderr.org/pipermail/inquiry/2005-January/002307.html — Coup
# http://stderr.org/pipermail/inquiry/2005-January/002308.html — Stem
+
# http://web.archive.org/web/20061014002217/http://stderr.org/pipermail/inquiry/2005-January/002308.html — Stem
# http://stderr.org/pipermail/inquiry/2005-January/002309.html — Sequel
+
# http://web.archive.org/web/20061014002242/http://stderr.org/pipermail/inquiry/2005-January/002309.html — Sequel
# http://stderr.org/pipermail/inquiry/2005-January/002310.html — Coupon
+
# http://web.archive.org/web/20110816190838/http://stderr.org/pipermail/inquiry/2005-January/002310.html — Coupon
# http://stderr.org/pipermail/inquiry/2005-January/002313.html — Gate
+
# http://web.archive.org/web/20061014002321/http://stderr.org/pipermail/inquiry/2005-January/002313.html — Gate
# http://stderr.org/pipermail/inquiry/2005-January/002314.html — Knap
+
# http://web.archive.org/web/20061014002740/http://stderr.org/pipermail/inquiry/2005-January/002314.html — Knap
# http://stderr.org/pipermail/inquiry/2005-January/002315.html — Knot
+
# http://web.archive.org/web/20110816195930/http://stderr.org/pipermail/inquiry/2005-January/002315.html — Knot
# http://stderr.org/pipermail/inquiry/2005-January/002316.html — Respect
+
# http://web.archive.org/web/20061014002707/http://stderr.org/pipermail/inquiry/2005-January/002316.html — Respect
# http://stderr.org/pipermail/inquiry/2005-January/002317.html — Suspect
+
# http://web.archive.org/web/20061014002221/http://stderr.org/pipermail/inquiry/2005-January/002317.html — Suspect
# http://stderr.org/pipermail/inquiry/2005-January/002318.html — Aspect
+
# http://web.archive.org/web/20061014002529/http://stderr.org/pipermail/inquiry/2005-January/002318.html — Aspect
# http://stderr.org/pipermail/inquiry/2005-January/002319.html — Apse
+
# http://web.archive.org/web/20061014002408/http://stderr.org/pipermail/inquiry/2005-January/002319.html — Apse
# http://stderr.org/pipermail/inquiry/2005-January/002324.html — Sape
+
# http://web.archive.org/web/20061014002612/http://stderr.org/pipermail/inquiry/2005-January/002324.html — Sape
# http://stderr.org/pipermail/inquiry/2005-January/002325.html — Pase
+
# http://web.archive.org/web/20061014002256/http://stderr.org/pipermail/inquiry/2005-January/002325.html — Pase
# http://stderr.org/pipermail/inquiry/2005-January/002326.html — Apes
+
# http://web.archive.org/web/20061014002353/http://stderr.org/pipermail/inquiry/2005-January/002326.html — Apes
# http://stderr.org/pipermail/inquiry/2005-February/002334.html — Apes
+
# http://web.archive.org/web/20150109152029/http://stderr.org/pipermail/inquiry/2005-February/002334.html — Apes
# http://stderr.org/pipermail/inquiry/2005-February/002335.html — Like
+
# http://web.archive.org/web/20150109152030/http://stderr.org/pipermail/inquiry/2005-February/002335.html — Like
# http://stderr.org/pipermail/inquiry/2005-February/002336.html — Axil
+
# http://web.archive.org/web/20081120210728/http://stderr.org/pipermail/inquiry/2005-February/002336.html — Axil
# http://stderr.org/pipermail/inquiry/2005-February/002337.html — Grasp
+
# http://web.archive.org/web/20061013233321/http://stderr.org/pipermail/inquiry/2005-February/002337.html — Grasp
# http://stderr.org/pipermail/inquiry/2005-February/002338.html — Fret
+
# http://web.archive.org/web/20061013233339/http://stderr.org/pipermail/inquiry/2005-February/002338.html — Fret
# http://stderr.org/pipermail/inquiry/2005-February/002339.html — Deal
+
# http://web.archive.org/web/20081120183714/http://stderr.org/pipermail/inquiry/2005-February/002339.html — Deal
# http://stderr.org/pipermail/inquiry/2005-February/002340.html — Lode
+
# http://web.archive.org/web/20081120231223/http://stderr.org/pipermail/inquiry/2005-February/002340.html — Lode
# http://stderr.org/pipermail/inquiry/2005-February/002341.html — Lade
+
# http://web.archive.org/web/20061013233536/http://stderr.org/pipermail/inquiry/2005-February/002341.html — Lade
# http://stderr.org/pipermail/inquiry/2005-February/002342.html Lead
+
# http://web.archive.org/web/20061013233329/http://stderr.org/pipermail/inquiry/2005-February/002342.html — Lead
  
==TOP. Theme One Program : Exposition (2005)==
+
==TOP. Theme One Program : Exposition (2005)==
  
* http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348
+
* http://web.archive.org/web/20150109155110/http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348
# http://stderr.org/pipermail/inquiry/2005-February/002348.html
+
# http://web.archive.org/web/20150109152200/http://stderr.org/pipermail/inquiry/2005-February/002348.html
# http://stderr.org/pipermail/inquiry/2005-February/002349.html
+
# http://web.archive.org/web/20150109152201/http://stderr.org/pipermail/inquiry/2005-February/002349.html
# http://stderr.org/pipermail/inquiry/2005-February/002350.html
+
# http://web.archive.org/web/20061013233439/http://stderr.org/pipermail/inquiry/2005-February/002350.html
# http://stderr.org/pipermail/inquiry/2005-February/002351.html
+
# http://web.archive.org/web/20081120193342/http://stderr.org/pipermail/inquiry/2005-February/002351.html
# http://stderr.org/pipermail/inquiry/2005-February/002352.html
+
# http://web.archive.org/web/20081120184622/http://stderr.org/pipermail/inquiry/2005-February/002352.html
# http://stderr.org/pipermail/inquiry/2005-February/002353.html
+
# http://web.archive.org/web/20061013233504/http://stderr.org/pipermail/inquiry/2005-February/002353.html
# http://stderr.org/pipermail/inquiry/2005-February/002354.html
+
# http://web.archive.org/web/20081121105019/http://stderr.org/pipermail/inquiry/2005-February/002354.html
# http://stderr.org/pipermail/inquiry/2005-February/002355.html
+
# http://web.archive.org/web/20061013233332/http://stderr.org/pipermail/inquiry/2005-February/002355.html
# http://stderr.org/pipermail/inquiry/2005-February/002356.html
+
# http://web.archive.org/web/20061013233616/http://stderr.org/pipermail/inquiry/2005-February/002356.html
# http://stderr.org/pipermail/inquiry/2005-February/002357.html
+
# http://web.archive.org/web/20081121104528/http://stderr.org/pipermail/inquiry/2005-February/002357.html
# http://stderr.org/pipermail/inquiry/2005-February/002358.html
+
# http://web.archive.org/web/20081121114930/http://stderr.org/pipermail/inquiry/2005-February/002358.html
# http://stderr.org/pipermail/inquiry/2005-February/002359.html
+
# http://web.archive.org/web/20061013233413/http://stderr.org/pipermail/inquiry/2005-February/002359.html
# http://stderr.org/pipermail/inquiry/2005-February/002360.html
+
# http://web.archive.org/web/20150109152359/http://stderr.org/pipermail/inquiry/2005-February/002360.html
# http://stderr.org/pipermail/inquiry/2005-February/002361.html
+
# http://web.archive.org/web/20150109152401/http://stderr.org/pipermail/inquiry/2005-February/002361.html
# http://stderr.org/pipermail/inquiry/2005-February/002362.html
+
# http://web.archive.org/web/20061013233259/http://stderr.org/pipermail/inquiry/2005-February/002362.html
# http://stderr.org/pipermail/inquiry/2005-February/002363.html
+
# http://web.archive.org/web/20081121103109/http://stderr.org/pipermail/inquiry/2005-February/002363.html
  
 
[[Category:Adaptive Systems]]
 
[[Category:Adaptive Systems]]
 
[[Category:Artificial Intelligence]]
 
[[Category:Artificial Intelligence]]
 
[[Category:Automated Reasoning]]
 
[[Category:Automated Reasoning]]
 +
[[Category:Boolean Functions]]
 
[[Category:Charles Sanders Peirce]]
 
[[Category:Charles Sanders Peirce]]
 +
[[Category:Computational Complexity]]
 
[[Category:Constraint Satisfaction]]
 
[[Category:Constraint Satisfaction]]
 
[[Category:Declarative Programming]]
 
[[Category:Declarative Programming]]
Line 176: Line 196:
 
[[Category:Inquiry]]
 
[[Category:Inquiry]]
 
[[Category:Inquiry Driven Systems]]
 
[[Category:Inquiry Driven Systems]]
 +
[[Category:Knowledge Representation]]
 
[[Category:Learning Systems]]
 
[[Category:Learning Systems]]
 
[[Category:Learning Theory]]
 
[[Category:Learning Theory]]
Line 181: Line 202:
 
[[Category:Logical Graphs]]
 
[[Category:Logical Graphs]]
 
[[Category:Logical Modeling]]
 
[[Category:Logical Modeling]]
 +
[[Category:Machine Learning]]
 
[[Category:Model Theory]]
 
[[Category:Model Theory]]
 
[[Category:Programming]]
 
[[Category:Programming]]

Latest revision as of 14:24, 9 August 2016

Author: Jon Awbrey

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

  • Awbrey, S.M., and Awbrey, J.L. (May 1991), “An Architecture for Inquiry : Building Computer Platforms for Discovery”, Proceedings of the Eighth International Conference on Technology and Education, Toronto, Canada, pp. 874–875. Online.
  • Awbrey, J.L., and Awbrey, S.M. (January 1991), “Exploring Research Data Interactively : Developing a Computer Architecture for Inquiry”, Poster presented at the Annual Sigma Xi Research Forum, University of Texas Medical Branch, Galveston, TX.
  • Awbrey, J.L., and Awbrey, S.M. (August 1990), “Exploring Research Data Interactively. Theme One : A Program of Inquiry”, Proceedings of the Sixth Annual Conference on Applications of Artificial Intelligence and CD-ROM in Education and Training, Society for Applied Learning Technology, Washington, DC, pp. 9–15. Online.

Sample Applications

TOP. Theme One Program : Source Code

Turbo Pascal Source Code
Academe.edu
Web Archive
  1. http://web.archive.org/web/20150224210656/http://stderr.org/pipermail/inquiry/2003-March/000117.html
  2. http://web.archive.org/web/20150224210656/http://stderr.org/pipermail/inquiry/2003-March/000118.html
  3. http://web.archive.org/web/20080726185524/http://stderr.org/pipermail/inquiry/2003-March/000119.html
  4. http://web.archive.org/web/20080726183302/http://stderr.org/pipermail/inquiry/2003-March/000120.html
  5. http://web.archive.org/web/20080907004117/http://stderr.org/pipermail/inquiry/2003-March/000121.html

TOP. Theme One Program : User Manual and Guide

Expanded Guide
Academe.edu
Web Archive
Initial Manual
Web Archive

TOP. Theme One Program : Motivation

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

TOP. Theme One Program : Commentary (2003)

  1. http://web.archive.org/web/20080726184923/http://stderr.org/pipermail/inquiry/2003-March/000122.html
  2. http://web.archive.org/web/20080723212459/http://stderr.org/pipermail/inquiry/2003-March/000123.html
  3. http://web.archive.org/web/20080723213155/http://stderr.org/pipermail/inquiry/2003-March/000124.html
  4. http://web.archive.org/web/20080723212435/http://stderr.org/pipermail/inquiry/2003-March/000125.html
  5. http://web.archive.org/web/20080726183356/http://stderr.org/pipermail/inquiry/2003-March/000144.html
  6. http://web.archive.org/web/20080723213419/http://stderr.org/pipermail/inquiry/2003-March/000145.html
  7. http://web.archive.org/web/20080723213339/http://stderr.org/pipermail/inquiry/2003-March/000146.html
  8. http://web.archive.org/web/20080723212555/http://stderr.org/pipermail/inquiry/2003-March/000147.html
  9. http://web.archive.org/web/20080726183203/http://stderr.org/pipermail/inquiry/2003-March/000148.html
  10. http://web.archive.org/web/20080726184940/http://stderr.org/pipermail/inquiry/2003-March/000149.html
  11. http://web.archive.org/web/20080723212755/http://stderr.org/pipermail/inquiry/2003-March/000150.html
  12. http://web.archive.org/web/20080726185750/http://stderr.org/pipermail/inquiry/2003-March/000151.html
  13. http://web.archive.org/web/20080726185808/http://stderr.org/pipermail/inquiry/2003-March/000152.html
  14. http://web.archive.org/web/20080726184058/http://stderr.org/pipermail/inquiry/2003-March/000153.html
  15. http://web.archive.org/web/20081012105921/http://stderr.org/pipermail/inquiry/2003-March/000154.html
  16. http://web.archive.org/web/20080726184428/http://stderr.org/pipermail/inquiry/2003-March/000155.html
  17. http://web.archive.org/web/20080723212811/http://stderr.org/pipermail/inquiry/2003-March/000156.html
  18. http://web.archive.org/web/20080723213523/http://stderr.org/pipermail/inquiry/2003-March/000157.html
  19. http://web.archive.org/web/20080723213659/http://stderr.org/pipermail/inquiry/2003-March/000158.html
  20. http://web.archive.org/web/20080726184624/http://stderr.org/pipermail/inquiry/2003-March/000159.html
  21. http://web.archive.org/web/20080723213427/http://stderr.org/pipermail/inquiry/2003-March/000160.html — Fore
  22. http://web.archive.org/web/20080726184302/http://stderr.org/pipermail/inquiry/2003-March/000162.html — Graft
  23. http://web.archive.org/web/20080726185647/http://stderr.org/pipermail/inquiry/2003-March/000163.html — Pinch
  24. http://web.archive.org/web/20080726184140/http://stderr.org/pipermail/inquiry/2003-March/000164.html — Switch
  25. http://web.archive.org/web/20081012110210/http://stderr.org/pipermail/inquiry/2003-March/000165.html — Stitch
  26. http://web.archive.org/web/20080726190007/http://stderr.org/pipermail/inquiry/2003-March/000166.html — Splice
  27. http://web.archive.org/web/20080723212707/http://stderr.org/pipermail/inquiry/2003-March/000167.html — List
  28. http://web.archive.org/web/20081007064944/http://stderr.org/pipermail/inquiry/2003-March/000168.html — Roll
  29. http://web.archive.org/web/20081120100907/http://stderr.org/pipermail/inquiry/2003-March/000169.html — Image
  30. http://web.archive.org/web/20081007063122/http://stderr.org/pipermail/inquiry/2003-March/000170.html — Token
  31. http://web.archive.org/web/20100428014628/http://stderr.org/pipermail/inquiry/2003-March/000171.html — Tally
  32. http://web.archive.org/web/20081012105605/http://stderr.org/pipermail/inquiry/2003-March/000172.html — Gist

TOP. Theme One Program : Exposition (2003)

  1. http://web.archive.org/web/20150224210600/http://stderr.org/pipermail/inquiry/2003-March/000102.html
  2. http://web.archive.org/web/20150224210601/http://stderr.org/pipermail/inquiry/2003-March/000103.html
  3. http://web.archive.org/web/20061013222119/http://stderr.org/pipermail/inquiry/2003-March/000104.html
  4. http://web.archive.org/web/20080908074156/http://stderr.org/pipermail/inquiry/2003-March/000105.html
  5. http://web.archive.org/web/20081012073249/http://stderr.org/pipermail/inquiry/2003-March/000106.html
  6. http://web.archive.org/web/20081007071618/http://stderr.org/pipermail/inquiry/2003-March/000107.html
  7. http://web.archive.org/web/20080828013646/http://stderr.org/pipermail/inquiry/2003-March/000108.html
  8. http://web.archive.org/web/20081006115254/http://stderr.org/pipermail/inquiry/2003-March/000109.html
  9. http://web.archive.org/web/20081012104413/http://stderr.org/pipermail/inquiry/2003-March/000110.html
  10. http://web.archive.org/web/20081007042925/http://stderr.org/pipermail/inquiry/2003-March/000111.html
  11. http://web.archive.org/web/20080829043118/http://stderr.org/pipermail/inquiry/2003-March/000112.html
  12. http://web.archive.org/web/20081007065533/http://stderr.org/pipermail/inquiry/2003-March/000113.html
  13. http://web.archive.org/web/20081007043317/http://stderr.org/pipermail/inquiry/2003-March/000114.html
  14. http://web.archive.org/web/20080908075558/http://stderr.org/pipermail/inquiry/2003-March/000115.html
  15. http://web.archive.org/web/20080908080336/http://stderr.org/pipermail/inquiry/2003-March/000116.html

TOP. Theme One Program : Commentary (2005)

  1. http://web.archive.org/web/20150302020032/http://stderr.org/pipermail/inquiry/2005-January/002268.html
  2. http://web.archive.org/web/20081007070503/http://stderr.org/pipermail/inquiry/2005-January/002269.html
  3. http://web.archive.org/web/20080828012431/http://stderr.org/pipermail/inquiry/2005-January/002270.html
  4. http://web.archive.org/web/20081006121525/http://stderr.org/pipermail/inquiry/2005-January/002271.html
  5. http://web.archive.org/web/20080908080622/http://stderr.org/pipermail/inquiry/2005-January/002272.html
  6. http://web.archive.org/web/20081007062844/http://stderr.org/pipermail/inquiry/2005-January/002273.html
  7. http://web.archive.org/web/20080828013116/http://stderr.org/pipermail/inquiry/2005-January/002274.html
  8. http://web.archive.org/web/20080907001549/http://stderr.org/pipermail/inquiry/2005-January/002275.html
  9. http://web.archive.org/web/20081006113823/http://stderr.org/pipermail/inquiry/2005-January/002276.html
  10. http://web.archive.org/web/20081006120532/http://stderr.org/pipermail/inquiry/2005-January/002277.html
  11. http://web.archive.org/web/20081007051556/http://stderr.org/pipermail/inquiry/2005-January/002278.html
  12. http://web.archive.org/web/20081007043810/http://stderr.org/pipermail/inquiry/2005-January/002279.html
  13. http://web.archive.org/web/20080828013747/http://stderr.org/pipermail/inquiry/2005-January/002281.html
  14. http://web.archive.org/web/20081006123434/http://stderr.org/pipermail/inquiry/2005-January/002282.html
  15. http://web.archive.org/web/20080908073248/http://stderr.org/pipermail/inquiry/2005-January/002283.html
  16. http://web.archive.org/web/20081007070605/http://stderr.org/pipermail/inquiry/2005-January/002284.html
  17. http://web.archive.org/web/20080828012801/http://stderr.org/pipermail/inquiry/2005-January/002285.html
  18. http://web.archive.org/web/20080907003308/http://stderr.org/pipermail/inquiry/2005-January/002286.html
  19. http://web.archive.org/web/20081006122719/http://stderr.org/pipermail/inquiry/2005-January/002287.html
  20. http://web.archive.org/web/20081007044056/http://stderr.org/pipermail/inquiry/2005-January/002312.html
  21. http://web.archive.org/web/20081007045706/http://stderr.org/pipermail/inquiry/2005-January/002289.html — Fore
  22. http://web.archive.org/web/20061014002653/http://stderr.org/pipermail/inquiry/2005-January/002290.html — Graft
  23. http://web.archive.org/web/20081007063702/http://stderr.org/pipermail/inquiry/2005-January/002291.html — Pinch
  24. http://web.archive.org/web/20080828012656/http://stderr.org/pipermail/inquiry/2005-January/002292.html — Switch
  25. http://web.archive.org/web/20081006121954/http://stderr.org/pipermail/inquiry/2005-January/002293.html — Stitch
  26. http://web.archive.org/web/20080908072110/http://stderr.org/pipermail/inquiry/2005-January/002294.html — Splice
  27. http://web.archive.org/web/20081007070153/http://stderr.org/pipermail/inquiry/2005-January/002295.html — List
  28. http://web.archive.org/web/20080828013546/http://stderr.org/pipermail/inquiry/2005-January/002296.html — Roll
  29. http://web.archive.org/web/20080907001829/http://stderr.org/pipermail/inquiry/2005-January/002297.html — Image
  30. http://web.archive.org/web/20081006113802/http://stderr.org/pipermail/inquiry/2005-January/002298.html — Token
  31. http://web.archive.org/web/20061014002308/http://stderr.org/pipermail/inquiry/2005-January/002299.html — Tally
  32. http://web.archive.org/web/20061014002249/http://stderr.org/pipermail/inquiry/2005-January/002300.html — Gist
  33. http://web.archive.org/web/20061014002606/http://stderr.org/pipermail/inquiry/2005-January/002304.html — Gage
  34. http://web.archive.org/web/20061014002726/http://stderr.org/pipermail/inquiry/2005-January/002305.html — Find
  35. http://web.archive.org/web/20061014002718/http://stderr.org/pipermail/inquiry/2005-January/002306.html — Suit
  36. http://web.archive.org/web/20061014002609/http://stderr.org/pipermail/inquiry/2005-January/002307.html — Coup
  37. http://web.archive.org/web/20061014002217/http://stderr.org/pipermail/inquiry/2005-January/002308.html — Stem
  38. http://web.archive.org/web/20061014002242/http://stderr.org/pipermail/inquiry/2005-January/002309.html — Sequel
  39. http://web.archive.org/web/20110816190838/http://stderr.org/pipermail/inquiry/2005-January/002310.html — Coupon
  40. http://web.archive.org/web/20061014002321/http://stderr.org/pipermail/inquiry/2005-January/002313.html — Gate
  41. http://web.archive.org/web/20061014002740/http://stderr.org/pipermail/inquiry/2005-January/002314.html — Knap
  42. http://web.archive.org/web/20110816195930/http://stderr.org/pipermail/inquiry/2005-January/002315.html — Knot
  43. http://web.archive.org/web/20061014002707/http://stderr.org/pipermail/inquiry/2005-January/002316.html — Respect
  44. http://web.archive.org/web/20061014002221/http://stderr.org/pipermail/inquiry/2005-January/002317.html — Suspect
  45. http://web.archive.org/web/20061014002529/http://stderr.org/pipermail/inquiry/2005-January/002318.html — Aspect
  46. http://web.archive.org/web/20061014002408/http://stderr.org/pipermail/inquiry/2005-January/002319.html — Apse
  47. http://web.archive.org/web/20061014002612/http://stderr.org/pipermail/inquiry/2005-January/002324.html — Sape
  48. http://web.archive.org/web/20061014002256/http://stderr.org/pipermail/inquiry/2005-January/002325.html — Pase
  49. http://web.archive.org/web/20061014002353/http://stderr.org/pipermail/inquiry/2005-January/002326.html — Apes
  50. http://web.archive.org/web/20150109152029/http://stderr.org/pipermail/inquiry/2005-February/002334.html — Apes
  51. http://web.archive.org/web/20150109152030/http://stderr.org/pipermail/inquiry/2005-February/002335.html — Like
  52. http://web.archive.org/web/20081120210728/http://stderr.org/pipermail/inquiry/2005-February/002336.html — Axil
  53. http://web.archive.org/web/20061013233321/http://stderr.org/pipermail/inquiry/2005-February/002337.html — Grasp
  54. http://web.archive.org/web/20061013233339/http://stderr.org/pipermail/inquiry/2005-February/002338.html — Fret
  55. http://web.archive.org/web/20081120183714/http://stderr.org/pipermail/inquiry/2005-February/002339.html — Deal
  56. http://web.archive.org/web/20081120231223/http://stderr.org/pipermail/inquiry/2005-February/002340.html — Lode
  57. http://web.archive.org/web/20061013233536/http://stderr.org/pipermail/inquiry/2005-February/002341.html — Lade
  58. http://web.archive.org/web/20061013233329/http://stderr.org/pipermail/inquiry/2005-February/002342.html — Lead

TOP. Theme One Program : Exposition (2005)

  1. http://web.archive.org/web/20150109152200/http://stderr.org/pipermail/inquiry/2005-February/002348.html
  2. http://web.archive.org/web/20150109152201/http://stderr.org/pipermail/inquiry/2005-February/002349.html
  3. http://web.archive.org/web/20061013233439/http://stderr.org/pipermail/inquiry/2005-February/002350.html
  4. http://web.archive.org/web/20081120193342/http://stderr.org/pipermail/inquiry/2005-February/002351.html
  5. http://web.archive.org/web/20081120184622/http://stderr.org/pipermail/inquiry/2005-February/002352.html
  6. http://web.archive.org/web/20061013233504/http://stderr.org/pipermail/inquiry/2005-February/002353.html
  7. http://web.archive.org/web/20081121105019/http://stderr.org/pipermail/inquiry/2005-February/002354.html
  8. http://web.archive.org/web/20061013233332/http://stderr.org/pipermail/inquiry/2005-February/002355.html
  9. http://web.archive.org/web/20061013233616/http://stderr.org/pipermail/inquiry/2005-February/002356.html
  10. http://web.archive.org/web/20081121104528/http://stderr.org/pipermail/inquiry/2005-February/002357.html
  11. http://web.archive.org/web/20081121114930/http://stderr.org/pipermail/inquiry/2005-February/002358.html
  12. http://web.archive.org/web/20061013233413/http://stderr.org/pipermail/inquiry/2005-February/002359.html
  13. http://web.archive.org/web/20150109152359/http://stderr.org/pipermail/inquiry/2005-February/002360.html
  14. http://web.archive.org/web/20150109152401/http://stderr.org/pipermail/inquiry/2005-February/002361.html
  15. http://web.archive.org/web/20061013233259/http://stderr.org/pipermail/inquiry/2005-February/002362.html
  16. http://web.archive.org/web/20081121103109/http://stderr.org/pipermail/inquiry/2005-February/002363.html