Most philosophers appear to have ignored the distinction between the broad concept of Virtual Machine Functionalism (VMF) described in Sloman&Chrisley (2003) and the better known version of functionalism referred to there as Atomic State Functionalism (ASF), which is often given as an explanation of what Functionalism is, e.g. in Block (1995). -/- One of the main differences is that ASF encourages talk of supervenience of states and properties, whereas VMF requires supervenience of machines that are arbitrarily complex networks of (...) causally interacting (virtual, but real) processes, possibly operating on different time-scales, examples of which include many different procesess usually running concurrently on a modern computer performing various tasks concerned with handling interfaces to physical devices, managing the file system, dealing with security, providing tools, entertainments, and games, and possibly processing research data. Another example of VMF would be the kind of functionalism involved in a large collection of possibly changing socio-economic structures and processes interacting in a complex community, and yet another is illustrated by the kind of virtual machinery involved in the many levels of visual processing of information about spatial structures, processes, and relationships (including percepts of moving shadows, reflections, highlights, optical-flow patterns and changing affordances) as you walk through a crowded car-park on a sunny day: generating a whole zoo of interacting qualia. (Forget solitary red patches, or experiences thereof.) -/- Perhaps VMF should be re-labelled "Virtual MachinERY Functionalism" because the word 'machinery' more readily suggests something complex with interacting parts. VMF is concerned with virtual machines that are made up of interacting concurrently active (but not necessarily synchronised) chunks of virtual machinery which not only interact with one another and with their physical substrates (which may be partly shared, and also frequently modified by garbage collection, metabolism, or whatever) but can also concurrently interact with and refer to various things in the immediate and remote environment (via sensory/motor channels, and possible future technologies also). I.e. virtual machinery can include mechanisms that create and manipulate semantic content, not only syntactive structures or bit patterns as digital virtual machines do. (shrink)
My favourite leading question when teaching Philosophy of Mind is ‘Could a goldfish long for its mother?’ This introduces the philosophical technique of ‘conceptual analysis’, essential for the study of mind (Sloman 1978, ch. 4). By analysing what we mean by ‘A longs for B’, and similar descriptions of emotional states we see that they inv olve rich cognitive structures and processes, i.e. computations. Anything which could long for its mother, would have to hav e some sort of representation (...) of its mother, would have to believe that she is not in the vicinity, would have to be able to represent the _possibility _of being close to her, would have to desire that possibility, and would have to be to some extent pre-occupied or obsessed with that desire. That is, it should intrude into and interfere with other activities, like admiring the scenery, catching smaller fish, etc. If the desire were there, but could be calmly put aside, whilst other interests were pursued, then it would not be truly a state of longing. It might be a state of preferring. Thus longing involves computational interrupts. The same seems to be true of all emotions. (shrink)
This paper aims to replace deep sounding unanswerable, time-wasting pseudo- questions which are often posed in the context of attacking some version of the strong AI thesis, with deep, discovery-driving, real questions about the nature and content of internal states of intelligent agents of various kinds. In particular the question.
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.
There is now a huge amount of interest in consciousness among scientists as well as philosophers, yet there is so much confusion and ambiguity in the claims and counter-claims that it is hard to tell whether any progress is being made. This ``position paper'' suggests that we can make progress by temporarily putting to one side questions about what consciousness is or which animals or machines have it or how it evolved. Instead we should focus on questions about the sorts (...) of architectures that are possible for behaving systems and ask what sorts of capabilities, states and processes, might be supported by different sorts of architectures. We can then ask which organisms and machines have which sorts of architectures. This combines the standpoint of philosopher, biologist and engineer. If we can find a general theory of the variety of possible architectures (a characterisation of ``design space'') and the variety of environments, tasks and roles to which such architectures are well suited (a characterisation of ``niche space'') we may be able to use such a theory as a basis for formulating new more precisely defined concepts with which to articulate less ambiguous questions about the space of possible minds. For instance our initially ill-defined concept (``consciousness'') might split into a collection of more precisely defined concepts which can be used to ask unambiguous questions with definite answers. As a first step this paper explores a collection of conjectures regarding architectures and their evolution. In particular we explore architectures involving a combination of coexisting architectural levels including: (a) reactive mechanisms which evolved very early, (b) deliberative mechanisms which evolved later in response to pressures on information processing resources and (c) meta-management mechanisms that can explicitly inspect evaluate and modify some of the contents of various internal information structures. It is conjectured that in response to the needs of these layers, perceptual and action subsystems also developed layers, and also that an ``alarm'' system which initially existed only within the reactive layer may have become increasingly sophisticated and extensive as its inputs and outputs were linked to the newer layers. Processes involving the meta-management layer in the architecture could explain the origin of the notion of ``qualia''. Processes involving the ``alarm'' mechanism and mechanisms concerned with resource limits in the second and third layers gives us an explanation of three main forms of emotion, helping to account for some of the ambiguities which have bedevilled the study of emotion. Further theoretical and practical benefits may come from further work based on this design-based approach to consciousness. A deeper longer term implication is the possibility of a new science investigating laws governing possible trajectories in design space and niche space, as these form parts of high order feedback loops in the biosphere. (shrink)
Replication or even modelling of consciousness in machines requires some clarifications and refinements of our concept of consciousness. Design of, construction of, and interaction with artificial systems can itself assist in this conceptual development. We start with the tentative hypothesis that although the word “consciousness” has no well-defined meaning, it is used to refer to aspects of human and animal informationprocessing. We then argue that we can enhance our understanding of what these aspects might be by designing and building virtual-machine (...) architectures capturing various features of consciousness. This activity may in turn nurture the development of our concepts of consciousness, showing how an analysis based on information-processing virtual machines answers old philosophical puzzles as well enriching empirical theories. This process of developing and testing ideas by developing and testing designs leads to gradual refinement of many of our pre-theoretical concepts of mind, showing how they can be construed as implicitly “architecture-based” concepts. Understanding how humanlike robots with appropriate architectures are likely to feel puzzled about qualia may help us resolve those puzzles. The concept of “qualia” turns out to be an “architecture-based” concept, while individual qualia concepts are “architecture-driven”. (shrink)
What we have learnt in the last six or seven decades about virtual machinery, as a result of a great deal of science and technology, enables us to offer Darwin a new defence against critics who argued that only physical form, not mental capabilities and consciousness could be products of evolution by natural selection. The defence compares the mental phenomena mentioned by Darwin’s opponents with contents of virtual machinery in computing systems. Objects, states, events, and processes in virtual machinery which (...) we have only recently learnt how to design and build, and could not even have been thought about in Darwin’s time, can interact with the physical machinery in which they are implemented, without being identical with their physical implementation, nor mere aggregates of physical structures and processes. The existence of various kinds of virtual machinery (including both “platform” virtual machines that can host other virtual machines, e.g. operating systems, and “application” virtual machines, e.g. spelling checkers, and computer games) depends on complex webs of causal connections involving hardware and software structures, events and processes, where the specification of such causal webs requires concepts that cannot be defined in terms of concepts of the physical sciences. That indefinability, plus the possibility of various kinds of self-monitoring within virtual machinery, seems to explain some of the allegedly mysterious and irreducible features of consciousness that motivated Darwin’s critics and also more recent philosophers criticising AI. There are consequences for philosophy, psychology, neuroscience and robotics. (shrink)
Since 1991 the author has been Professor of Artificial Intelligence and Cognitive Science in the School of Computer Science at the University of Birmingham, UK.
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. (shrink)
This document explains, from the viewpoint of a philosopher/scientist atheist, why intelligent design should be taught alongside standard evolutionary theory. I have been very disappointed by things I have read by scientists recommending suppression of this topic, and even in one case arguing that the worst arguments in favour of ID should be collected together and refuted, which is a prescription for scientific dishonesty. An honest attack would present the best arguments, as cogently as possible, before exposing their flaws. (Something (...) I learnt from the writings of Karl Popper.). (shrink)
Often, when people discuss the role of simplicity in science, they do not notice the trade-off between simplicity of ontology and simplicity of theory using an ontology. Einstein appears to have been emphasising simplicity of ontology (basic elements), though he might have included theory as well (basic axioms/assumptions).
A PDF version (automatically generated) which may be slightly out of date is also available http://www.cs.bham.ac.uk/research/projects/cogaff/misc/the-self.pdf..
Author comments Rick Grush’s statements about emulation and embodied approach to representation. He proposes his modification of Grush’s definition of emulation, criticizing notion of “standing in for”. He defends of notion of representation. He claims that radical embodied theories are not applicable to all cognition.
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. (shrink)
"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. (shrink)
At the end of the seminar, I suggested that most researchers on language and its evolution (including Derek Bickerton I suspect, though I've only read snippets of his work), mistakenly ignore a host of other competences that are present in far more species.
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. ...". (shrink)
I am populating this file from the bottom up. Later years are still empty. Try stuff in or before 1998 for a start. My Oxford DPhil Thesis (1962) is the oldest item available here.
Velmans’ paper raises three problems concerning mental causation: (1) How can consciousness affect the physical, given that the physical world appears causally closed? 10 (2) How can one be in conscious control of processes of which one is not consciously aware? (3) Conscious experiences appear to come too late to causally affect the processes to which they most obviously relate. In an appendix Velmans gives his reasons for refusing to resolve these problems through adopting the position (which he labels ‘physicalism’) (...) that ‘consciousness is nothing more than a state of the brain’. The rest of the paper, then, is an attempt to solve these problems without embracing a reductionist physicalism. Velmans’ solution to the first problem is ‘ontological monism combined with epistemological dualism’: First-person and third-person accounts are two different ways of knowing the same facts. This kind of reply is not new; it is, for example, a twist on the position expressed in Davidson (1970). True, there are substantial differences: For one, Davidson reconciles the tension between descriptions of events in mentalistic and physicalist language, not between firstand third-person descriptions of states; for another, Davidson actually provides an argument for his position, although to do so he assumes that there are no psycho-physical (or indeed, psycho-psycho) laws, something which I suspect Velmans would be reluctant to do. Nevertheless, they have in common the idea that the causal efficacy of the mental is not at odds with the causal closure of physics, since a mind-involving causal story is just another way of talking about the same facts that a purely physical causal story talks about. This ‘dual-aspect’ approach is a popular tactic for resolving the mind–body problem, but it has some well-known problems, and it is unfortunate Velmans doesn’t reply to these standard objections. For example, a frequently discussed issue in connection with theories of mental causation is the problem of overdetermination (see, e.g., Unger, 1977; Peacocke, 1979).. (shrink)
This file is http://www.cs.bham.ac.uk/research/projects/cogaff/misc/p-geometry.html From time to time I shall use html2ps and ps2pdf to create a PDF version, better suited for printing: http://www.cs.bham.ac.uk/research/projects/cogaff/misc/p-geometry.pdf The PDF version will probably have formatting flaws, and may not be up to date.
There are many religious scientists who misrepresent or misquote Einstein in support of their claim that there is no conflict between science and religion, and who, deliberately or out of ignorance, fail to point out that what Einstein meant by 'religion' is totally different from what most people mean, and moreover that he regards the ordinary kinds of religion as possibly only for inferior minds and inferior cultures.
This is a partial record of correspondence with an intelligent journalist who was given the task, some time in 1998, of preparing an article on pride, as part of a series of articles on so-called 'seven deadly sins' for a scientific magazine. The journalist first asked me to explain how pride could be accommodated withing the framework of ideas being developed in the Cognition and Affect Project at the University of Birmingham.
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. (shrink)
THIS IS NOT AN OFFICIAL DOCUMENT OF THE UNIVERSITY OF BIRMINGHAM OR THE SCHOOL OF COMPUTER SCIENCE. NEITHER THE UNIVERSITY NOR THE SCHOOL HAS ENDORSED THE OPINIONS EXPRESSED HERE.
This paper is about how to give human-like powers to complete agents. For this the most important design choice concerns the overall architecture. Questions regarding detailed mechanisms, forms of representations, inference capabilities, knowledge etc. are best addressed in the context of a global architecture in which different design decisions need to be linked. Such a design would assemble various kinds of functionality into a complete coherent working system, in which there are many concurrent, partly independent, partly mutually supportive, partly potentially (...) incompatible processes, addressing a multitude of issues on different time scales, including asynchronous, concurrent, motive generators. Designing human like agents is part of the more general problem of understanding design space, niche space and their interrelations, for, in the abstract, there is no one optimal design, as biological diversity on earth shows. (shrink)
Some old problems going back to Immanuel Kant (and earlier) about the nature of mathematical knowledge can be addressed in a new way by asking what sorts of developmental changes in a human child make it possible for the child to become a mathematician.
This paper rehearses some relatively old arguments about how any coherent notion of free will is not only compatible with but depends on determinism. However the mind-brain identity theory is attacked on the grounds that what makes a physical event an intended action A is that the agent interprets the physical phenomena as doing A. The paper should have referred to the monograph Intention (1957) by Elizabeth Anscombe (summarised here by Jeff Speaks), which discusses in detail the fact that (...) the same physical event can have multiple (true) descriptions, using different ontologies. (shrink)
he design-based approach is a methodology for investigating mechanisms capable of generating mental phenomena, whether introspectively or externally observed, and whether they occur in humans, other animals or robots. The study of designs satisfying requirements for autonomous agency can provide new deep theoretical insights at the information processing level of description of mental mechanisms. Designs for working systems (whether on paper or implemented on computers) can systematically explicate old explanatory concepts and generate new concepts that allow new and richer interpretations (...) of human phenomena. To illustrate this, some aspects of human grief are analysed in terms of a particular information processing architecture being explored in our research group. We do not claim that this architecture is part of the causal structure of the human mind; rather, it represents an early stage in the iterative search for a deeper and more general architecture, capable of explaining more phenomena. However even the current early design provides an interpretative ground for some familiar phenomena, including characteristic features of certain emotional episodes, particularly the phenomenon of perturbance (a partial or total loss of control of attention). The paper attempts to expound and illustrate the design-based approach to cognitive science and philosophy, to demonstrate the potential effectiveness of the approach in generating interpretative possibilities, and to provide first steps towards an information processing account of `perturbant', emotional episodes. (shrink)
NOTE: Neither the University of Birmingham nor the School of Computer Science is responsible for any of the views expressed here. I am grateful to both for continuing support and access to facilities. All my work is subject to a creative commons licence and may be freely copied, quoted, or used for any purpose, without charge.
Adjust the width of your browser window to make the lines the length you prefer. I do not presume to dictate line lengths for readers of what I write, as so many web site designers do (including the BBC). Feel free to adjust font size also.
This paper is about how to give human-like powers to complete agents. For this the most important design choice concerns the overall architecture. Questions regarding detailed mechanisms, forms of representations, inference capabilities, knowledge etc. are best addressed in the context of a global architecture in which different design decisions need to be linked. Such a design would assemble various kinds of functionality into a complete coherent working system, in which there are many concurrent, partly independent, partly mutually supportive, partly potentially (...) incompatible processes, addressing a multitude of issues on different time scales, including asynchronous, concurrent, motive generators. Designing human like agents is part of the more general problem of understanding design space, niche space and their interrelations, for, in the abstract, there is no one optimal design, as biological diversity on earth shows. (shrink)
In December 2005 I was invited by a well known researcher, Carrol Izard, on emotions to contribute to a discussion by answering a few questions as briefly as possible. He asked for 'one-liners', but I was not able to comply with that condition. However, the answers were short for me!
Discussions on the UKCRC and CPHC email lists about research funding, including mention of the high proportion of research time and funding budgets that goes into writing and assessing proposals recently provoked me into reviving an idea that always seems to produce shock and horror, even though I think that (with suitable refinements) it could be an excellent way to fund research, namely, using a properly designed lottery.
Adjust the width of your browser window to make the lines the length you prefer. This web site does not attempt to impose restrictions on line length or font size.
What evolved first: Languages for communicating, or languages for thinking (Generalised Languages: GLs)? (PDF) http://www.cs.bham.ac.uk/research/projects/cogaff/talks/#glang Presented to Language and Cognition Seminar, School of Psychology, University of Birmingham. 19th Oct 2007..
When scientists discuss experimental observations, they often, unfortunately, 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 (etc) perceive/understand/learn/intend (etc)? What is he/she/it conscious of? What does he/she/it experience/enjoy/desire? What is he/she/it attending to? Similar comments can be made about the terminology used in many philosophical discussions about minds, cognition, language, and the relationships between evolution and learning.
What most people seem not to have noticed is that there's another kind of obesity, a sort of 'mental obesity' which may be causing as much harm to the nation's health -- its mental and intellectual health.
This paper attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adaptive systems, etc. The topic overlaps with theoretical biology, developmental psychology and perhaps some aspects of social theory. Just as much of theoretical computer science follows the lead of engineering intuitions and tries to formalise them, there are also some important emerging high level cross disciplinary ideas about natural information processing architectures and evolutionary mechanisms and that (...) can perhaps be unified and formalised in the future. There is some speculation about the evolution of human cognitive architectures and consciousness. (shrink)
This is a contribution to construction of a research roadmap for future cognitive systems, including intelligent robots, in the context of the euCognition network, and UKCRC Grand Challenge 5: Architecture of Brain and Mind. -/- A meeting on the euCognition roadmap project was held at Munich Airport on 11th Jan 2007. This document was in part a response to discussions at that meeting. An explanation of why specifying requirements is a hard problem, and why it needs to be done, along (...) with some suggestions for making progress, can be found in this presentation: http://www.cs.bham.ac.uk/research/projects/cosy/papers/#pr0701 "What's a Research Roadmap For? Why do we need one? How can we produce one?" Working on that presentation made me realise that certain deceptively familiar words and phrases frequently used in this context (e.g. "robust". "flexible", "autonomous") appear not to need explanation because everyone understands them, whereas in fact they have obscure semantics that needs to be elucidated. Only then can we understand what the implications are for research targets. In particular, they need explanation and analysis if they are to be used to specify requirements and research goals, especially for publicly funded projects. -/- First draft analyses are presented here. In the long term I would like to expand and clarify those analyses, and to provide many different examples to illustrate the points made. This will probably have to be a collaborative research activity. (shrink)
It is often said that the only reason why so many mischief-makers or criminals develop viruses/worms/trojan-horses that attack PCs running Windows is that there are far more PCs running Windows accessible via the internet than any other operating system.
Some of the movies were produced using techniques and scripts suggested by Mike Lees at Nottingham University where he is using SimAgent on a project directed by Brian Logan.
Many debates about consciousness appear to be endless, in part because of conceptual confusions preventing clarity as to what the issues are and what does or does not count as evidence. This makes it hard to decide what should go into a machine if it is to be described as 'conscious'. Thus, triumphant demonstrations by some AI developers may be regarded by others as proving nothing of interest because the system does not satisfy *their* definitions or requirements specifications.
Another book on how computers are going to change our lives? Yes, but this is more about computing than about computers, and it is more about how our thoughts may be changed than about how housework and factory chores will be taken over ... Thoughts can be changed in many ways. The invention of painting and drawing permitted new thoughts in the processes of creating and interpreting pictures. The invention of speaking and writing also permitted profound extensions of our abilities (...) to think and communicate. Computing is a bit like the invention of paper (a new medium of expression) and the invention of writing (new symbolisms to be embedded in the medium) combined. But the writing is more important than the paper.... (The Preface) .. (shrink)
This paper, along with the following paper by John Mc- Carthy, introduces some of the topics to be discussed at the IJCAI95 event `A philosophical encounter: An interactive presentation of some of the key philosophical problems in AI and AI problems in philosophy.' Philosophy needs AI in order to make progress with many difficult questions about the nature of mind, and AI needs philosophy in order to help clarify goals, methods, and concepts and to help with several (...) specific technical problems. Whilst philosophical attacks on AI continue to be welcomed by a significant subset of the general public, AI defenders need to learn how to avoid philosophically naive rebuttals. (shrink)
It is often thought that there is one key design principle or at best a small set of design principles, underlying the success of biological organisms. Candidates include neural nets, ‘swarm intelligence’, evolutionary computation, dynamical systems, particular types of architecture or use of a powerful uniform learning mechanism, e.g. reinforcement learning. All of those support types of self-organising, self-modifying behaviours. But we are nowhere near understanding the full variety of powerful information-processing principles ‘discovered’ by evolution. By attending closely to the (...) diver- sity of biological phenomena we may gain key insights into (a) how evolution happens, (b) what sorts of mechanisms, forms of representation, types of learning and development and types of architectures have evolved, (c) how to explain ill-understood aspects of human and animal intelligence, and (d) new useful mechanisms for artificial systems. (shrink)
What is the relation between intelligence and computation? Although the difficulty of defining `intelligence' is widely recognized, many are unaware that it is hard to give a satisfactory definition of `computational' if computation is supposed to provide a non-circular explanation for intelligent abilities. The only well-defined notion of `computation' is what can be generated by a Turing machine or a formally equivalent mechanism. This is not adequate for the key role in explaining the nature of mental processes, because it is (...) too general, as many computations involve nothing mental, nor even processes: they are simply abstract structures. We need to combine the notion of `computation' with that of `machine'. This may still be too restrictive, if some non-computational mechanisms prove to be useful for intelligence. We need a theory-based taxonomy of {\em architectures} and {\em mechanisms} and corresponding process types. Computational machines my turn out to be a sub-class of the machines available for implementing intelligent agents. The more general analysis starts with the notion of a system with independently variable, causally interacting sub-states that have different causal roles, including both `belief-like' and `desire-like' sub-states, and many others. There are many significantly different such architectures. For certain architectures (including simple computers), some sub-states have a semantic interpretation for the system. The relevant concept of semantics is defined partly in terms of a kind of Tarski-like structural correspondence (not to be confused with isomorphism). This always leaves some semantic indeterminacy, which can be reduced by causal loops involving the environment. But the causal links are complex, can share causal pathways, and always leave mental states to some extent semantically indeterminate. (shrink)
We look at how the ability to experience grows as an architecture grows itself along with growing the ontology used to experience, understand and act in the environment.
The discussion below could be extended by pointing out that there is a fifth notion of freedom which refers to what you are free to do within a context of a game, a system of laws, a moral regime etc. This notion of freedom is close to the notion of permission. It is worth noting that the law may forbid something without enforcing that proscription. So many people constantly do what they are not free to do in this sense.
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. (shrink)
I get a steady stream of enquiries about internships and a growing stream of enquiries about the possibility of doing a PhD with me. I don't answer letters from people who say they have read my home page and really want to work with me and then reveal by what they write that they have NOT read my web page and know nothing about my work. I cannot take on internship students but..
and who has recently founded a company Numenta to develop 'a new type of computer memory system modeled after the human neocortex'. With science writer Sandra Blakeslee he wrote a book On Intelligence . I confess the book is still on my (very long) 'to be read' list, though I have read and heard quite a lot about it.
Updates Open Letter to my MP: Lynne Jones Why large IT development projects are problematic The mathematics of searching for a design Richard Feynman wrote: Getting requirements right from the start is impossible Are problems unique to IT projects? Physical constraints Implications for Government policy What can be done? Some suggested prerequisites: requirements for openness A precedent for this proposal: The internet How the internet grew Implications for government policy (continued) Are some projects exceptions? Concluding Comment NOTE: Related comment..
A related note on why European (and other) research plans will fail because of the lack of a suitable lower level education system Unjamming the education pipeline: Thoughts on educational prerequisites for an ambitious European research initiative.
This paper outlines a design-based methodology for the study of mind as a part of the broad discipline of Artificial Intelligence. Within that framework some architectural requirements for human-like minds are discussed, and some preliminary suggestions made regarding mechanisms underlying motivation, emotions, and personality. A brief description is given of the `Nursemaid' or `Minder' scenario being used at the University of Birmingham as a framework for research on these problems. It may be possible later to combine some of these ideas (...) with work on synthetic agents inhabiting virtual reality environments. (shrink)
Response to "Predictive Policies" by R.S.McGowan Mr. McGowan has assumed that there is a clear distinction between inductive inferences and others, that we all know how to make the distinction, that we all agree that the inductive ones are somehow better or more reasonable than the alternatives, and I have criticised all of these assumptions. Further he hasformulated the philosophical problem of induction as the problem of showing why the inductive ones are better, and he has attempted to show that (...) inductive policiesas represented in his flow chart are better than non-inductive and counter-inductive ones. I have criticised some of the details of his argument and put forward the counter-claim that policies based on the weaker principles of desistence are better at avoiding contradictions and conform to past experience more closely than policies based on his strong principle of persistence. Accordingly, some modifications of his predictive rules have been suggested. Perhaps most importantly of all, I have argued that the assertion that one policy or inference is better or more rational than another is an incomplete assertion until a basis of comparison has been specified, since different policies may be better or more rational in relation to different bases, and I have indicated some possible approaches for further investigation of this point. A final line of investigation which should be mentioned is the problem of deciding which of two bases of comparison is better relative to some higher-order basis of comparison, a problem which may turn out to be very important in connexion with justifications of predictive policies. It seems that I have asked more questions than I have answered. Perhaps formulating them will help someone more familiar with the field than I am to find interesting answers. (shrink)
It is conjectured that humans and some other altricial species instead use innate mechanisms for decomposing situations into components that can be explicitly learnt about, and stored in such a way that the competence can be re-used in combination with other learnt competences, in perceiving novel situations and performing novel actions.
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 (etc) perceive/understand/learn/intend (etc)? 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 <span class='Hi'>Xing</span>, stop <span class='Hi'>Xing</span>, speed up <span class='Hi'>Xing</span>... ? 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. (shrink)
RCLIB is a 2-D graphical interface package available as an addition to the Poplog software development system. "RC" stands for "Relative Coordinates": all the graphical commands are relative to a frame of reference, which can be changed without altering the commands, making it easy to draw the same thing in different parts of a display, using different sizes or orientations, and possibly stretched or sheared.
The document starts The overall goal proposed here is to construct physically instantiated systems that can perceive, understand, and interact with their environment - but also evolve in order to achieve human-like performance in activities requiring context-specific knowledge. I posted the following comment on 15 Feb 2006..
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. (shrink)
Maybe they have been made, but I missed them because I don’t read and listen enough, as most of my energies are focused elsewhere. Apologies if this is all old hat. Don’t feel you have to read on. In case others are interested, I shall put this on my web site at http://www.cs.bham.ac.uk/˜axs/gov/ My main point is that it is just silly to talk so much about universities and top-up fees without putting universities in the context of a complete policy (...) on post-school education. What I am offering is not a detailed policy, but a framework for thinking about the problem. Perhaps someone has already done this but I have never heard it mentioned in any of the public debates. I suspect that’s because this top-up fees issue is not part of a coherent policy but just a sort of religious commitment to a “new way”, like other things done by this government. I start with some comments on the fees issue, then go on to talk about how to think about post-school education, distinguishing several categories that need to be separated and funded differently as part of a joined-up system. (shrink)
• These ... have now been joined by ... dynamical systems theory which is being used to interpret brain dynamics on the one hand and language and cognition on the other.
This paper offers a short and biased overview of the history of discussion and controversy about the role of different forms of representation in intelligent agents. It repeats and extends some of the criticisms of the `logicist' approach to AI that I first made in 1971, while also defending logic for its power and generality. It identifies some common confusions regarding the role of visual or diagrammatic reasoning including confusions based on the fact that different forms of representation may be (...) used at different levels in an implementation hierarchy. This is contrasted with the way in the use of one form of representation (e.g. pictures) can be {\em controlled} using another (e.g. logic, or programs). Finally some questions are asked about the role of metrical information in biological visual systems. (shrink)
Note added 3 Nov 2009: Having received a number of email comments, I thought some future comments might as well be made public. If you would like to have a comment added here, please send it to me, and I'll consider adding it. Plain text or html only please -- no .doc files, pdf, etc.
CONJECTURE: Alongside the innate physical sucking reflex for obtaining milk to be digested, decomposed and used all over the body for growth, repair, and energy, there is a genetically determined information-sucking reflex, which seeks out, sucks in, and decomposes information, which is later recombined in many ways, growing the information-processing architecture and many diverse recombinable competences.
Test domains for AI can have a deep impact on research. The polyflap domain is proposed for testing complex AI theories about architectures, mechanisms and forms of representation involved in features of human and animal intelligence that evolved to enable perception, action, and learning in diverse environments containing things that we can perceive and manipulate, and many complex processes involving objects that differ in shape, materials, causal properties, and relations to one another. We need a test environment that is rich (...) enough to provide some of that variety of structures, processes and affordances, yet simple enough to be within reach of robotics research in the not too distant future. (shrink)
As a step towards comprehensive computer models of communication, and effective human machine dialogue, some of the relationships between communication and affect are explored. An outline theory is presented of the architecture that makes various kinds of affective states possible, or even inevitable, in intelligent agents, along with some of the implications of this theory for various communicative processes. The model implies that human beings typically have many different, hierarchically organized, dispositions capable of interacting with new information to produce affective (...) states, distract attention, interrupt ongoing actions, and so on. High "insistence" of motives is defined in relation to a tendency to penetrate an attention filter mechanism, which seems to account for the partial loss of control involved in emotions. One conclusion is that emulating human communicative abilities will not be achieved easily. Another is that it will be even more difficult to design and build computing systems that reliably achieve interesting communicative goals. (shrink)
The implication is that the majority of universities (i.e. the ones lower in the tables) are inferior. A consequence of this is that whether such pronouncements are accurate or not they will influence decision-making in various quarters in such a way as to attract resources (through good student applications, good job applicants, funding allocations) towards a small subset of the organisations, thereby amplifying differences that already exist, or, in some cases introducing real differences in quality where previously the alleged differences (...) were spurious. (shrink)
On re-reading Appendices III and IV of my Oxford DPhil thesis "Knowing and Understanding Relations between meaning and truth, meaning and necessary truth, meaning and synthetic necessary truth", (1962), online here, I found to my surprise that several of the topics discussed below had been discussed in those two Appendices, and that the distinction between logical topography and logical geography was made in Appendix IV, discussing conceptual analysis, even though I did not use these words.
Here are some thoughts arising out of the fact that the University of Birmingham has recently gone through a re-branding exercise led by its administrators responsible for marketing, who failed miserably in marketing the exercise to staff and students within the University, as a result of which there is an online 'Save the Crest' petition that has attracted so many supporters that it made the national news The original version of this document referred to a web site at which the (...) people responsible for the re-branding exercise attempted to explain why they had done what they had done. That web site used to be here: http://www.general.bham.ac.uk/brand/ but no longer seems to be accessible. It made totally untrue, and highly embarrassing, claims about how this university was 'unique'. I don't knowwhether its removal was a response to criticism or an unintended side-effect of reorganisation of the web site: the sort of thing that far too often breaks links and bookmarks when done by people who don't understand what the internet is about and don't realise that their web site has become a highly distributed entity, whether they intended it or not. Although some people are pleased to see the currently used crest abandoned, staff and students in my school have mostly been very critical of the changes and especially of the move to the new format for business cards -- apparently designed on the assumption that what your job is is more important than who you are and therefore should be listed first. This is typical of decision making by people who have very little understanding of the diversity of functions and interactions of a university and its members. (shrink)
