Category Archives: Knowledge Representation

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 9

Re: FB | Systems Sciences • Kenneth Lloyd Dear Kenneth, Mulling over recent discussions put me in a pensive frame of mind and my thoughts led me back to my first encounter with category theory.  I came across the term … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic, Dynamic Systems, Tangent Functors • Comment 1

Seeing as how quasi-neural models and the recurring issues of logical-symbolic vs. quantitative-connectionist paradigms have come round again, as they do every dozen or twenty years or so, I thought I might refer again to work I started initially in that … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Category Theory • Comment 1

I’m deep in the middle of upgrading my intro to sign relations and I am determined to stick to it this time but there will be a phase when it’s critical to bring category theory to bear on the development.  … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Differential Logic, Graph Theory, Group Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Logic, Logical Graphs, Mathematics, Peirce, Peirce's Categories, Research Technology, Scientific Method, Semiotics, Set Theory, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , | Leave a comment

Ontologies As Systems • Comment 1

Re: Ontolog Forum • Joseph Simpson The reason I’ve been maintaining an interdisciplinary perspective in my postings to the Ontolog Forum, Structural Modeling, and Systems Science groups is because each one stresses a distinct but necessary aspect of a systems … Continue reading

Posted in C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Knowledge Bases, Knowledge Representation, Learning, Logic, Peirce, Reasoning, Semiotics, Sign Relations, Systems Theory | Tagged , , , , , , , , , , , , , , | Leave a comment

Conceptual Barriers • 3

Re: Ontolog Forum • Paola Di Maio Partly this discussion and partly just the mood I’m in brought to mind a motley assortment of old reminiscences.  My first years in college I oscillated (or vacillated) between math and physics, eventually … Continue reading

Posted in Artificial Intelligence, C.S. Peirce, Conceptual Barriers, Conceptual Integration, Constraint, Indication, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Intentionality, Knowledge Representation, Peirce, Pragmatic Semiotic Information, Scholarship of Integration, Semiotics, Sign Relations, Systems Theory, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , | Leave a comment

Conceptual Barriers • 2

Re: Ontolog Forum • Paola Di Maio Synchronicity being what it is, here for your contemplation are two pictures from a current discussion on Facebook. See Tables 8 and 9 in the following article and section: Application of Higher Order … Continue reading

Posted in Artificial Intelligence, C.S. Peirce, Conceptual Barriers, Conceptual Integration, Constraint, Indication, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Intentionality, Knowledge Representation, Peirce, Pragmatic Semiotic Information, Scholarship of Integration, Semiotics, Sign Relations, Systems Theory, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , | Leave a comment

Conceptual Barriers • 1

Re: Ontolog Forum • John Sowa My first year at college the university held a cross-campus colloquium taking its theme from C.P. Snow’s Two Cultures about the need for and difficulties of cross-disciplinary communication and collaboration in our day.  The … Continue reading

Posted in Artificial Intelligence, C.S. Peirce, Conceptual Barriers, Conceptual Integration, Constraint, Indication, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Intentionality, Knowledge Representation, Peirce, Pragmatic Semiotic Information, Scholarship of Integration, Semiotics, Sign Relations, Systems Theory, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 8

Re: Systems Science • Len Troncale It’s been a while since I started this thread, with many sidetrips and tangents, so let me go back to the top and expand on the motivations I expressed there, addressing a few issues … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 7

Re: Systems Science • JS Let’s stand back from the picture and see how the dimensions of syntax, semantics, and pragmatics look from a pragmatic semiotic or sign relational perspective. is an object domain, a set of elements under view … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 6

Re: Systems Science • JS A few of my readers are racing well ahead of me, exploring a range of different roads, but I’ll be making a dogged effort to stick to my math-bio-graphical narrative this time around, and try … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments