Posts with tag "epistemology"

Unifying Claims and Theories in CTP Theory

Mar 09, 2020

In CTP Theory, there are two basic types of ideas (not including problems, which are treated as separate entities): claims and theories. Claims are simply instances of some kind of data structure that represent some proposition about the world, while theories are functions that take in one or more claims as inputs and return a claim as an output. I think this framework is productive in that it allows for a very rigorous explanation of how the implications of ideas can be explored: If using a set of claims C as an input to a theory T produces a new claim N, N is an implication of T and C (in other words, N can be derived from C and T). Read More

Tags: AGI epistemology CTP Theory

CTP Theory: Automatic Routine Extraction

Dec 07, 2019

In CTP Theory, new theories are created by an algorithm, called the "conjecture algorithm", that randomly varies the code of an old theory to create a new one. One obvious way to implement the conjecture algorithm is to make it randomly delete or insert new instructions into the code. This approach, however, has at least one serious issue: the only functions it can insert into the code are those that are built into the language as basic instructions. To solve this issue, I've developed an approach I call "Routine Extraction", which automatically finds repeated chunks of code and moves them into a function. I call functions created in this manner "routines". Once routines have been found, the conjecture algorithm can insert references to these routines into new theories, rather than only inserting basic instructions. Read More

Tags: AGI epistemology

Does CTP Theory Need a new Type of Problem?

Nov 15, 2019

In CTP Theory as it is now, a problem is created whenever there are two directly contradictory claims, and the set of theories involved in a problem includes every theory involved in either of the claim's lineage. This framework is good for capturing factual contradictions (more specifically, contradictions between two statements of fact), and tracking exactly which theories are involved in the contradiction. However, I worry that not all problems can be boiled down to factual contradictions. Read More

Tags: AGI CTP Theory epistemology

CTP Theory: A Critical Rationalist approach to AGI

Nov 01, 2019

I’ve previously argued that Critical Rationalism, the school of epistemology created by Karl Popper and expanded upon by David Deutsch, is the most promising path towards AGI that we currently have. I have developed a proposal for how to make an AGI, which is heavily inspired by Critical Rationalism, that I will describe it in this post. I call the proposal "Claim-Theory-Problem Theory", or "CTP Theory", since "claims", "theories", and "problems" are the terms I use for the three most important types of entity in the theory. CTP Theory isn’t complete, and more philosophical work is necessary to get it to the point where it can be used to create a full AGI, but I think it does solve several important epistemological questions about how to program an AGI... Read More

Tags: AGI epistemology CTP Theory

The case for a Critical Rationalist approach to AGI

Oct 28, 2019

The human mind is a uniquely powerful object. It is the only object we are aware of that is able to explain all that is explicable, or to understand all that is understandable. It is this capability for explanation that allows humans to make progress in science, technology, morality, and all other important areas. Though this ability to understand, and thus to make progress, is unique to humans for the time being, it doesn't need to continue to be that way in the future. Read More

Tags: AGI epistemology