Aaron Sloman

Evolution produced many species whose members are pre-programmed with almost all the competences and knowledge they will ever need. Others appear to start with very little and learn what they need, but appearances can deceive. I conjecture that evolution produced powerful innate meta-knowledge about a class of environments containing 3- D structures and processes involving materials of many kinds. In humans and several other species these innate learning mechanisms seem initially to use exploration techniques to capture a variety of useful generalisations after which there is a "phase transition" in which learnt generalisations are displaced by a new generative architecture that allows novel situations and problems to be dealt with by reasoning -- a pre-cursor to explicit mathematical theorem proving in topology, geometry, arithmetic, and kinematics. This process seems to occur in some non-human animals and in preverbal human toddlers, but is clearest in the switch from pattern-based to syntax-based language use. The discovery of non-linguistic toddler theorems has largely gone unnoticed, though Piaget investigated some of the phenomena, and creative problem solving in some other animals also provides clues. A later evolutionary development seems to have enabled humans to cope with domains that involve both regularities and exceptions, explaining "U-shaped" language learning. Only humans appear to be able to develop meta-meta-competences needed for teaching learnt "theorems" and their proofs. I'll sketch a speculative theory, present examples, and propose a research programme, reducing the 'G' in AGI, while promising increased power in return

When scientists attempt to explain observations of behaviour in humans and other animals, they often use language that evolved for informal discourse among people engaged in every day social interaction, like this: What does the infant/child/adult/chimp/crow perceive/understand/learn/intend? What is he/she/it conscious of? What does he/she/it experience/enjoy/desire? What is he/she/it attending to? Why did he/she/it do X, start Xing, stop Xing, speed up Xing...? Does he/she/it know that...? What did/does he/she/it expect will happen, if...? Similar comments can be made about the terminology used in many philosophical discussions about minds, cognition, language, and the relationships between evolution and learning

Much research on intelligent systems has concentrated on low level mechanisms or sub-systems of restricted functionality. We need to understand how to put all the pieces together in an *architecture* for a complete agent with its own mind, driven by its own desires. A mind is a self-modifying control system, with a hierarchy of levels of control, and a different hierarchy of levels of implementation. AI needs to explore alternative control architectures and their implications for human, animal, and artificial minds. Only within the framework of a theory of actual and possible architectures can we solve old problems about the concept of mind and causal roles of desires, beliefs, intentions, etc. The high level ``virtual machine'' architecture is more useful for this than detailed mechanisms. E.g. the difference between connectionist and symbolic implementations is of relatively minor importance. A good theory provides both explanations and a framework for systematically generating concepts of possible states and processes. Lacking this, philosophers cannot provide good analyses of concepts, psychologists and biologists cannot specify what they are trying to explain or explain it, and psychotherapists and educationalists are left groping with ill-understood problems. The paper sketches some requirements for such architectures, and analyses an idea shared between engineers and philosophers: the concept of ``semantic information''.

This is a philosophical `position paper' (html and pdf versions), starting from the observation that we have an intuitive grasp of a family of related concepts of ``possibility'', ``causation'' and ``constraint'' which we often use in thinking about complex mechanisms, and perhaps also in perceptual processes, which according to Gibson are primarily concerned with detecting positive and negative affordances, such as support, obstruction, graspability, etc. We are able to talk about, think about, and perceive possibilities, such as possible shapes, possible pressures, possible motions, and also risks, opportunities and dangers. We can also think about constraints linking such possibilities. If such abilities are useful to us (and perhaps other animals) they may be equally useful to intelligent artefacts. All this bears on a collection of different more technical topics, including modal logic, constraint analysis, qualitative reasoning, naive physics, the analysis of functionality, and the modelling design processes. The paper suggests that our ability to use knowledge about ``de-re'' modality is more primitive than the ability to use ``de-dicto'' modalities, in which modal operators are applied to sentences. The paper explores these ideas, links them to notions of ``causation'' and ``machine'', suggests that they are applicable to virtual or abstract machines as well as physical machines. Some conclusions are drawn regarding the nature of mind and consciousness.

At the ceremony Ron Chrisley introduced me and my work with some kind words and ended with a reference to the claim on my website that I tend to upset vice chancellors and other superior beings. After Ron, I had to make a short speech. I had prepared a few bullet points to be projected on the screen to remind me of what I wanted to say, but for some reason they never appeared, so I talked from memory. I remembered all the points except one, about computing education. Since that is a very important point, I thought I would retrospectively write out an expanded version of the acceptance speech here, with the omitted point included, below, as point 3, and other parts expanded and corrected, thanks to reminders from Sussex colleagues who have read and commented on this

William James wrote about varieties of religious experience (See http://etext.virginia.edu/toc/modeng/public/JamVari.html) but I don't know of anyone who has documented the varieties of atheism. Unlike James I don't here attempt to collect data about what atheists say and do, and how they came by their atheism. This is, instead, an analytical paper describing how various sorts of atheistic position can arise in opposition to various sorts of theistic position. Clarity about this could help to make debates about atheism and theism more fruitful. This document attempts to make clear that there are several forms of atheism, of varying ’strength’ in their opposition to theism, and that there are several types of theism to which each type of atheism can be opposed. This means that instead of atheism being just a single viewpoint it covers a multitude of cases, each definable by a type of theism and a type of objection to that form of theism. The document is freely available online here: http://www.cs.bham.ac.uk/research/projects/cogaff/misc/varieties-of-atheism.html

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. ...&quot

John Searle's attack on the Strong AI thesis, and the published replies, are all based on a failure to distinguish two interpretations of that thesis, a strong one, which claims that the mere occurrence of certain process patterns will suffice for the occurrence of mental states, and a weak one which requires that the processes be produced in the right sort of way. Searle attacks strong strong AI, while most of his opponents defend weak strong AI. This paper explores some of Searle's concepts and shows that there are interestingly different versions of the 'Strong AI' thesis, connected with different kinds of reliability of mechanisms and programs.

Animals and robots perceiving and acting in a world require an ontology that accommodates entities, processes, states of affairs, etc., in their environment. If the perceived environment includes information - processing systems, the ontology should reflect that. Scientists studying such systems need an ontology that includes the first - order ontology characterising physical phenomena, the second - order ontology characterising perceivers of physical phenomena, and a third order ontology characterising perceivers of perceivers, including introspectors. We argue that second - and third - order ontologies refer to contents of virtual machines and examine requirements for scientific investigation of combined virtual and physical machines, such as animals and robots. We show how the CogAff architecture schema, combining reactive, deliberative, and meta - management categories, provides a first draft schematic third - order ontology for describing a wide range of natural and artificial agents. Many previously proposed architectures use only a subset of CogAff, including subsumption architectures, contention - scheduling systems, architectures with Ôexecutive functionsÕ and a variety of types of ÔOmegaÕ architectures. Adding a multiply - connected, fastacting ÔalarmÕ mechanism within the CogAff framework accounts for several varieties of emotions. H - CogAff, a special case of CogAff, is postulated as a minimal architecture specification for a human - like system. We illustrate use of the CogAff schema in comparing H - CogAff with Clarion, a well known architecture. One implication is that reliance on concepts tied to observation and experiment can harmfully restrict explanatory theorising, since what an information processor is doing cannot, in general, be determined by using the standard observational techniques of the physical sciences or laboratory experiments. Like theoretical physics, cognitive science needs to be highly speculative to make progress. Ó 2004 Published by Elsevier B. V.

"The Emperor's New Mind" by Roger Penrose has received a great deal of both praise and criticism. This review discusses philosophical aspects of the book that form an attack on the "strong" AI thesis. Eight different versions of this thesis are distinguished, and sources of ambiguity diagnosed, including different requirements for relationships between program and behaviour. Excessively strong versions attacked by Penrose (and Searle) are not worth defending or attacking, whereas weaker versions remain problematic. Penrose (like Searle) regards the notion of an algorithm as central to AI, whereas it is argued here that for the purpose of explaining mental capabilities the architecture of an intelligent system is more important than the concept of an algorithm, using the premise that what makes something intelligent is not what it does but how it does it. What needs to be explained is also unclear: Penrose thinks we all know what consciousness is and claims that the ability to judge Go "del's formula to be true depends on it. He also suggests that quantum phenomena underly consciousness. This is rebutted by arguing that our existing concept of "consciousness" is too vague and muddled to be of use in science. This and related concepts will gradually be replaced by a more powerful theory-based taxonomy of types of mental states and processes. The central argument offered by Penrose against the strong AI thesis depends on a tempting but unjustified interpretation of Goedel's incompleteness theorem. Some critics are shown to have missed the point of his argument. A stronger criticism is mounted, and the relevance of mathematical Platonism analysed. Architectural requirements for intelligence are discussed and differences between serial and parallel implementations analysed.

This is a 5 page summary with three diagrams of the main objectives and some work in progress at the University of Birmingham Cognition and Affect project. involving: Professor Glyn Humphreys (School of Psychology), and Luc Beaudoin, Chris Paterson, Tim Read, Edmund Shing, Ian Wright, Ahmed El-Shafei, and (from October 1994) Chris Complin (research students). The project is concerned with "global" design requirements for coping simultaneously with coexisting but possibly unrelated goals, desires, preferences, intentions, and other kinds of motivators, all at different stages of processing. Our work builds on and extends seminal ideas of H.A.Simon (1967). We are exploring "broad and shallow" architectures combining varied capabilities most of which are not implemented in great depth. The poster summarises some ideas about management and meta-management processes, attention filtering, and the relevance to emotional states involved "perturbances", where there is partial loss of control of attention.

Emotions involve complex processes produced by interactions between motives, beliefs, percepts, etc. E.g. real or imagined fulfilment or violation of a motive, or triggering of a 'motive-generator', can disturb processes produced by other motives. To understand emotions, therefore, we need to understand motives and the types of processes they can produce. This leads to a study of the global architecture of a mind. Some constraints on the evolution of minds are disussed. Types of motives and the processes they generate are sketched.

Since the 1970s AI as a science has progressively fragmented into many activities that are very narrowly focused. It is not clear that work done within these fragments can be combined in the design of a human-like integrated system – long held as one of the goals of AI as science. A strategy is proposed for reintegrating AI based around a backward-chaining analysis to produce a roadmap with partially ordered milestones, based on detailed scenarios, that everyone can agree are worth achieving, even when they disagree about means.

How can a virtual machine X be implemented in a physical machine Y? We know the answer as far as compilers, editors, theorem-provers, operating systems are concerned, at least insofar as we know how to produce these implemented virtual machines, and no mysteries are involved. This paper is about extrapolating from that knowledge to the implementation of minds in brains. By linking the philosopher's concept of supervenience to the engineer's concept of implementation, we can illuminate both. In particular, by showing how virtual machines can be implemented in causally complete physical machines, and still have causal powers, we remove some philosophical problems about how mental processes can be real and can have real effects in the world even if the underlying physical implementation has no causal gaps. This requires a theory of ontological levels.

In lieu of an abstract, here is a brief excerpt of the content:Response to the CommentariesIan Wright, Aaron Sloman, and Luc BeaudoinWe are very grateful for the care with which the commentators have read our paper, and the sympathy with which they treated what we acknowledged to be at best a preliminary attempt to make sense of a range of phenomena involving grief and other emotions in terms of our draft architecture. We are fortunate to have commentators that are so much in sympathy with what we have written.The comments of Castelfranchi and Miceli draw attention to a problem that we expect many readers to bring up, namely that there is a notion of “information processing” that cannot carry the explanatory weight that we attach to our information processing architecture. We believe that there is a concept of “information processing” such as is used by engineers who design software systems to perform such tasks as controlling an aircraft. We claim that within an appropriate system architecture, information processing states can have all the causal powers that we require for states like pain, pleasure, and the like. However this is not obvious, and defending this claim will have to await another occasion.Lloyd helpfully illustrates the relevance of our proposed architecture even to the effects of imagining the death of a loved one. He also makes the useful observation that second-order states can arise when a person who is suffering because events violate some important motivator, discovers that nothing can be done about the cause of the suffering, and then suffers even more because of feeling helpless in that situation. We acknowledge that these are phenomena that the architecture will have to accommodate, and accept the challenge to demonstrate this in due course.We believe that there is enough commonality between the commentators and ourselves to support our view that the research community is on the verge of an important new breakthrough in the study of mind, in which philosophers, psychologists, therapists, brain scientists, and AI researchers can collaborate fruitfully, and from which profound practical and theoretical consequences will follow.Related ArticlesFeature Article: Towards a Design-Based Analysis of Emotional EpisodesCommentary: Commentary by LloydCommentary: Commentary by Miceli and CastelfranchiCommentary: Commentary by BodenResponse: Response to the CommentariesCopyright © 1996 The Johns Hopkins University Press...