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
Documentation
- Theme One Program • Pascal Source Code
- Theme One Program • User Guide
- Theme One Program • Exposition
Blog Series
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)
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
Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry
Pingback: Theme One • A Program Of Inquiry 19 | Inquiry Into Inquiry
Pingback: Theme One • A Program Of Inquiry 20 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 45 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 2 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 1 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 46 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 47 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 48 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 49 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 38 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 50 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 59 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 60 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 61 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 62 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 63 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 64 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 65 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry
Pingback: Differential Logic • Discussion 3 | Inquiry Into Inquiry
Pingback: Differential Logic and Dynamic Systems • Discussion 5 | Inquiry Into Inquiry
Pingback: Differential Logic and Dynamic Systems • Discussion 6 | Inquiry Into Inquiry
Pingback: Differential Logic • Discussion 14 | Inquiry Into Inquiry
Pingback: Logical Graphs • Discussion 1 | Inquiry Into Inquiry
Pingback: Logical Graphs, Iconicity, Interpretation • 1 | Inquiry Into Inquiry
Pingback: Logical Graphs, Iconicity, Interpretation • 2 | Inquiry Into Inquiry
Pingback: Logical Graphs, Iconicity, Interpretation • Discussion 1 | Inquiry Into Inquiry
Pingback: Theme One Program • Discussion 4 | Inquiry Into Inquiry
Pingback: Theme One Program • Motivation 1 | Inquiry Into Inquiry
Pingback: Theme One Program • Motivation 2 | Inquiry Into Inquiry
Pingback: Theme One Program • Motivation 3 | Inquiry Into Inquiry
Pingback: Theme One Program • Discussion 1 | Inquiry Into Inquiry
Pingback: Theme One Program • Motivation 4 | Inquiry Into Inquiry
Pingback: Theme One Program • Discussion 5 | Inquiry Into Inquiry
Pingback: Theme One Program • Motivation 5 | Inquiry Into Inquiry
Pingback: Theme One Program • Motivation 6 | Inquiry Into Inquiry
Pingback: Triadic Relations • Discussion 3 | Inquiry Into Inquiry
Pingback: Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 2 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 5 | Inquiry Into Inquiry