Theme One Program

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.
( 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

Received on Thursday, 30 March 2023 14:10:34 UTC