This is a Survey of blog and wiki posts relating to 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, looking toward the design of an Automated Research Tool able to double as a medium for Inquiry Driven Education. I wrote up a pilot version of the program well enough to get a Master’s degree out of it but I’m still getting around to writing up the complete documentation.
Wiki Hub
Documentation in Progress
- Theme One Program • Pascal Source Code
- Theme One Program • User Guide
- Theme One Program • Exposition
Applications
- Applications of a Propositional Calculator • Constraint Satisfaction Problems
- Exploratory Qualitative Analysis of Sequential Observation Data
Blog Dialogs
- Theme One Program • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16) • (17)
References
- 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.
Pingback: Theme One • A Program Of Inquiry : 5 | Inquiry Into Inquiry
Pingback: Theme One • A Program Of Inquiry : 14 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 32 | Inquiry Into Inquiry
Pingback: Differential Logic • Discussion 3 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 33 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 34 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 35 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 36 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 37 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry
Pingback: Theme One • A Program Of Inquiry 5 | Inquiry Into Inquiry
Pingback: Theme One • A Program Of Inquiry 14 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 39 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 38 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 40 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 41 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 42 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 43 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 44 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 45 | Inquiry Into Inquiry