home.social
Sign in Create account

#themeoneprogram — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #themeoneprogram, aggregated by home.social.

  1. Jon Awbrey @[email protected] ·

    Theme One Program • Motivation 1
    • inquiryintoinquiry.com/2024/06

    The main idea behind the Theme One program is the efficient use of graph‑theoretic data structures for the tasks of “learning” and “reasoning”.

    I am thinking of “learning” in the sense of learning about an environment, in essence, gaining information about the nature of an environment and being able to apply the information acquired to a specific purpose.

    Under the heading of “reasoning” I am simply lumping together all the ordinary sorts of practical activities which would probably occur to most people under that name.

    There is a natural relation between the tasks. Learning the character of an environment leads to the recognition of laws which govern the environment and making full use of that recognition requires the ability to reason logically about those laws in abstract terms.

    Resources —

    Theme One Program • Overview
    • oeis.org/wiki/Theme_One_Progra

    Theme One Program • Exposition
    • oeis.org/wiki/Theme_One_Progra

    Theme One Program • User Guide
    • academia.edu/5211369/Theme_One

    Survey of Theme One Program
    • inquiryintoinquiry.com/2024/02

    #ThemeOneProgram #Learning #Reasoning
    #Logic #LogicalGraphs #FormalLanguages
    #Algorithm #DataStructure #GraphTheory
    #Peirce #PragmaticSemioticInformation
    #Empiricism #Rationalism #Pragmatism

    #pragmatism #rationalism #empiricism #pragmaticsemioticinformation #peirce #graphtheory
  2. Jon Awbrey @[email protected] ·

    Survey of Theme One Program • 6
    • inquiryintoinquiry.com/2024/02

    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
    • oeis.org/wiki/Theme_One_Progra

    Documentation —

    Theme One Program • Pascal Source Code
    • academia.edu/5210987/Theme_One

    Theme One Program • User Guide
    • academia.edu/5211369/Theme_One

    Theme One Program • Exposition
    • oeis.org/wiki/Theme_One_Progra

    Applications —

    Applications of a Propositional Calculator • Constraint Satisfaction Problems
    • academia.edu/4727842/Applicati

    Exploratory Qualitative Analysis of Sequential Observation Data
    • oeis.org/wiki/User:Jon_Awbrey/

    References —

    An Architecture for Inquiry • Building Computer Platforms for Discovery
    • academia.edu/1270327/An_Archit

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

    #Peirce #Logic #LogicalGraphs #ThemeOneProgram
    #BooleanSatisfiability #DeclarativeProgramming

    #declarativeprogramming #booleansatisfiability #themeoneprogram #logicalgraphs #logic #peirce
  3. Jon Awbrey @[email protected] ·

    Survey of Theme One Program
    • inquiryintoinquiry.com/2023/03

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

    Please follow the above link for the full set of resources. An initial sample is linked below.

    Wiki Hub —

    Theme One Program • Overview
    • oeis.org/wiki/Theme_One_Progra

    Documentation —

    Theme One Program • Pascal Source Code
    • academia.edu/5210987/Theme_One

    Theme One Program • User Guide
    • academia.edu/5211369/Theme_One

    Theme One Program • Exposition
    • oeis.org/wiki/Theme_One_Progra

    Applications —

    Applications of a Propositional Calculator • Constraint Satisfaction Problems
    • academia.edu/4727842/Applicati

    Exploratory Qualitative Analysis of Sequential Observation Data
    • oeis.org/wiki/User:Jon_Awbrey/

    References —

    An Architecture for Inquiry • Building Computer Platforms for Discovery
    • academia.edu/1270327/An_Archit

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

    #Peirce #Logic #LogicalGraphs #ThemeOneProgram #IdeaProcessor
    #BooleanSatisfiability #CactusLanguage #DeclarativeProgramming

    #declarativeprogramming #cactuslanguage #booleansatisfiability #ideaprocessor #themeoneprogram #logicalgraphs
  4. Jon Awbrey @[email protected] ·

    Theme One Program • Discussion 10
    • inquiryintoinquiry.com/2023/04

    Re: Seamus Bradley
    • web.archive.org/web/2023042220

    ❝I thought of a programming language where every function can only return one type: the return type. The return type is just a wrapper around a struct that contains the actual return value, but also a reference to the called function and arguments, and possibly an error code.❞

    My flashback —

    Way back in the last millennium I started work on a programming style I called an “idea processor”, where an “idea” is a pointer to a “form” and a form is a minimal type of record containing 1 character, 1 number, and 4 more ideas.

    I implemented a functional style where all the main functions are transformations of one or more ideas to a return idea. The principal data type is an “idea-form flag” which serves a role analogous to a “cons cell” in #Lisp.

    Here's one entry point —

    Theme One Program • Exposition 1
    • inquiryintoinquiry.com/2022/06

    #Peirce #Logic #LogicalGraphs #ThemeOneProgram #IdeaProcessor
    #CactusLanguage #DeclarativeProgram #FunctionalProgramming

    #functionalprogramming #declarativeprogram #cactuslanguage #ideaprocessor #themeoneprogram #logicalgraphs
  5. Jon Awbrey @[email protected] ·

    #ThemeOneProgram • #JetsAndSharks 3.1
    • inquiryintoinquiry.com/2022/09

    Using #CactusGraphs or #MinimalNegations to implement pools of #MutuallyInhibitoryNeurons erects #NeuralArchitectures on substantially different foundations from current #Connectionist models. At a high level of abstraction, however, there is enough homology between the 2 orders to compare their performance on many of the same tasks. Thus I was able to try the program on a few examples suggested by #McClelland & #Rumelhart.

    #Logic

    #logic #neuralarchitectures #mutuallyinhibitoryneurons #minimalnegations #cactusgraphs #jetsandsharks
  6. Jon Awbrey @[email protected] ·

    #ThemeOneProgram • #JetsAndSharks 2
    • inquiryintoinquiry.com/2022/08

    As we saw last time, Theme One reads the text file shown below and constructs a #CactusGraph #DataStructure in computer memory. The cactus graph represents a single #LogicalFormula in #PropositionalCalculus which embodies all the #LogicalConstraints defining the Jets and Sharks #DataBase.

    Jets and Sharks • Log File
    • inquiryintoinquiry.files.wordp

    #Logic #LogicalGraphs #Peirce
    #CactusSyntax #LogicalCacti
    #MinimalNegationOperators

    #logicalcacti #cactussyntax #peirce #logicalgraphs #logic #database
  7. Jon Awbrey @[email protected] ·

    #ThemeOneProgram • #JetsAndSharks 1.5
    • inquiryintoinquiry.com/2022/08

    Reference —

    #McClelland, J.L. (2015),
    Explorations in #ParallelDistributedProcessing :
    A Handbook of Models, Programs, and Exercises, 2nd ed. (draft),
    #StanfordParallelDistributedProcessingLab.
    • web.stanford.edu/group/pdplab/
    #PDPHandbook Online —
    • web.stanford.edu/group/pdplab/
    Section 2.3 —
    • web.stanford.edu/group/pdplab/
    Figure 2.1 —
    • web.stanford.edu/group/pdplab/

    #Logic #LogicalGraphs #Peirce
    #CactusSyntax #LogicalCacti
    #MinimalNegationOperators

    #pdphandbook #stanfordparalleldistributedprocessinglab #paralleldistributedprocessing #mcclelland #jetsandsharks #themeoneprogram
  8. Jon Awbrey @[email protected] ·

    #ThemeOneProgram • #JetsAndSharks 1.4
    • inquiryintoinquiry.com/2022/08

    Displayed below is the text expression of a #TraversalString which Theme One parses into a #CactusGraph #DataStructure in computer memory. The cactus graph represents a single #LogicalFormula in #PropositionalCalculus which embodies all the #LogicalConstraints defining the Jets & Sharks #DataBase.

    Log File
    • inquiryintoinquiry.files.wordp

    #Logic #LogicalGraphs #Peirce
    #CactusSyntax #LogicalCacti
    #MinimalNegationOperators

    #minimalnegationoperators #logicalcacti #cactussyntax #peirce #logicalgraphs #logic
  9. Jon Awbrey @[email protected] ·

    #ThemeOneProgram • #JetsAndSharks 1.3
    • inquiryintoinquiry.com/2022/08

    The manner of representation may be illustrated by transcribing a well-known example from the #ParallelDistributedProcessing literature (#McClelland and #Rumelhart 1988) and working through a couple of the associated exercises as translated into #LogicalGraphs.

    #Logic #Peirce #Semiotics #Semiosis
    #Grossberg #CompetitionCooperation
    #GraphTheory #ModelTheory #ProofTheory
    #LogicalCacti #MinimalNegationOperators

    #minimalnegationoperators #logicalcacti #prooftheory #modeltheory #graphtheory #competitioncooperation
  10. Jon Awbrey @[email protected] ·

    #ThemeOneProgram • #JetsAndSharks 1.1
    • inquiryintoinquiry.com/2022/08

    Example 5. Jets and Sharks

    The #PropositionalCalculus based on #MinimalNegationOperators can be interpreted in a way resembling the logic of #ActivationStates and #CompetitionConstraints in one class of #NeuralNetwork models.

    #Logic #LogicalGraphs
    #Peirce #Semiotics #Semiosis
    #Grossberg #McClelland #Rumelhart
    #ParallelDistributedProcessing #PDP
    #GraphTheory #ModelTheory #ProofTheory

    #prooftheory #modeltheory #graphtheory #pdp #paralleldistributedprocessing #rumelhart
  11. Jon Awbrey @[email protected] ·

    #ThemeOneProgram • #SurveyPage
    • inquiryintoinquiry.com/2022/06

    A program I worked on all through the 80s aimed to develop #Algorithms and #DataStructures for integrating #EmpiricalLearning and #LogicalReasoning. I had earlier developed programs for #Learning #TwoLevelFormalLanguages and for #PropositionalLogic #ConstraintSatisfaction based on C.S. #Peirce's #LogicalGraphs. Getting those 2 faculties to work together meant integrating the ways of #Empiricism and #Rationalism.

    #ThemeOneProgram #Learning #Reasoning
    #Logic #LogicalGraphs #FormalLanguages
    #Algorithm #DataStructure #GraphTheory
    #Peirce #PragmaticSemioticInformation
    #Empiricism #Rationalism #Pragmatism
    #ModelTheory #ProofTheory #Semiotics
    #ParallelDistributedProcessing #PDP
    #Grossberg #McClelland #Rumelhart

    #prooftheory #modeltheory #constraintsatisfaction #propositionallogic #surveypage #themeoneprogram