Category Archives: Machine Learning

Prospects for Inquiry Driven Systems • 1

I finally finished retyping the bibliography to my systems engineering project prospectus that had gotten lost in a move between computers, so here is a link to the InterSciWiki copy: Prospects for Inquiry Driven Systems This may be of interest … Continue reading

Posted in Adaptive Systems, Artificial Intelligence, Automated Research Tools, Cactus Graphs, Constraint Satisfaction Problems, Cybernetics, Differential Logic, Dynamical Systems, Educational Systems Design, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems Engineering, Learning, Logic, Logic of Science, Logical Graphs, Machine Learning, Peirce, Reasoning, Scientific Method, Semiotics, Sign Relations, Theorem Proving | Tagged , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Theme One Program • 1

This is a Survey of previous blog and wiki posts on the Theme One Program that I worked on all through the 1980s. The aim of the project was to develop fundamental algorithms and data structures to support an integrated … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Cognitive Science, Computation, Computational Complexity, Computer Science, Computing, Constraint Satisfaction Problems, Cybernetics, Data Structures, Diagrammatic Reasoning, Diagrams, Differential Analytic Turing Automata, Education, Educational Systems Design, Educational Technology, Equational Inference, Functional Logic, Graph Theory, Indicator Functions, Inquiry, Inquiry Driven Education, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Knowledge, Learning, Learning Theory, Logic, Logical Graphs, Machine Learning, Mathematics, Mental Models, Minimal Negation Operators, Painted Cacti, Peirce, Programming, Programming Languages, Propositional Calculus, Propositional Equation Reasoning Systems, Propositions, Research Technology, Semeiosis, Semiosis, Semiotics, Sign Relations, Surveys, Teaching, Theorem Proving, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Constraints and Indications : 1

Re: Peirce List Discussion • Christophe Menant • (1) • (2) The system-theoretic concept of “constraint” is one that unifies a manifold of other notions — definition, determination, habit, information, law, predicate, regularity, and so on.  Indeed, it is often … Continue reading

Posted in Artificial Intelligence, C.S. Peirce, Constraint, Control, Cybernetics, Indication, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Intentionality, Learning Theory, Machine Learning, Peirce, Semiotics, Systems Theory, Uncertainty | Tagged , , , , , , , , , , , , , , , , | Leave a comment