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 for integrating empirical learning with logical reasoning.  I had earlier developed separate programs for basic components of those tasks, namely, 2-level formal language learning and propositional constraint satisfaction, the latter using an extension of C.S. Peirce’s logical graphs as a syntax for propositional logic.  Thus arose the question of how well it might be possible to get “empiricist” and “rationalist” modes of operation to cooperate.  The long-term vision is the design and implementation of an Automated Research Tool able to double as a platform for Inquiry Driven Education.

Wiki Hub

• Theme One Program • Overview

Documentation

• Theme One Program • Pascal Source Code
• Theme One Program • User Guide
• Theme One Program • Exposition

Blog Series

• Theme One Program • Exposition • (1) • (2) • (3)

• Theme One Program • Motivation • (1) • (2) • (3) • (4) • (5) • (6)

Blog Dialogs

• Theme One • A Program Of Inquiry • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16) • (17) • (18) • (19) • (20)

• Theme One Program • Discussion • (1) • (2) • (3) • (4) • (5) • (6)

Applications

• Applications of a Propositional Calculator • Constraint Satisfaction Problems
• Exploratory Qualitative Analysis of Sequential Observation Data

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.

cc: Conceptual Graphs • Cybernetics (1) (2) • Laws of Form (1) (2) (3)
cc: Ontolog Forum (1) (2) (3) • Structural Modeling (1) (2) • Systems Science (1) (2) (3)
cc: Peirce List (Dec 2012) (Feb 2018) (Mar 2018) (Sep 2020) (Oct 2020) (Oct 2021)
cc: FB | Theme One Program