PNAS Paper from April 29th that makes strides to solve the Hard Problem of Consciousness by dissolving it:
A conceptual framework for consciousness
This article argues that consciousness has a logically sound, explanatory framework, different from typical accounts that suffer from hidden mysticism. The article has three main parts. The first describes background principles concerning information processing in the brain, from which one can deduce a general, rational framework for explaining consciousness. The second part describes a specific theory that embodies those background principles, the Attention Schema Theory. In the past several years, a growing body of experimental evidence—behavioral evidence, brain imaging evidence, and computational modeling—has addressed aspects of the theory. The final part discusses the evolution of consciousness. By emphasizing the specific role of consciousness in cognition and behavior, the present approach leads to a proposed account of how consciousness may have evolved over millions of years, from fish to humans. The goal of this article is to present a comprehensive, overarching framework in which we can understand scientifically what consciousness is and what key adaptive roles it plays in brain function.
Information that comes out of a brain must have been in that brain. [...]
For example, if I believe, think, and claim that an apple is in front of me, then it is necessarily true that my brain contains information about that apple. Note, however, that an actual, physical apple is not necessary for me to think one is present. If no apple is present, I can still believe and insist that one is, although in that case I am evidently delusional or hallucinatory. In contrast, the information in my brain is necessary. Without that information, the belief, thought, and claim are impossible, no matter how many apples are actually present.
You believe you have consciousness because of information in your brain that depicts you as having it. [...] The existence of an actual feeling of consciousness inside you, associated with the color, is not necessary to explain your belief, certainty, and insistence that you have it. Instead, your belief and claim derive from information about conscious experience. If your brain did not have the information, then the belief and claim would be impossible, and you would not know what experience is, no matter how much conscious experience might or might not “really” be inside you.
Note that principle 1 does not deny the existence of conscious experience. It says that you believe, think, claim, insist, jump up and down, and swear that you have a conscious feeling inside you, because of specific information in your brain that builds up a picture of what the conscious feeling is. [...]
The brain’s models are never accurate.
...and I think you can anticipate what follows in this section.
The central proposal of AST [Attention Schema Theory] is that the brain constructs an attention schema. The proposal was not originally intended as an explanation of consciousness, but rather to account for the skillful endogenous control of attention that people and other primates routinely demonstrate. A fundamental principle of control engineering is that a controller benefits from a model of the item it controls. In parallel to a body schema, an attention schema could also be used to model the attention states of others, thus contributing to social cognition. Finally, an attention schema, if at least partly accessible by higher cognition and language, could contribute to common human intuitions, beliefs, and claims about the self.
I recommend reading the full article.
Related: my review of Graziano's 2019 book “Rethinking Consciousness”.
I scanned through the article in search of a new insight, and came up empty. What did you get from it?
Few people have solved the hard problem of consciousness in a so clearly spelled out way. Aren't you happy to see this becoming common knowledge?
I believe zero people have solved it, and the number remains zero after Graziano's paper. The hard problem is why there is such a thing as experience, and how there could possibly be any such thing, when everything else we know seems to leave no room for it; yet we have it. Graziano substitutes the question of why we think we have it; but that thinking is itself an experience left unexplained. It does not so much dissolve the problem as ignore it.
I failed to find anything resembling a solution, or a dissolution, that is any better or clearer than this Scott Aaronson's post on the "pretty hard problem of consciousness." I may have missed something, that's why I asked.
There are significant differences between IIT and AST (and Aaronson doesn't go much beyond refuting IIT).
This claim always raises my hackles. I have seen no reason to think it is true and plenty of reason to think it is not. Graziano references three papers in support. One is a paper by Conant and Ashby from 1970 that I have remarked on before: I cannot make any sense of their concepts and notations when I try to work through their exposition with an example of a control system. The second is a similarly old paper (1976), which at least has the virtue of not being Conant and Ashby. I am currently going down the rabbit-hole of the arguments there and in the papers it references. The third reference is a more recent (2004) textbook on model-based control, but which as far as I can make out, contains no claim that a model is an essential part of a control system, only that it is a possible part of a control system, with which I don't have a quarrel. Googling "internal model principle" (for such it is called) turns up only those old references and mentions in more recent control theory undergraduate lecture notes, but nothing more substantial.
If there is anyone here with a professional knowledge of control engineering (something I cannot claim myself), I would love to talk with them about this internal model principle that was in vogue decades ago but which seems to have left only fossilised traces today.
I have studied control engineering, and maybe "model" is too much or not exactly what you have in mind. Control systems need a mathematical description of the controlled process - its behavior in reaction to changing parameters. This description is traditionally called the transfer function, but it is effectively a model of the process. In simple cases, it is the time-independent response to change in control parameters. For example, how much and how quickly the temperature changes when you increase turn up the heating. In more advanced Model predictive control it is - well - more complicated.
I know about transfer functions and so forth. The transfer function is the designer's model of the process to be controlled. But the control system that they design need not have any such model. The room thermostat knows nothing but the current temperature at its sensor and the reference temperature set by the user. The designer puts the sensor in a suitable place, and chooses a heat source powerful enough to satisfy the demands made of it. After that, the system does what it was designed to do, with no knowledge of that design. Exactly the same system could be installed in many different rooms, and give satisfactory performance in each of them.
With the diagrams in the papers that Graziano references by Conant and Ashby, and Wonham, I see no place in them for all of the unmodelled disturbances, e.g. external temperature and number of people in the room for the room thermostat. These are assumed to be known perfectly, and the control system is assumed to control perfectly. It is not surprising that with everything so exactly matched and moving in lockstep, you can find one part whose behaviour maps exactly to another part. But not only are these assumptions never true, they are never even approximately true. The point of a control system is to insulate the controlled variables from disturbances about which nothing is known but a few general characteristics, such as typical magnitude and rate of change.
Most of the confusion I have read about the Good Regulator theorem seems to be about what it means to be a good model which is related to the map/territory distinction. What does it mean to have a map/model?
For the interested here are some missing links:
The imminent paper by Conant and Ashby: Every good regulator of a system must be a model of that system
The theorem is also discussed on LW: Fixing The Good Regulator Theorem
I also found these Notes on The Good Regulator Theorem insightful.
This is the case only in the simplest cases. Thermostats have a straightforward model (because heat content is slow-moving and smooth) that will work well with many rooms. But with less well-behaved targets, depending on the type of controller, you will get permanent delta, oscillations, or worse results.
If you were a thermostat and had a model of how people in the room affect temperature (and had a way to figure out how many there are), you could control the room temperature much more effectively (e.g., bringing it up to the expected temperature very quickly).
Again, the point at issue is not whether you can use models in the design of a controller, but whether a controller necessarily benefits from itself containing a model, which is what Graziano claims, relying on those musty old references.
I believe the usefulness of models (in the controller, not the designer) is greatly overestimated. The room thermostat will not benefit from any such model. When it turns the heating on, it's already raising the temperature as fast as it can. In its steady state, the temperature remains close to the reference temperature no matter what, oscillating up and down in the hysteresis zone. Half a dozen people coming in will not warm the room. The weather turning cold will not chill the room. And this without the thermostat having any model of what is happening, only a rule of what to do given the sensed and reference temperatures. As long as the heat source (or cold source, in warmer climates) has the necessary capacity, the performance is effectively perfect.
I think you refer to Robust Control, where a controller is designed to handle a wide range of parameters. But it still needs to have (correspond to) a model of regulating temperature. You can't use the same controller to control a balancing pole (or a plane's flaps). Even Adaptive Control can't do that.
But even for your thermostat: The performance may be perfect in the limit given infinite time, but maybe you want to get the heat up quickly, and with your assumption of sufficient capacity, that should be possible, right? But it turns out that it will not work if the thermostat doesn't have a sufficient model that doesn't break down at shorter timescales.
You can find some failure modes here.
The room thermostat is plenty robust, but owes nothing to Robust Control. Or to put that differently, Robust Control means "control that works".
The designer needs that, but the controller does not.
The designer considers the dynamics of the pole and designs a controller for it. The controller need not have any model. Here's a simple example. The inverted pendulum controller there has a certain architecture with 4 parameters chosen to suitably place the poles of the transfer function. It stretches the concept of "model" to call those parameters a model of the inverted pendulum. For the walking robot example, I didn't even do that calculation, just picked parameters from physical intuition. It did not take much trial and error to get it to work.
Very interesting paper! Thank you for that!
I found one of the flaws he describes particularly striking, the empirically observed "bursting" phenomenon, whereby under adaptive control the plant may occasionally go into unstable oscillations for a short while. This happens because you cannot observe the full space of a plant's behaviour while it is under control, only some subspace of it. That is what a control loop does to a plant: it removes some of its degrees of freedom. (For example, the room thermostat removes all degrees of freedom from the room's temperature.) The adaptive part is trying to learn a model of the plant's behaviour while the plant is being controlled. But if the number of degrees of freedom while under control is less than the number of parameters the adaptive part is estimating, then some degrees of freedom of the parameter space are unobservable. Those degrees of freedom cannot be learned, and are free to drift arbitrarily. Eventually they drift so far that control fails, the plant exhibits more degrees of freedom, and the adaptive part manages to learn its parameters better. Control is restored, until the next time.
That phenomenon happens for such fundamental reasons that I would expect there to even be theorems about it, but I'm not familiar enough with the field to know. The behaviours of the plant under control and not under control are completely different. It is difficult to learn a model of the latter while only having access to the former. One might even say "you can't tell what the plant is doing by watching what it's doing".
I guess we talk past each other when we use the word "model" here somehow but at least we seem to agree on what happens and why in these examples.
What do you think will happen as the number of degrees of freedom goes up significantly?
I don't think any of the points at issue here will be affected. The plant and the controller may both be more complicated, but the issue of whether a given controller has a model or not is unchanged.
What, then, is a model? This is where people broaden the scope of the word far beyond its normal use, apparently in order to maintain the claim that a good controller must have a "model". But changing the meaning of a word changes the meaning of every sentence that uses it. It does not change the things that the sentences are talking about, nor the claims made when using the original sense of the word.
That original sense, the ordinary sense of the word whenever anyone uses it, in the absence of any urge to find a model whether it exists or not, is illustrated by the following examples.
In a typical textbook on Model-Based Control, the block diagrams of the controllers it discusses include a block explicitly labelled as a model of the plant. This block calculates a function from inputs to outputs, in a way that is close to the input-output behaviour of the plant being modelled. In non-model-based control there is no such component.
That is a special case of a mathematical model: a set of variables and equations relating them that describe the behaviour of a physical system.
A physical model is the same thing done with physics instead of mathematics, such as a scaled-down model of an aircraft wing in a wind tunnel.
In biology, a model organism is an organism that is representative of some larger class, to which class experimental results may be expected to extrapolate. A practical model must also be easy to work with, hence the ubiquity of Drosophila, Arabidopsis, and mice.
Even a model on the catwalk is the same sort of thing. The model displays clothes as they are intended to appear when worn by potential customers. Protests some years back about a tendency for female models to look more like waifish teenage boys make the point: those models were not very good models, in the sense I'm talking about.
These are all examples of a single concept. Here are some anti-examples. A keycard is not a model of the set of doors that it opens. A password is not a model of the account it gives access to. A table is not a model of whatever might be placed on it. An eye is not a model of the photons it responds to.
Perhaps some concise formula can be given that draws the line in the right place, but I do not have one to hand. I suppose that categories and adjoint functors might be a part of it.
I have found your old post Without models. You work from a very clear understanding of what a model is, and a thermostat doesn't have it, and with the definition of a model that you seem to use, I agree.
I think people may mean two things when they talk about a "model":
These overlap. Think of an explicit model component that is fed input from the environment (the controlled process) and outputs predicted future states. This model will have outputs that highly correlate with the component of the state-space of the environment in the future.