Theme One • A Program Of Inquiry

Skip to first unread message

Jon Awbrey

Jun 12, 2022, 1:08:13 PMJun 12
to Cybernetic Communications, Laws of Form, Ontolog Forum, Structural Modeling, SysSciWG
Cf: Survey of Theme One Program • 4


Here's an updated Survey ( )
of blog and wiki posts relating to the Theme One Program I worked on
all through the 1980s, with continuing commentary and discussion since.

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.

There's a lot of links, so I'll post just a few off the top ...

Wiki Hub

Theme One Program • Overview
( )


Theme One Program • Pascal Source Code
( )

Theme One Program • User Guide
( )

Theme One Program • Exposition
( )

Blog Series

Theme One Program • Exposition


Reply all
Reply to author
0 new messages