Tag Archives: Artificial Intelligence

Survey of Theme One Program • 2

Posted on February 25, 2018 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 to support an integrated learning and reasoning interface, … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 20 Comments

Inquiry Driven Systems • Comment 2

Posted on February 21, 2018 by Jon Awbrey

I just got reminded of an earlier blog post that more or less fits here.  It links to the bibliography I had in hand and mind when I went back to graduate school in systems engineering to synthesize all the … Continue reading →

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , | 8 Comments

Inquiry Driven Systems • Comment 1

Posted on February 18, 2018 by Jon Awbrey

Re: Peirce List • Daniel Everett • Edwina Taborsky The role of acquired knowledge bases in inquiry, learning, and reasoning is discussed in the following article and sections. Introduction to Inquiry Driven Systems Inquiry Learning Transfer Testing cc: Peirce List … Continue reading →

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Knowledge Bases, Learning, Logic, Peirce, Reasoning, Semiotics, Sign Relations, Systems Theory, Visualization | Tagged , , , , , , , , , , , , , , , | 8 Comments

Icon Index Symbol • 17

Posted on May 9, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) (4) (5) • Helmut Raulien Our object being to clarify the relationships among icons, indices, and symbols, I believe the maximum benefit possible at this point is … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , | 16 Comments

Icon Index Symbol • 16

Posted on May 6, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) (4) (5) • Jon Alan Schmidt • Helmut Raulien Having lost my train of thought due to a week on the road, I would like to go … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , | 16 Comments

Icon Index Symbol • 13

Posted on April 29, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) • Helmut Raulien HR: I guess, that a difference between Peirce’s relation theory, and his semiotics and category theory, is, that the first is about all triadic … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , | 19 Comments

Icon Index Symbol • 12

Posted on April 28, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) • Helmut Raulien HR: Example:  The triadic function with the three sets not being classes of any kind, at least not of the special kind (whatever that … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , | 19 Comments

Icon Index Symbol • 11

Posted on April 27, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) • Helmut Raulien HR: A simple triadic or n-adic relation, I think, belongs to secondness, and has only two modes:  the quality, e.g. function or caprice (intension), … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , | 20 Comments

Icon Index Symbol • 10

Posted on April 25, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) • Helmut Raulien HR:  I am not so sure, if thirdness is about any triadic relation. It may be more a matter of exegetic strategy than anything … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , | 19 Comments

Icon Index Symbol • 9

Posted on April 24, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) • Helmut Raulien I confess I have never found going on about Firstness Secondness Thirdness all that useful in any practical situation. Firstness means you have a … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , | 16 Comments