Theme One Motivation • 1

Re: Sys Sci Group Discussion • (1)
Re: Ontolog Forum Discussion • (1)
Re: Laws Of Form Discussions • (1)(2)(3)

The main idea behind the Theme One program is the efficient use of graph-theoretic data structures for the tasks of “learning” and “doing logic”.

I am thinking of “learning” in the sense of “learning about an environment”, in other words, acquiring information about the nature of an environment and being able to apply that information to some purpose.

Under the heading of “doing logic” I am merely lumping together all the ordinary sorts of practical activities that would probably occur to most people under that name.

There is a natural relation between these tasks.  Learning the character of an environment leads to the recognition of laws that govern the environment and making full use of this recognition requires the ability to reason logically about these laws in abstract terms.

This entry was posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Computation, Computational Complexity, Cybernetics, Data Structures, Differential Logic, Form, Formal Languages, Graph Theory, Inquiry, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Learning, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pragmatics, Programming, Propositional Calculus, Propositional Equation Reasoning Systems, Reasoning, Semantics, Semiotics, Spencer Brown, Syntax, Theorem Proving and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s