Cf: Survey of Theme One Program • 5
https://inquiryintoinquiry.com/2023/03/30/survey-of-theme-one-program-5/
All,
Updating my Survey post on the Theme One Program
for the use of the W3 RDF Surfaces working group.
⁂
This is a Survey (
https://inquiryintoinquiry.com/surveys/ ) 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.
Note. Please follow the above link for the full set of resources.
I'll post just a sample of basics below.
Wiki Hub
========
Theme One Program • Overview
•
https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Overview
Documentation
=============
Theme One Program • Pascal Source Code
•
https://www.academia.edu/5210987/Theme_One_Program_Pascal_Source_Code
Theme One Program • User Guide
•
https://www.academia.edu/5211369/Theme_One_Program_User_Guide
Theme One Program • Exposition
•
https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Exposition
Applications
============
Applications, Examples, Exercises • Jets and Sharks
•
https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/
•
https://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks-2/
•
https://inquiryintoinquiry.com/2022/09/03/theme-one-program-jets-and-sharks-3/
Applications of a Propositional Calculator • Constraint Satisfaction Problems
•
https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator_Constraint_Satisfaction_Problems
Exploratory Qualitative Analysis of Sequential Observation Data
•
https://oeis.org/wiki/User:Jon_Awbrey/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.
•
https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Computer_Platforms_for_Discovery
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.
•
https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry
Regards,
Jon
https://mathstodon.xyz/@Inquiry