The claim has often been made that passing the Turing Test would not be sufficient to prove that a computer program was intelligent because a trivial program could do it, namely, the “Humongous-Table (HT) Program”, which simply looks up in a table what to say next. This claim is examined in detail. Three ground rules are argued for: (1) That the HT program must be exhaustive, and not be based on some vaguely imagined set of tricks. (2) That the HT (...) program must not be created by some set of sentient beings enacting responses to all possible inputs. (3) That in the current state of cognitive science it must be an open possibility that a computational model of the human mind will be developed that accounts for at least its nonphenomenological properties. Given ground rule 3, the HT program could simply be an “optimized” version of some computational model of a mind, created via the automatic application of program-transformation rules [thus satisfying ground rule 2]. Therefore, whatever mental states one would be willing to impute to an ordinary computational model of the human psyche one should be willing to grant to the optimized version as well. Hence no one could dismiss out of hand the possibility that the HT program was intelligent. This conclusion is important because the Humongous-Table Program Argument is the only argument ever marshalled against the sufficiency of the Turing Test, if we exclude arguments that cognitive science is simply not possible. (shrink)

People and intelligent computers, if there ever are any, will both have to believe certain things in order to be intelligent agents at all, or to be a particular sort of intelligent agent. I distinguish implicit beliefs that are inherent in the architecture of a natural or artificial agent, in the way it is 'wired', from explicit beliefs that are encoded in a way that makes them easier to learn and to erase if proven mistaken. I introduce the term IFI, (...) which stands for irresistible framework intuition, for an implicit belief that can come into conflict with an explicit one. IFIs are a key element of any theory of consciousness that explains qualia and other aspects of phenomenology as second-order beliefs about perception. Before I can survey the IFI landscape, I review evidence that the brains of humans, and presumably of other intelligent agents, consist of many specialized modules that are capable of sharing a unified workspace on urgent occasions, and jointly model themselves as a single agent. I also review previous work relevant to my subject. Then I explore several IFIs, starting with, 'My future actions are free from the control of physical laws'. Most of them are universal, in the sense that they will be shared by any intelligent agent; the case must be argued for each IFI. When made explicit, IFIs may look dubious or counterproductive, but they really are irresistible, so we find ourselves in the odd position of oscillating between justified beliefs and conflicting but irresistible beliefs. We cannot hope that some process of argumentation will resolve the conflict. (shrink)

Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...) may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (shrink)

A new theory of problem solving is presented, which embeds problem solving in the theory of action; in this theory, a problem is just a difficult action. Making this work requires a sophisticated language for‐talking about plans and their execution. This language allows a broad range of types of action, and can also be used to express rules for choosing and scheduling plans. To ensure flexibility, the problem solver consists of an interpreter driven by a theorem prover which actually manipulates (...) formulas of the language. Many examples of the use of the system six given. including an extended treatment of the world of blocks. Limitations and extensions of the system are discussed at length. It is concluded that a rule‐based problem solver is necessary and feasible, but that much more work remains to be done on the underlying theory of planning and acting. (shrink)

An exploration of the mind-body problem from the perspective of artificial intelligence.

Assuming our understanding of the brain continues to advance, we will at some point have a computational theory of how access consciousness works. Block's supposed additional kind of consciousness will not appear in this theory, and continued belief in it will be difficult to sustain. Appeals to to experience such-and-such will carry little weight when we cannot locate a subject for whom it might be like something.

O'Brien & Opie's theory fails to address the issue of consciousness and introspection. They take for granted that once something is experienced, it can be commented on. But introspection requires neural structures that, according to their theory, have nothing to do with experience as such. That makes the tight coupling between the two in humans a mystery.

Stevan Harnad correctly perceives a deep problem in computationalism, the hypothesis that cognition is computation, namely, that the symbols manipulated by a computational entity do not automatically mean anything. Perhaps, he proposes, transducers and neural nets will not have this problem. His analysis goes wrong from the start, because computationalism is not as rigid a set of theories as he thinks. Transducers and neural nets are just two kinds of computational system, among many, and any solution to the semantic problem (...) that works for them will work for most other computational systems. (shrink)

Zombies are hypothetical creatures identical to us in behavior and internal functionality, but lacking experience. When the concept of zombie is examined in careful detail, it is found that the attempt to keep experience out does not work. So the concept of zombie is the same as the concept of person. Because they are only trivially conceivable, zombies are in a sense inconceivable.

Logic is useful as a neutral formalism for expressing the contents of mental representations. It can be used to extract crisp conclusions regarding the higher-order theory of phenomenal consciousness developed in (McDermott 2001, 20007). A key aspect of conscious perceptions is their connection to the distinction between appearance and reality. Perceptions must often be corrected. To do so requires that the logic of perception be able to represent the logical structure of judgment events, that is, to include the formulas (...) of the logic as objects to be reasoned about. However, there is a limit to how finely humans can examine their own representations. Terms representing primary and secondary qualities seemed to be _locked,_ so that the numbers (or levels of neural activation) that are their essence are not directly accessible. Humans feel a need to invoke ``intrinsic,'' ``nonrelational'' properties of many secondary qualities --- their _qualia_ --- to ``explicate'' how we compare and discriminate among them, although this is not actually how the comparisons are accomplished. This model of qualia explains several things: It accounts for the difference between ``normal'' and ``introspective'' access to a perceptual module in terms of quotation. It dissolves Jackson's knowledge argument by explaining what Mary learns as a fictional but undoubtable belief structure. It makes spectrum inversion logically impossible by providing a degree of freedom between the physical structure of the brain and the representations it contains that redescribes putative cases of spectrum inversion as alternative but equivalent ways of mapping physical states to representational states. (shrink)

Drew McDermott, Int. J. Mach. Conscious., 06, 45 (2014). DOI: 10.1142/S1793843014400071.

This is a review of Drew V. McDermott, Mind and Mechanism, MIT Press, Cambridge, MA, 2001.

[This is a review of: Drew McDermott, Mind and Mechanism, MIT Press, Cambridge, MA, 2001.] -/- The author is interested in computational approaches to consciousness. His reason for working in the field of AI is to solve the mind-body problem, that is, to understand how the brain can have experiences. This is an intricate project because it involves elucidation of the relationship between our mentality and its physical foundation. How can a biological/chemical system (the human body) have experiences, (...) beliefs, desires, intentions, and so on? Physicists have good reasons to persuade us that ours is a material world that obeys physical laws. Once we commit ourselves to this view, it sounds quite bewildering to think that there is a place for independently existing minds in such a world. When physicists speak, McDermott listens. His hypothesis is that we are all contraptions designed by evolution. The concept of mind arises because people’s brains are biological computers. Crudely put, minds are produced by brains. The essential contribution of this rich book is an extended argument about how one can be more specific about the way this production is realized. (shrink)

I. RATNAKIRTI. HIS PHILOSOPHICAL CONGENERS AND ADVERSARIES Ratnakirti flourished early in the 11th century A.D. at the University of Vi kramasila, a member of the Yogacara-Vijnanavada school oflate Buddhist philosophy. Thakur characterizes Ratnakirti's writing as "more concise and logical though not so poetical" 1 as that of his guru, Jfianasrimitra, two of 2 whose dicta are focal points of the present work. From a translogical or absolute point of view, Ratnakirti endorses a form of 3 solipsistic idealism. The Sarhtdndntaradu$alJa, his (...) proof of solipsism written from the standpoint ofthe highest truth, concludes that an exter nal nonmental continuum is impossible. In ultimate reality the cognizing sub ject, its act of awareness, and the cognized object coalesce - all are fabrications superposed on what is really an indivisible evanescent now. 4 As Ratnakirti's predecessors have put it: There is neither an 'I' nor a 'he' nor a 'you' nor even an 'it'; neither the thing, nor the not-thing; neither a law nor a system; neither the terms nor the relations. But there are only the cognitive events of colourless sensations which have forms but no names. They are caught for a moment in a stream and then rush to naught. Even the stream is a fiction. That sensum of the moment, the purest particular, that advaya, the indivisible unit of cognition, that is the sole reality, the rest are all fictions, stirred up by time-honoured 5 convention of language which is itself a grand fiction. (shrink)