Survey of Theme One Program

4 views
Skip to first unread message

Jon Awbrey

unread,
Feb 29, 2024, 12:00:16 PMFeb 29
to Conceptual Graphs, Cybernetic Communications, Laws of Form, Structural Modeling, SysSciWG
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_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 —

An Architecture for Inquiry • Building Computer Platforms for Discovery
https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Computer_Platforms_for_Discovery

Exploring Research Data Interactively • Theme One : A Program of Inquiry
https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry

Regards,

Jon

cc: https://www.academia.edu/community/LGDog0
cc: https://mathstodon.xyz/@Inquiry/112015717371139529
Reply all
Reply to author
Forward
0 new messages