Final research agenda #2: first sketch of a plan
Back in mid-February, I posted "A research agenda for the final year", which poses a small set of basic questions. The idea is that if we can answer those questions correctly, then we might have a plan for the creation of a human-friendly superintelligent AI. Now I want to sketch what an answer (and its implementation) could look like. There are no proofs of anything here, just several exploratory hypotheses. They are meant to provide a concrete image of what to aim for, and are subject to revision if they prove to be misguided. The ontological hypotheses are panprotopsychism and interacting monads. Panpsychism is an ontology in which all the elementary things have minds. Panprotopsychism is an ontology in which all the elementary things lie on a continuum with "having a mind". As for interacting monads, @algekalipso made a post in January which illustrates the formal structure one might expect: a causal network that is dynamic like Wolfram's hypergraphs rather than fixed like Conway's Game of Life, and in which the monads have significant dynamic internal structure too. In terms of physical theory, these monads might be "blocks of entanglement" or "geometric atoms" or some other ultimate constituent. The postulate of panprotopsychism here means that awareness, and its more elaborate forms like consciousness or subjectivity, arises when these monads possess the appropriate internal structure. One may ask why I am supposing this somewhat exotic theory of the conscious mind, in which a person is some kind of nonseparable quantum state of the brain, rather than a more conventional information-processing model, in which they are a particular virtual state machine existing more at the level of neurons than at the level of quantum physics. The reason is just that I consider the exotic option more likely. However, the reader may wish to substitute Markov blankets for monads if they prefer the conventional model. So we have our ontology: the physical world is made of @algek