Tag Archives: Data Structures

Theme One Program • Exposition 2

Posted on June 16, 2022 by Jon Awbrey

The previous post described the elementary data structure used to represent nodes of graphs in the Theme One program.  This post describes the specific family of graphs employed by the program. Painted And Rooted Cacti Figure 1 shows a typical example … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Theme One Program • Exposition 1

Posted on June 15, 2022 by Jon Awbrey

Theme One is a program for constructing and transforming a particular species of graph‑theoretic data structures, forms designed to support a variety of fundamental learning and reasoning tasks. The program evolved over the course of an exploration into the integration of … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Survey of Theme One Program • 4

Posted on June 12, 2022 by Jon Awbrey

This is a Survey 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 … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 22 Comments

Icon Index Symbol • 20

Posted on January 11, 2021 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: FB | Semiotics, Books, Links, News • Jon Awbrey • Dalibor Lošťák JA: Icon, Index, Symbol and all other classifications are ideal types abstracted from concrete signs and there are no pure … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Icon Index Symbol • 19

Posted on January 10, 2021 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List • Steven Skaggs SS: As far as visual semiotics is concerned, it is helpful to think of a “terrain” or map of a semantic mode territory in which of icon-index-symbol form … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Icon Index Symbol • 18

Posted on January 8, 2021 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: FB | Semiotics, Books, Links, News • Muntadher Almahdawi Another one of those recurring questions just came up in a Facebook group devoted to Semiotics and I thought it would be useful … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Theme One • A Program Of Inquiry 20

Posted on October 24, 2020 by Jon Awbrey

Re: Richard J. Lipton • Vaccines Are Not Developing Back in the day when I was making The Big Bucks (inflation-adjusted dollars) consulting on research statistics in bioscience-medical-nursing-public-health settings, I noticed a certain analogy between propositional calculus research (PCR0) and … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Theme One • A Program Of Inquiry 19

Posted on October 7, 2020 by Jon Awbrey

Re: Richard J. Lipton • Knowledge Is Good It’s the usual thing to say scientific inquiry involves a combination of deductive and inductive reasoning.  A slightly different, 3-phase model, going back to Aristotle and revived by Charles S. Peirce, analyzes … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Theme One • A Program Of Inquiry 18

Posted on September 1, 2020 by Jon Awbrey

Re: Michael Harris • The Inevitable Questions About Automated Theorem Proving MH:  Even if computers understand, they don’t understand in a human way. I like the simple-mindedness of that. (A simple mind is one with no proper normal submind.) Fifty-plus … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Survey of Theme One Program • 3

Posted on August 28, 2020 by Jon Awbrey

This is a Survey 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 … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 42 Comments