[CG] Survey of Theme One Program

Survey of Theme One Program • 6 • https://inquiryintoinquiry.com/2024/02/26/survey-of-theme-one-program-6/ All, This is a Survey of resources for 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, two‑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. Please follow the above link for the full set of resources. A collection of articles on the core ideas is linked 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 of a Propositional Calculator • Constraint Satisfaction Problems • https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator… Exploratory Qualitative Analysis of Sequential Observation Data • https://oeis.org/wiki/User:Jon_Awbrey/Exploratory_Qualitative_Analysis_of_S… References — An Architecture for Inquiry • Building Computer Platforms for Discovery • https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Compu… Exploring Research Data Interactively • Theme One : A Program of Inquiry • https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._The… Regards, Jon cc: https://www.academia.edu/community/LGDog0 cc: https://mathstodon.xyz/@Inquiry/112015717371139529