This site is supported by donations to The OEIS Foundation.
Theme One Program • Overview
From OeisWiki
Author: Jon Awbrey
• Overview • Blog • Exposition • Logical Cacti • Appendices • Document History •
If anyone is looking for a programming project, I will post here some data on the Theme One Program 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.
Contents
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.
Theme One Program • User Manual and Guide
- Expanded Guide
- Academe.edu
- Web Archive
- Initial Manual
- Web Archive
Theme One Program • Source Code
- Turbo Pascal Source Code
- Academe.edu
- Web Archive
- http://web.archive.org/web/20150224210656/http://stderr.org/pipermail/inquiry/2003-March/000117.html
- http://web.archive.org/web/20150224210656/http://stderr.org/pipermail/inquiry/2003-March/000118.html
- http://web.archive.org/web/20080726185524/http://stderr.org/pipermail/inquiry/2003-March/000119.html
- http://web.archive.org/web/20080726183302/http://stderr.org/pipermail/inquiry/2003-March/000120.html
- http://web.archive.org/web/20080907004117/http://stderr.org/pipermail/inquiry/2003-March/000121.html
Commentary and Discussion
Sample Applications
Document History
Theme One Program • Motivation
- http://web.archive.org/web/20081012105006/http://stderr.org/pipermail/inquiry/2003-March/000143.html
- http://web.archive.org/web/20080723213003/http://stderr.org/pipermail/inquiry/2003-March/000183.html
Theme One Program • Commentary (2003)
- http://web.archive.org/web/20080726184923/http://stderr.org/pipermail/inquiry/2003-March/000122.html
- http://web.archive.org/web/20080723212459/http://stderr.org/pipermail/inquiry/2003-March/000123.html
- http://web.archive.org/web/20080723213155/http://stderr.org/pipermail/inquiry/2003-March/000124.html
- http://web.archive.org/web/20080723212435/http://stderr.org/pipermail/inquiry/2003-March/000125.html
- http://web.archive.org/web/20080726183356/http://stderr.org/pipermail/inquiry/2003-March/000144.html
- http://web.archive.org/web/20080723213419/http://stderr.org/pipermail/inquiry/2003-March/000145.html
- http://web.archive.org/web/20080723213339/http://stderr.org/pipermail/inquiry/2003-March/000146.html
- http://web.archive.org/web/20080723212555/http://stderr.org/pipermail/inquiry/2003-March/000147.html
- http://web.archive.org/web/20080726183203/http://stderr.org/pipermail/inquiry/2003-March/000148.html
- http://web.archive.org/web/20080726184940/http://stderr.org/pipermail/inquiry/2003-March/000149.html
- http://web.archive.org/web/20080723212755/http://stderr.org/pipermail/inquiry/2003-March/000150.html
- http://web.archive.org/web/20080726185750/http://stderr.org/pipermail/inquiry/2003-March/000151.html
- http://web.archive.org/web/20080726185808/http://stderr.org/pipermail/inquiry/2003-March/000152.html
- http://web.archive.org/web/20080726184058/http://stderr.org/pipermail/inquiry/2003-March/000153.html
- http://web.archive.org/web/20081012105921/http://stderr.org/pipermail/inquiry/2003-March/000154.html
- http://web.archive.org/web/20080726184428/http://stderr.org/pipermail/inquiry/2003-March/000155.html
- http://web.archive.org/web/20080723212811/http://stderr.org/pipermail/inquiry/2003-March/000156.html
- http://web.archive.org/web/20080723213523/http://stderr.org/pipermail/inquiry/2003-March/000157.html
- http://web.archive.org/web/20080723213659/http://stderr.org/pipermail/inquiry/2003-March/000158.html
- http://web.archive.org/web/20080726184624/http://stderr.org/pipermail/inquiry/2003-March/000159.html
- http://web.archive.org/web/20080723213427/http://stderr.org/pipermail/inquiry/2003-March/000160.html — Fore
- http://web.archive.org/web/20080726184302/http://stderr.org/pipermail/inquiry/2003-March/000162.html — Graft
- http://web.archive.org/web/20080726185647/http://stderr.org/pipermail/inquiry/2003-March/000163.html — Pinch
- http://web.archive.org/web/20080726184140/http://stderr.org/pipermail/inquiry/2003-March/000164.html — Switch
- http://web.archive.org/web/20081012110210/http://stderr.org/pipermail/inquiry/2003-March/000165.html — Stitch
- http://web.archive.org/web/20080726190007/http://stderr.org/pipermail/inquiry/2003-March/000166.html — Splice
- http://web.archive.org/web/20080723212707/http://stderr.org/pipermail/inquiry/2003-March/000167.html — List
- http://web.archive.org/web/20081007064944/http://stderr.org/pipermail/inquiry/2003-March/000168.html — Roll
- http://web.archive.org/web/20081120100907/http://stderr.org/pipermail/inquiry/2003-March/000169.html — Image
- http://web.archive.org/web/20081007063122/http://stderr.org/pipermail/inquiry/2003-March/000170.html — Token
- http://web.archive.org/web/20100428014628/http://stderr.org/pipermail/inquiry/2003-March/000171.html — Tally
- http://web.archive.org/web/20081012105605/http://stderr.org/pipermail/inquiry/2003-March/000172.html — Gist
Theme One Program • Exposition (2003)
- http://web.archive.org/web/20150224210600/http://stderr.org/pipermail/inquiry/2003-March/000102.html
- http://web.archive.org/web/20150224210601/http://stderr.org/pipermail/inquiry/2003-March/000103.html
- http://web.archive.org/web/20061013222119/http://stderr.org/pipermail/inquiry/2003-March/000104.html
- http://web.archive.org/web/20080908074156/http://stderr.org/pipermail/inquiry/2003-March/000105.html
- http://web.archive.org/web/20081012073249/http://stderr.org/pipermail/inquiry/2003-March/000106.html
- http://web.archive.org/web/20081007071618/http://stderr.org/pipermail/inquiry/2003-March/000107.html
- http://web.archive.org/web/20080828013646/http://stderr.org/pipermail/inquiry/2003-March/000108.html
- http://web.archive.org/web/20081006115254/http://stderr.org/pipermail/inquiry/2003-March/000109.html
- http://web.archive.org/web/20081012104413/http://stderr.org/pipermail/inquiry/2003-March/000110.html
- http://web.archive.org/web/20081007042925/http://stderr.org/pipermail/inquiry/2003-March/000111.html
- http://web.archive.org/web/20080829043118/http://stderr.org/pipermail/inquiry/2003-March/000112.html
- http://web.archive.org/web/20081007065533/http://stderr.org/pipermail/inquiry/2003-March/000113.html
- http://web.archive.org/web/20081007043317/http://stderr.org/pipermail/inquiry/2003-March/000114.html
- http://web.archive.org/web/20080908075558/http://stderr.org/pipermail/inquiry/2003-March/000115.html
- http://web.archive.org/web/20080908080336/http://stderr.org/pipermail/inquiry/2003-March/000116.html
Theme One Program • Commentary (2005)
- http://web.archive.org/web/20150302015403/http://stderr.org/pipermail/inquiry/2005-January/thread.html#2268
- http://web.archive.org/web/20150109155110/http://stderr.org/pipermail/inquiry/2005-February/thread.html#2334
- http://web.archive.org/web/20150302020032/http://stderr.org/pipermail/inquiry/2005-January/002268.html
- http://web.archive.org/web/20081007070503/http://stderr.org/pipermail/inquiry/2005-January/002269.html
- http://web.archive.org/web/20080828012431/http://stderr.org/pipermail/inquiry/2005-January/002270.html
- http://web.archive.org/web/20081006121525/http://stderr.org/pipermail/inquiry/2005-January/002271.html
- http://web.archive.org/web/20080908080622/http://stderr.org/pipermail/inquiry/2005-January/002272.html
- http://web.archive.org/web/20081007062844/http://stderr.org/pipermail/inquiry/2005-January/002273.html
- http://web.archive.org/web/20080828013116/http://stderr.org/pipermail/inquiry/2005-January/002274.html
- http://web.archive.org/web/20080907001549/http://stderr.org/pipermail/inquiry/2005-January/002275.html
- http://web.archive.org/web/20081006113823/http://stderr.org/pipermail/inquiry/2005-January/002276.html
- http://web.archive.org/web/20081006120532/http://stderr.org/pipermail/inquiry/2005-January/002277.html
- http://web.archive.org/web/20081007051556/http://stderr.org/pipermail/inquiry/2005-January/002278.html
- http://web.archive.org/web/20081007043810/http://stderr.org/pipermail/inquiry/2005-January/002279.html
- http://web.archive.org/web/20080828013747/http://stderr.org/pipermail/inquiry/2005-January/002281.html
- http://web.archive.org/web/20081006123434/http://stderr.org/pipermail/inquiry/2005-January/002282.html
- http://web.archive.org/web/20080908073248/http://stderr.org/pipermail/inquiry/2005-January/002283.html
- http://web.archive.org/web/20081007070605/http://stderr.org/pipermail/inquiry/2005-January/002284.html
- http://web.archive.org/web/20080828012801/http://stderr.org/pipermail/inquiry/2005-January/002285.html
- http://web.archive.org/web/20080907003308/http://stderr.org/pipermail/inquiry/2005-January/002286.html
- http://web.archive.org/web/20081006122719/http://stderr.org/pipermail/inquiry/2005-January/002287.html
- http://web.archive.org/web/20081007044056/http://stderr.org/pipermail/inquiry/2005-January/002312.html
- http://web.archive.org/web/20081007045706/http://stderr.org/pipermail/inquiry/2005-January/002289.html — Fore
- http://web.archive.org/web/20061014002653/http://stderr.org/pipermail/inquiry/2005-January/002290.html — Graft
- http://web.archive.org/web/20081007063702/http://stderr.org/pipermail/inquiry/2005-January/002291.html — Pinch
- http://web.archive.org/web/20080828012656/http://stderr.org/pipermail/inquiry/2005-January/002292.html — Switch
- http://web.archive.org/web/20081006121954/http://stderr.org/pipermail/inquiry/2005-January/002293.html — Stitch
- http://web.archive.org/web/20080908072110/http://stderr.org/pipermail/inquiry/2005-January/002294.html — Splice
- http://web.archive.org/web/20081007070153/http://stderr.org/pipermail/inquiry/2005-January/002295.html — List
- http://web.archive.org/web/20080828013546/http://stderr.org/pipermail/inquiry/2005-January/002296.html — Roll
- http://web.archive.org/web/20080907001829/http://stderr.org/pipermail/inquiry/2005-January/002297.html — Image
- http://web.archive.org/web/20081006113802/http://stderr.org/pipermail/inquiry/2005-January/002298.html — Token
- http://web.archive.org/web/20061014002308/http://stderr.org/pipermail/inquiry/2005-January/002299.html — Tally
- http://web.archive.org/web/20061014002249/http://stderr.org/pipermail/inquiry/2005-January/002300.html — Gist
- http://web.archive.org/web/20061014002606/http://stderr.org/pipermail/inquiry/2005-January/002304.html — Gage
- http://web.archive.org/web/20061014002726/http://stderr.org/pipermail/inquiry/2005-January/002305.html — Find
- http://web.archive.org/web/20061014002718/http://stderr.org/pipermail/inquiry/2005-January/002306.html — Suit
- http://web.archive.org/web/20061014002609/http://stderr.org/pipermail/inquiry/2005-January/002307.html — Coup
- http://web.archive.org/web/20061014002217/http://stderr.org/pipermail/inquiry/2005-January/002308.html — Stem
- http://web.archive.org/web/20061014002242/http://stderr.org/pipermail/inquiry/2005-January/002309.html — Sequel
- http://web.archive.org/web/20110816190838/http://stderr.org/pipermail/inquiry/2005-January/002310.html — Coupon
- http://web.archive.org/web/20061014002321/http://stderr.org/pipermail/inquiry/2005-January/002313.html — Gate
- http://web.archive.org/web/20061014002740/http://stderr.org/pipermail/inquiry/2005-January/002314.html — Knap
- http://web.archive.org/web/20110816195930/http://stderr.org/pipermail/inquiry/2005-January/002315.html — Knot
- http://web.archive.org/web/20061014002707/http://stderr.org/pipermail/inquiry/2005-January/002316.html — Respect
- http://web.archive.org/web/20061014002221/http://stderr.org/pipermail/inquiry/2005-January/002317.html — Suspect
- http://web.archive.org/web/20061014002529/http://stderr.org/pipermail/inquiry/2005-January/002318.html — Aspect
- http://web.archive.org/web/20061014002408/http://stderr.org/pipermail/inquiry/2005-January/002319.html — Apse
- http://web.archive.org/web/20061014002612/http://stderr.org/pipermail/inquiry/2005-January/002324.html — Sape
- http://web.archive.org/web/20061014002256/http://stderr.org/pipermail/inquiry/2005-January/002325.html — Pase
- http://web.archive.org/web/20061014002353/http://stderr.org/pipermail/inquiry/2005-January/002326.html — Apes
- http://web.archive.org/web/20150109152029/http://stderr.org/pipermail/inquiry/2005-February/002334.html — Apes
- http://web.archive.org/web/20150109152030/http://stderr.org/pipermail/inquiry/2005-February/002335.html — Like
- http://web.archive.org/web/20081120210728/http://stderr.org/pipermail/inquiry/2005-February/002336.html — Axil
- http://web.archive.org/web/20061013233321/http://stderr.org/pipermail/inquiry/2005-February/002337.html — Grasp
- http://web.archive.org/web/20061013233339/http://stderr.org/pipermail/inquiry/2005-February/002338.html — Fret
- http://web.archive.org/web/20081120183714/http://stderr.org/pipermail/inquiry/2005-February/002339.html — Deal
- http://web.archive.org/web/20081120231223/http://stderr.org/pipermail/inquiry/2005-February/002340.html — Lode
- http://web.archive.org/web/20061013233536/http://stderr.org/pipermail/inquiry/2005-February/002341.html — Lade
- http://web.archive.org/web/20061013233329/http://stderr.org/pipermail/inquiry/2005-February/002342.html — Lead
Theme One Program • Exposition (2005)
- http://web.archive.org/web/20150109152200/http://stderr.org/pipermail/inquiry/2005-February/002348.html
- http://web.archive.org/web/20150109152201/http://stderr.org/pipermail/inquiry/2005-February/002349.html
- http://web.archive.org/web/20061013233439/http://stderr.org/pipermail/inquiry/2005-February/002350.html
- http://web.archive.org/web/20081120193342/http://stderr.org/pipermail/inquiry/2005-February/002351.html
- http://web.archive.org/web/20081120184622/http://stderr.org/pipermail/inquiry/2005-February/002352.html
- http://web.archive.org/web/20061013233504/http://stderr.org/pipermail/inquiry/2005-February/002353.html
- http://web.archive.org/web/20081121105019/http://stderr.org/pipermail/inquiry/2005-February/002354.html
- http://web.archive.org/web/20061013233332/http://stderr.org/pipermail/inquiry/2005-February/002355.html
- http://web.archive.org/web/20061013233616/http://stderr.org/pipermail/inquiry/2005-February/002356.html
- http://web.archive.org/web/20081121104528/http://stderr.org/pipermail/inquiry/2005-February/002357.html
- http://web.archive.org/web/20081121114930/http://stderr.org/pipermail/inquiry/2005-February/002358.html
- http://web.archive.org/web/20061013233413/http://stderr.org/pipermail/inquiry/2005-February/002359.html
- http://web.archive.org/web/20150109152359/http://stderr.org/pipermail/inquiry/2005-February/002360.html
- http://web.archive.org/web/20150109152401/http://stderr.org/pipermail/inquiry/2005-February/002361.html
- http://web.archive.org/web/20061013233259/http://stderr.org/pipermail/inquiry/2005-February/002362.html
- http://web.archive.org/web/20081121103109/http://stderr.org/pipermail/inquiry/2005-February/002363.html
• Overview • Blog • Exposition • Logical Cacti • Appendices • Document History •
Categories:
- Adaptive systems
- Artificial intelligence
- Automated reasoning
- Boolean algebra
- Boolean functions
- Computational complexity
- Constraint satisfaction
- Declarative programming
- Differential logic
- Formal languages
- Functional logic
- Graph theory
- Inquiry driven systems
- Intelligent systems
- Knowledge representation
- Learning systems
- Learning theory
- Logic
- Logical graphs
- Logical modeling
- Machine learning
- Model theory
- Peirce, Charles Sanders
- Programming
- Proof theory
- Propositional calculus
- Relation theory
- Scientific method
- Semiotics
- Sign relations
- Spencer Brown, George
- Sequence learning
- Systems engineering
- Systems theory
- Visualization