Tag Archives: Artificial Intelligence

Abduction, Deduction, Induction, Analogy, Inquiry • 3

Posted on February 17, 2016 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • Waves, Hazards, Guesses Aristotle’s apagoge, variously translated as abduction, reduction, or retroduction, is a form of reasoning common to two types of situations. Abduction may involve either of the following two operations. The … Continue reading →

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Computation, Computational Complexity, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems, Logic, Problem Solving, Semiotics | Tagged , , , , , , , , , , , , , , | 6 Comments

Prospects for Inquiry Driven Systems • 1

Posted on January 22, 2016 by Jon Awbrey

I finally finished retyping the bibliography to my systems engineering proposal that had gotten lost in a move between computers, so here is a link to the OEIS Wiki copy. Prospects for Inquiry Driven Systems • Bibliography This may be of … Continue reading →

Posted in Adaptive Systems, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Cybernetics, Differential Logic, Educational Systems Design, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems Engineering, Learning, Logic, Logic of Science, Logical Graphs, Machine Learning, Peirce, Propositional Calculus, Reasoning, Scientific Method, Semiotics, Sign Relations, Theorem Proving | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Survey of Theme One Program • 1

Posted on May 18, 2015 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Inquiry Driven Systems • 1

Posted on May 14, 2015 by Jon Awbrey

This is a Survey of blog and wiki posts on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject. An inquiry driven system is a system having among its state variables … Continue reading →

Posted in Abduction, Action, Adaptive Systems, Aristotle, Artificial Intelligence, Automated Research Tools, Change, Cognitive Science, Communication, Cybernetics, Deduction, Descartes, Dewey, Discovery, Doubt, Education, Educational Systems Design, Educational Technology, Fixation of Belief, Induction, Information, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretation, Invention, Kant, Knowledge, Learning, Learning Theory, Logic, Logic of Science, Mathematics, Mental Models, Peirce, Pragmatic Maxim, Pragmatism, Process Thinking, Scientific Inquiry, Semiotics, Sign Relations, Surveys, Teaching, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Objects, Models, Theories : 4

Posted on November 27, 2013 by Jon Awbrey

I need to stay with this problem a while … What are objects, models, theories, and how do they relate to one another? In contemplating this problem I always find it helpful to ruminate on the diagram shown above — … Continue reading →

Posted in Adaptive Systems, Analogy, Aristotle, Artificial Intelligence, Biological Systems, C.S. Peirce, Computational Complexity, Evolution, Gödel, Information, Information Theory, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mental Models, Model Theory, Natural Intelligence, Paradigms, Peirce, Pragmata, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Objects, Models, Theories : 3

Posted on November 21, 2013 by Jon Awbrey

Re: Peirce List Discussion • Tom Gollier Here my task is to build bridges between several different classical and contemporary uses of the word model, so I don’t have the luxury of complete control over the words in play but … Continue reading →

Posted in Adaptive Systems, Analogy, Aristotle, Artificial Intelligence, Biological Systems, C.S. Peirce, Computational Complexity, Evolution, Gödel, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mental Models, Model Theory, Natural Intelligence, Peirce, Pragmata, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Objects, Models, Theories : 2

Posted on November 20, 2013 by Jon Awbrey

Re: K.W. Regan • The Graph Of Math Re: Artem Kaznatcheev • Three Types Of Mathematical Models What — if anything — is the common sense that connects the different senses of the word model, as it has been used … Continue reading →

Posted in Adaptive Systems, Analogy, Aristotle, Artificial Intelligence, Biological Systems, C.S. Peirce, Computational Complexity, Evolution, Gödel, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mental Models, Model Theory, Natural Intelligence, Peirce, Pragmata, Semiotics | Tagged , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Architectonics of Inquiry • 1

Posted on October 23, 2013 by Jon Awbrey

Re: R.J. Lipton • Teaching Helps Research Along these lines, if somewhat tangentially, are some questions that I’ve wondered about for many years. How do research and teaching interact, and how might they act to catalyze one another in the … Continue reading →

Posted in Artificial Intelligence, Automated Research Tools, C.S. Peirce, Discovery, Educational Systems Design, Educational Technology, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Instruction, Peirce, Research Technology | Tagged , , , , , , , , , , , | 3 Comments

Where Is Fancy Bred?

Posted on August 24, 2013 by Jon Awbrey

Re: Artem Kaznatcheev • Fitness Landscapes as Mental & Mathematical Models of Evolution The question of “mental models” has occupied my thoughts for quite a while. As intelligent agents with a capacity for inquiry, we have ways of forming and … Continue reading →

Posted in Adaptive Systems, Analogy, Artem Kaznatcheev, Artificial Intelligence, Biological Systems, Communication, Computational Complexity, Control, Evolution, Fitness Landscapes, Imagination, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Mathematical Models, Mental Models, Natural Intelligence, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , | 1 Comment

How To Succeed In Proof Business Without Really Trying

Posted on July 15, 2013 by Jon Awbrey

Re: R.J. Lipton • Surely You Are Joking? Comment 1 Even at the mailroom entry point of propositional calculus, there is a qualitative difference between insight proofs and routine proofs.  Human beings can do either sort, as a rule, but … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Automatic Theorem Proving, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Graph Theory, Logic, Logical Graphs, Minimal Negation Operators, Model Theory, Peirce, Praeclarum Theorema, Proof Theory, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , , , | 7 Comments