| |
|
|
|
|
|
|
|
[1]
|
Aaron Sloman.
Architectural and representational requirements for seeing processes
and affordances.
In Computational Modelling in Behavioural Neuroscience: Closing
the gap between neurophysiology and behaviour. Psychology Press, London,
2009.
[ bib |
.pdf ]
This paper, combining the standpoints of philosophy and
Artificial Intelligence with theoretical psychology, summarises
several decades of investigation of the variety of functions of
vision in humans and other animals, pointing out that biological
evolution has solved many more problems than are normally noticed.
Many of the phenomena discovered by psychologists and neuroscientists
require sophisticated controlled laboratory settings and specialised
measuring equipment, whereas the functions of vision reported here
mostly require only careful attention to a wide range of everyday
competences that easily go unnoticed. Currently available computer
models and neural theories are very far from explaining those functions,
so progress in explaining how vision works is more in need of new
proposals for explanatory mechanisms than new laboratory data.
Systematically formulating the requirements for such mechanisms
is not easy. If we start by analysing familiar competences, that
can suggest new experiments to clarify precise forms of these competences,
how they develop within individuals, which other species have them,
and how performance varies according to conditions. This will help
to constrain requirements for models purporting to explain how
the competences work. The paper ends with speculations regarding
the need for new kinds of information-processing machinery to account
for the phenomena.
Keywords: cosy; irlab
|
|
[2]
|
Aaron Sloman.
Machines in the Ghost.
In D. Dietrich, G. Fodor, G. Zucker, and D. Bruckner, editors,
Simulating the Mind: A Technical Neuropsychoanalytical Approach, pages
124-148. Springer, Vienna & New York, 2009.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0702.
[ bib |
.pdf ]
This paper summarises ideas I have been working on over
the last 35 years or so, about relations between the study of natural
minds and the design of artificial minds, and the requirements
for both sorts of minds. The key idea is that natural minds are
information-processing virtual machines produced by evolution.
What sort of information-processing machine a human mind is requires
much detailed investigation of the many kinds of things minds can
do. At present, it is not clear whether producing artificial minds
with similar powers will require new kinds of computing machinery
or merely much faster and bigger computers than we have now. Some
things once thought hard to implement in artificial minds, such
as affective states and processes, including emotions, can be construed
as aspects of the control mechanisms of minds. This view of mind
is largely compatible in principle with psychoanalytic theory,
though some details are very different. The therapeutic aspect
of psychoanalysis is analogous to run-time debugging of a virtual
machine. In order to do psychotherapy well we need to understand
the architecture of the machine well enough to know what sorts
of bugs can develop and which ones can be removed, or have their
impact reduced, and how. Otherwise treatment will be a hit-and-miss
affair.
Keywords: cosy; irlab
|
|
[3]
|
Aaron Sloman.
Some Requirements for Human-like Robots: Why the recent
over-emphasis on embodiment has held up progress.
In B. Sendhoff, E. Koerner, O. Sporns, H. Ritter, and K. Doya,
editors, Creating Brain-like Intelligence, pages 248-277.
Springer-Verlag, Berlin, 2009.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0804.
[ bib |
.pdf ]
Some issues concerning requirements for architectures, mechanisms,
ontologies and
forms of representation in intelligent human-like or animal-like robots
are discussed. The
tautology that a robot that acts and perceives in the world must be
embodied is often
combined with false premises, such as the premiss that a particular
type of body is a
requirement for intelligence, or for human intelligence, or the premiss
that all cognition is
concerned with sensorimotor interactions, or the premiss that all cognition
is implemented
in dynamical systems closely coupled with sensors and effectors. It
is time to step back and
ask what robotic research in the past decade has been ignoring. I shall
try to identify some
ma jor research gaps by a combination of assembling requirements that
have been largely
ignored and design ideas that have not been investigated - partly because
at present it is
too difficult to make significant progress on those problems with physical
robots, as too
many different problems need to be solved simultaneously. In particular,
the importance
of studying some abstract features of the environment about which the
animal or robot
has to learn (extending ideas of J.J.Gibson) has not been widely appreciated.
Keywords: cosy; irlab
|
|
[4]
|
Aaron Sloman.
Kantian Philosophy of Mathematics and Young Robots.
In S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, and
F. Wiedijk, editors, Intelligent Computer Mathematics, LLNCS no 5144,
pages 558-573, Berlin/Heidelberg, July 2008. Springer.
http://www.cs.bham.ac.uk/research/projects/cosy/papers#tr0802.
[ bib |
.pdf ]
A child, or young human-like robot of the future, needs
to develop an
information-processing architecture, forms of representation, and mechanisms
to support
perceiving, manipulating, and thinking about the world, especially perceiving
and thinking
about actual and possible structures and processes in a 3-D environment.
The mechanisms
for extending those representations and mechanisms, are also the core
mechanisms required
for developing mathematical competences, especially geometric and topological
reasoning
competences. Understanding both the natural processes and the requirements
for future
human-like robots requires AI designers to develop new forms of representation
and
mechanisms for geometric and topological reasoning to explain a child's
(or robot's)
development of understanding of affordances, and the proto-affordances
that underlie them.
A suitable multi-functional self-extending architecture will enable
those competences to
be developed. Within such a machine, human-like mathematical learning
will be possible.
It is argued that this can support Kant's philosophy of mathematics,
as against Humean
philosophies. It also exposes serious limitations in studies of mathematical
development by
psychologists.
Keywords: cosy; irlab
|
|
[5]
|
A. Sloman.
Putting the Pieces Together Again.
In Ron Sun, editor, Cambridge Handbook on Computational
Psychology, chapter 26, pages 684-709. Cambridge University Press, New
York, 2008.
http://www.cs.bham.ac.uk/research/projects/cogaff/07.html#710.
[ bib |
.pdf ]
This is a 'preprint' for the final chapter of a Handbook
of Computational Psychology which is currently in press. The differences
between this and the version to be published include British vs
American spelling and punctuation. This version also has a few
footnotes that had to be excluded. For some reason the publisher
did not want abstracts for each chapter, so there is no official
abstract. The preprint version also includes a table of contents
for the chapter (copied below).
Overview
Instead of surveying achievements of AI and computational Cognitive
Science as might be expected, this chapter complements the Editor's
review of requirements for work on integrated systems in Chapter
1, by presenting a personal view of some of the major unsolved
problems, and obstacles to solving them. It attempts to identify
some major gaps, and to explain why progress has been much slower
than many people expected. It also includes some recommendations
for improving progress and for countering the fragmentation and
factionalism of the research community.
It it is relatively easy to identify long term ambitions in vague terms,
e.g. the aim of modelling human flexibility, human learning, human
cognitive development, human language understanding or human creativity;
but taking steps to fulfil the ambitions is fraught with difficulties.
So progress in modelling human and animal cognition is slow despite
many impressive narrow-focus achievements, including those reported
in earlier chapters.
An attempt is made to explain why progress in producing realistic models
of human and animal competences is slow, namely (a) the great difficulty
of the problems, (b) failure to understand the breadth, depth and
diversity of the problems, (c) the fragmentation of the research
community and (d) social and institutional pressures against risky
multi-disciplinary, long-term research. Advances in computing power,
theory and techniques will not suffice to overcome these difficulties.
Partial remedies are offered, namely identifying some of the unrecognised
problems and suggesting how to plan research on the basis of `backward-chaining'
from long term goals, in ways that may, perhaps, help warring factions
to collaborate and provide new ways to select targets and assess
progress.
Keywords: cosy; irlab
|
|
[6]
|
A. Sloman.
The Well-Designed Young Mathematician.
Artificial Intelligence, 172(18):2015-2034, 2008.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0807.
[ bib |
.pdf ]
This paper complements McCarthy's ``The well designed child'',
in part by putting it in a broader context, a space of sets of
requirements and a space of designs, and in part by relating design
features to development of mathematical competences. I moved into
AI hoping to understand myself, especially hoping to understand
how I could do mathematics. Over the ensuing four decades, my interactions
with AI and other disciplines led to: design-based, cross-disciplinary
investigations of requirements, especial those arising from interactions
with a complex environment; a draft partial ontology for describing
spaces of possible architectures, especially virtual machine architectures;
investigations of how different forms of representation relate
to different functions; analysis of biological nature/nurture tradeoffs
and their relevance to machines; studies of control issues in a
complex architecture; and showing how what can occur in such an
architecture relates to our intuitive concepts of motivation, feeling,
preferences, emotions, attitudes, values, moods, consciousness,
etc. I conjecture that working models of human vision can lead
to models of spatial reasoning that would help to support Kant's
view of mathematics by showing that human mathematical abilities
are a natural extension of abilities produced by biological evolution
that are not yet properly understood, and have barely been noticed
by psychologists and neuroscientists. Some requirements for such
models, are described, including aspects of our ability to interact
with complex 3-D structures and processes that extend Gibson's
ideas concerning action affordances, to include proto-affordances,
epistemic affordances and deliberative affordances. Some of what
a child learns about structures and processes starts as empirical
then, as a result of reflective processes, can be recognised as
necessary (e.g., mathematical) truths. These processes normally
develop unnoticed in young children, but provide the basis for
much creativity in behaviour, as well as leading, in some, to development
of an interest in mathematics. We still need to understand what
sort of self-monitoring and self-extending architecture, and what
forms of representation, are required to make this possible. This
paper does not presuppose that all mathematical learners can do
logic, though some fairly general form of reasoning seems to be
required.
Keywords: cosy; irlab
|
|
[7]
|
Aaron Sloman.
A Multi-picture Challenge for Theories of Vision, 2008.
[ bib |
.pdf ]
Demonstration that humans can be presented with a
collection of unpredictable photographs of natural, moderately complex
scenes (e.g. about 10), at the rate of one a second, and can then
answer somewhere between 30% and 70% of a set of unexpected
questions about what was seen in the pictures. This demonstrates some
constraints on possible mechanisms capable of supporting vision in
humans and perhaps some other animals. The processing needs to go up
several levels of abstraction (e.g. perhaps nine or ten levels) within
a second. This almost certainly makes use of a great deal of prior
knowledge about kinds of things that can be seen in our world, though
most of that knowledge is dormant most of the time. Somehow the image
data can wake up relevant subsets at various levels of abstraction,
which can then collaborate in converging on an interpretation. If the
image is removed after a short time not all the potential processing
will have been completed, but a surprising amount has been achieved.
There seems to be a lot of individual variation, though so far only
informal tests have been done.
Keywords: cosy; irlab
|
|
[8]
|
Aaron Sloman.
Architectural and representational requirements for seeing processes,
proto-affordances and affordances.
In Anthony G. Cohn, David C. Hogg, Ralf Möller, and Bernd
Neumann, editors, Logic and Probability for Scene Interpretation,
number 08091 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2008.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.
[ bib |
.pdf ]
This paper, combining the standpoints of philosophy and
Artificial Intelligence with theoretical psychology, summarises
several decades of investigation by the author of the variety of
functions of vision in humans and other animals, pointing out that
biological evolution has solved many more problems than are normally
noticed. For example, the biological functions of human and animal
vision are closely related to the ability of humans to do mathematics,
including discovering and proving theorems in geometry, topology
and arithmetic. Many of the phenomena discovered by psychologists
and neuroscientists require sophisticated controlled laboratory
settings and specialised measuring equipment, whereas the functions
of vision reported here mostly require only careful attention to
a wide range of everyday competences that easily go unnoticed.
Currently available computer models and neural theories are very
far from explaining those functions, so progress in explaining
how vision works is more in need of new proposals for explanatory
mechanisms than new laboratory data. Systematically formulating
the requirements for such mechanisms is not easy. If we start by
analysing familiar competences, that can suggest new experiments
to clarify precise forms of these competences, how they develop
within individuals, which other species have them, and how performance
varies according to conditions. This will help to constrain requirements
for models purporting to explain how the competences work. For
example, Gibson's theory of affordances needs a number of extensions,
including allowing affordances to be composed in several ways from
lower level proto-affordances. The paper ends with speculations
regarding the need for new kinds of information-processing machinery
to account for the phenomena.
Keywords: cosy; irlab
|
|
[9]
|
Aaron Sloman.
Varieties of Meta-cognition in Natural and Artificial Systems.
In M. T. Cox and A. Raja, editors, Workshop on Metareasoning,
AAAI'08 Conference, pages 12-20, Menlo Park, CA, 2008. AAAI Press.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0803.
[ bib |
.pdf ]
Some AI researchers aim to make useful machines, including
robots. Others aim to understand general principles of information-processing
machines whether natural or artificial, often with special emphasis
on humans and human-like systems: They primarily address scientific
and philosophical questions rather than practical goals. However,
the tasks required to pursue scientific and engineering goals overlap
considerably, since both involve building working systems to test
ideas and demonstrate results, and the conceptual frameworks and
development tools needed for both overlap. This paper, partly based
on requirements analysis in the CoSy robotics project, surveys
varieties of meta-cognition and draws attention to some types that
appear to play a role in intelligent biological individuals (e.g.
humans) and which could also help with practical engineering goals,
but seem not to have been noticed by most researchers in the field.
There are important implications for architectures and representations.
Keywords: cosy; irlab
|
|
[10]
|
Aaron Sloman.
Requirements for Digital Companions: It's harder than you think,
October 2007.
Position Paper for Workshop on Artificial Companions in Society:
Perspectives on the Present and Future Organised by the Companions project.
Oxford Internet Institute (25th-26th October, 2007)
http://www.cs.bham.ac.uk/research/projects/cogaff/07.html#711.
[ bib |
.pdf ]
Presenting some of the requirements for a truly helpful,
as opposed to merely engaging (or annoying) artificial companion,
with arguments as to why meeting those requirements is way beyond
the current state of the art in AI.
Keywords: cosy; irlab
|
|
[11]
|
Jackie Chappell and Aaron Sloman.
Natural and artificial meta-configured altricial
information-processing systems.
International Journal of Unconventional Computing,
3(3):211-239, 2007.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0609.
[ bib |
.pdf ]
The full variety of powerful information-processing mechanisms
'discovered' by evolution has not yet been re-discovered by scientists
and engineers. By attending closely to the diversity of biological
phenomena, we may gain new 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. We analyse
tradeoffs common to both biological evolution and engineering design,
and propose a kind of architecture that grows itself, using, among
other things, genetically determined meta-competences that deploy
powerful symbolic mechanisms to achieve various kinds of discontinuous
learning, often through play and exploration, including development
of an 'exosomatic' ontology, referring to things in the environment
- in contrast with learning systems that discover only sensorimotor
contingencies or adaptive mechanisms that make only minor modifications
within a fixed architecture.
Keywords: cosy; irlab
|
|
[12]
|
Aaron Sloman.
Diversity of Developmental Trajectories in Natural and Artificial
Intelligence.
In C. T. Morrison and T. Tim Oates, editors, Computational
Approaches to Representation Change during Learning and Development. AAAI
Fall Symposium 2007, Technical Report FS-07-03, pages 70-79, Menlo Park,
CA, 2007. AAAI Press.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0704.
[ bib |
.pdf ]
There is still much to learn about the variety of types
of learning and development in nature and the genetic and epigenetic
mechanisms responsible for that variety. This paper is one of a
collection exploring ideas about how to characterise that variety
and what AI researchers, including robot designers, can learn from
it. This requires us to understand important features of the environment.
Some robots and animals can be pre-programmed with all the competences
they will ever need (apart from fine tuning), whereas others will
need powerful learning mechanisms. Instead of using only completely
general learning mechanisms, some robots, like humans, need to
start with deep, but widely applicable, implicit assumptions about
the nature of the 3-D environment, about how to investigate it,
about the nature of other information users in the environment
and about good ways to learn about that environment, e.g. using
creative play and exploration. One feature of such learning could
be learning more about how to learn in that sort of environment.
What is learnt initially about the environment is expressible in
terms of an innate ontology, using innately determined forms of
representation, but some learning will require extending the forms
of representation and the ontology used. Further progress requires
close collaboration between AI researchers, biologists studying
animal cognition and biologists studying genetics and epigenetic
mechanisms.
Keywords: cosy; irlab
|
|
[13]
|
Aaron Sloman.
Predicting Affordance Changes (Alternatives ways to deal with
uncertainty).
Technical Report COSY-DP-0702, School of Computer Science, University
of Birmingham, Nov 2007.
Unpublished discussion paper
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#dp0702 (HTML).
[ bib |
.html ]
Discussion of some of the relationships between (a)
predicting physical, topological and geometrical consequences of
motions and (b) predicting the changes in affordances that result
from such motions, including both (b.1.) changes in action
affordances (changes in what the agent can do in the environment)
and (b.2.) changes in epistemic affordances, i.e. changes in
the information available to the agent or changes in the ease of
planning or deciding. It is suggested that in some circumstances the
predictions can be based on processes operating on selected
fragments of a 2-D representation of a 3-D scene (or a 2.5-D
representation when occlusion is involved) and reasoning by
manipulating the representation. Moreover, where uncertainty is a
problem for prediction it is often due to the existence of a ``phase
boundary'' between configurations where the prediction definitely
gives one result and configurations where the prediction definitely
gives another result. One way of reducing uncertainty is move an
object (or even the viewing position) away from such a phase
boundary. This sometimes allows simple, deterministic, geometric
reasoning to be used, instead of much more complex and unreliable
reasoning with probability distributions and expected utilities.
Keywords: cosy; irlab
|
|
[14]
|
Aaron Sloman.
What evolved first and develops first in children: Languages for
communicating? or Languages for thinking? (Generalised Languages: GLs),
2007.
Presentation given to Birmingham Psychology department.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#pr0702.
[ bib |
.pdf ]
Investigating the evolution of cognition requires an understanding
of how to design working cognitive systems since there is very
little direct evidence (no fossilised behaviours or thoughts).
That claim is illustrated in relation to theories about the evolution
of language. Almost everyone seems to have got things badly wrong
by assuming that language must have started as primitive communication
between individuals that gradually got more complex, and then later
somehow got absorbed into cognitive systems. An alternative theory
is presented here, namely that generalised languages (GLs) supporting
(a) structural variability, (b) compositional semantics (generalised
to include both diagrammatic syntaxes and contextual influences
on semantics at every level) and (c) manipulability for reasoning,
evolved first for various kinds of 'thinking', i.e. internal
information processing. This is incosistent with many theories
of the evolution of language. It is also inconsistent with Dennett's
account of the evolution of consciousness in Content and Consciousness
(1969).
Keywords: cosy; irlab
|
|
[15]
|
Aaron Sloman.
Why Some Machines May Need Qualia and How They Can Have Them:
Including a Demanding New Turing Test for Robot Philosophers.
In A. Chella and R. Manzotti, editors, AI and Consciousness:
Theoretical Foundations and Current Approaches AAAI Fall Symposium 2007,
Technical Report FS-07-01, pages 9-16, Menlo Park, CA, 2007. AAAI Press.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0705.
[ bib |
.pdf ]
This paper extends three decades of work arguing that instead
of focusing only on (adult) human minds, we should study many kinds
of minds, natural and artificial, and try to understand the space
containing all of them, by studying what they do, how they do it,
and how the natural ones can be emulated in synthetic minds. That
requires: (a) understanding sets of requirements that are met by
different sorts of minds, i.e. the niches that they occupy, (b)
understanding the space of possible designs, and (c) understanding
the complex and varied relationships between requirements and designs.
Attempts to model or explain any particular phenomenon, such as
vision, emotion, learning, language use, or consciousness lead
to muddle and confusion unless they are placed in that broader
context. in part because current ontologies for specifying and
comparing designs are inconsistent and inadequate. A methodology
for making progress is summarised and a novel requirement proposed
for human-like philosophical robots, namely that a single generic
design, in addition to meeting many other more familiar requirements,
should be capable of developing different and opposed viewpoints
regarding philosophical questions about consciousness, and the
so-called hard problem. No designs proposed so far come close.
Keywords: cosy; irlab
|
|
[16]
|
Aaron Sloman.
Why symbol-grounding is both impossible and unnecessary, and why
theory-tethering is more powerful anyway., 2007.
http://www.cs.bham.ac.uk/research/projects/cogaff/talks/#models.
[ bib |
.pdf ]
Introduction to key ideas of semantic models, implicit definitions
and symbol tethering through theory tethering, providing a criticism
concept empiricism, including its recently revived version, ``symbol
grounding theor''. The idea of an axiom system having some models
is explained, showing how the structure of a theory can give some
semantic content to undefined symbols in that theory, making it
unnecessary for all meanings to be derived bottom up from (grounded
in) sensory experience, or sensory-motor contingencies. Although
symbols need not be grounded, since they are mostly defined by
the theory in which they are used, the theory does need to be ``tethered'',
if it is to be capable of being used for predicting and explaining
things that happen, or making plans for acting in the real world.
These ideas were quite well developed by 20th Century philosophers
of science, and I now both attempt to generalise those ideas to
be applicable to theories expressed using non-logical representations
(e.g. maps, diagrams, working models, etc.) and begin to show how
they can be used in explaining how a baby or a robot, can develop
new concepts that have some semantic content but are not definable
in terms of previously understood concepts. There is still much
work to be done, but what needs to be done to explain how intelligent
robots might work, and how humans and other intelligent animals
learn about the environment, is very different from most of what
is going on in robotics and in child and animal psychology. The
addition of new explanatory hypotheses is abduction. Normally abduction
uses pre-existing symbols. The simultaneous introduction of new
symbols and new axioms (ontology-extending abduction) generates
a very difficult problem of controlling search.
Keywords: cosy; irlab
|
|
[17]
|
Aaron Sloman and Jackie Chappell.
Computational Cognitive Epigenetics (Commentary on Jablonka and
Lamb: Evolution in Four Dimensions (2005)).
Behavioral and Brain Sciences, 30(4):375-6, 2007.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0703.
[ bib |
.pdf ]
J&L refer only implicitly to aspects of cognitive competence
that preceded both evolution of human language and language learning
in children. These are important for evolution and development
but need to be understood using the 'design-stance', which the
book adopts only for molecular and genetic processes, not for behavioural
and symbolic processes. Design-based analyses reveal more routes
from genome to behaviour than J&L seem to have considered. This
both points to gaps in our understanding of evolution and epigenetic
processes, and may lead to possible ways of filling the gaps.
Keywords: cosy; irlab
|
|
[18]
|
Aaron Sloman.
A First Draft Analysis of some Meta-Requirements for Cognitive
Systems in Robots, 2007.
Contribution to euCognition wiki, also available as,
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#dp0701.
[ bib |
.html ]
This is a contribution to discussions regarding the
construction of a research roadmap for future cognitive systems,
including intelligent robots, in the context of the euCognition
network, and the UKCRC Grand Challenge 5: Architecture of Brain and
Mind. I have argued that in the context of trying either (a) to
produce working systems to elucidate scientific questions about
intelligent systems, or (b) to advance long term engineering
objectives through advancing science, the task of coming up with a
set of requirements that is sufficiently detailed to provide a basis
for developing milestones and evaluation criteria is itself a hard
research problem. One aspect of the problem is to provide an
analysis of words and phrases that are commonly used to specify
objectives, but whose meanings are very abstract and unclear, in
particular words like ``robust''. ``flexible'', ``creative'' and
''autonomous''. This document argues that the words all share a
feature that could be described as expressing a
''meta-requirement''. What that means is that none of them is
directly associated with a set of features which, if found in an
object or process or system, would justify the application of the
label, or which can be used to derive design features. In other
words the words express concepts that do not specify criteria for
their instances though they do express criteria for deriving
criteria. To derive criteria from the concepts more information is
required, from which the criteria can be derived, in a systematic
way that differs for each of the meta-criteria. Analyses of the
words based on this idea are proposed. This is an exercise in
analysis of logical topography. Subsequent work will need to
provided detailed examples of the use of the various meta-criteria.
|
|
[19]
|
A. Sloman.
Two Notions Contrasted: `Logical Geography' and `Logical Topography'
(Variations on a theme by Gilbert Ryle: The logical topography of `Logical
Geography'.).
Technical Report COSY-DP-0703, School of Computer Science, University
of Birmingham,, Birmingham, UK, 2007.
[ bib |
http ]
|
|
[20]
|
Aaron Sloman, Jackie Chappell, and The CoSy Team.
How an animal or robot with 3-D manipulation skills experiences the
world.
In The tenth annual meeting of the Association for the
Scientific Study of Consciousness, Oxford, Internet, June 2006. ASSC.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#pr0602,
Poster for ASSC10, Oxford June 2006. Also at ASSC10 Eprints Archive:
http://eprints.assc.caltech.edu/112/.
[ bib |
.pdf ]
This presentation elaborates on
'The substratum of this experience is the mastery of a technique' (Wittgenstein)
I try to show, with illustrative videos, that many 'techniques' are
implicitly involved in ordinary experiences - and that the complexities
grow as a child develops, extending its ontology and therefore
the variety of affordances it can experience and use. I point out
that there are two interpretations of sensorimotor contingencies,
one intrasomatic (relating only the contents of sensory and motor
signals at various levels of abstraction) the other extrasomatic
(amodal, objective), referring to an environment that exists independently
of whether and how it is experienced or acted on, and that the
latter provides computational advantages in some cases, supporting
a Kantian rather than a Humean view of knowledge and concepts.
This also suggests a re-interpretation of mirror neurons as 'abstraction
neurons'.
What we are conscious of in the environment depends on the ontology
we have available. A child whose ontology does not include the
notion of boundary, or the notion of alignment of boundaries may
not be able to replace a cut-out wooden picture in its recess,
even if he knows which recess it should go in. Careful observation
of children at various stages shows transitions that involve extensions
of the available ontology, which must go along with development
of suitable forms of representation and mechanisms for manipulating
them, and an architecture that combines them all. Thus the substratum
of the more sophisticated child's experience is mastery of many
'techniques', not just one as implied by Wittgenstein (who probably
did not intend that). It is suggested that there are considerable
differences between precocial species whose competences and architecture
are mostly genetically determined and altricial species that develop
most of their own competences e.g. through playful exploration,
driven by meta-level bootstrapping mechanisms.
Only when I started working in detail on requirements for a human-like
robot able to manipulate 3-D objects using vision and an arm with
gripper did I notice what should have been obvious long before,
namely that structured objects have 'multi-strand' relationships
not expressible simply as R(x, y), because the relation between
x and y involves many relations between parts of x and parts of
y.
For a more detailed presentation of the resulting theory see
COSY-PR-0505: A (Possibly) New Theory of Vision (PDF)
Hence, motion of such structured objects involves 'multi-strand' (concurrent)
processes. That is, many relationships change in parallel - e.g.
faces, edges, corners of one block may all be changing their relationships
to faces edges and corners of another (and things get more complex
when objects are flexible, e.g. your hand peeling a banana or a
sweater being put on a child).
Thus seeing what you are doing in such cases can have a kind of complexity
that appears not to have been noticed previously because of too
much focus on simpler visual tasks like recognition and tracking.
I'll show why we need to postulate mechanisms in which concurrent processes
at different levels of abstraction, in partial registration with
the optic array (NOT the retina, since saccades, etc., occur frequently)
are represented.
Nothing in AI comes close to modelling this, and it seems likely that
it will be hard to explain in terms of known neural mechanisms.
If the opportunity arises I'll try to explain some of the implications
for human development, understanding of causation, and computational
modelling, and spell out requirements to be addressed in future
interdisciplinary research, explaining deep connections with Gibson's
notion of affordance, and its generalisation to 'vicarious affordance'.
The evolution of grasping devices that move independently of eyes (i.e.
hands instead of mouth or beak) had profound implications - undermining
claims about sensory-motor contingencies - also suggesting that
mirror neurons should have been called 'abstraction neurons'.
Some of the ideas are also sketched here: COSY-DP-0601 'Orthogonal Competences
Acquired by Altricial Species'
A critique of common assumptions about 'sensorimotor contingencies'
is presented, including making a distinction between somatic (internal)
and exosomatic (external) ontologies. Too many people expect too
much to come from the somatic (intrasomatic) variety - including
knowledge of sensorimotor contingencies, a notion criticised in
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#dp0603
Requirements for 'fully deliberative' systems are analysed in http://www.cs.bham.ac.uk/research/projects/cosy/papers/#dp0604
Keywords: cosy; irlab
|
|
[21]
|
Aaron Sloman.
Requirements for a Fully Deliberative Architecture (Or component of
an architecture).
Research Note COSY-DP-0604, School of Computer Science, University of
Birmingham, Birmingham, UK, May 2006.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#dp0604.
[ bib |
.html ]
For some decades, researchers in AI and Cognitive Science
have talked about animals or machines as having 'deliberative'
capabilities. In my own work, I have, for 10 years or more, been
contrasting 'reactive', 'deliberative' and 'meta-management' (sometimes
referred to as 'reflective') capabilities (categories within which
many further subdivisions are possible). The key feature of a deliberative
system is the ability to represent and reason about, and to compare
and evaluate, possible situations that do not exist, or are not
known to exist, either because they are future possibilities, or
because they are remote or hypothetical possibilities. That ability
is analysed in more detail in the paper. In particular we see a
need for a fully deliberative system to be able to construct representations
of possible states of affairs of varying structure and varying
complexity, using at least one formalism with compositional semantics,
in mechanisms that allow two or more such structures to be constructed,
analysed and compared, where the result of comparing them may be
another complex structure describing the pros and cons. Additional
related requirements are described.
Much of this is a presentation of old ideas: going back to work by Minsky,
Evans, Winston, and many others during the 1960s and early 1970s.
Although I have taken all that for granted for many years, gradually
I have come to realise that the ideas are not all widely understood
and the word 'deliberative' is used in different ways, partly because
people have not analysed the variety of cases in a deep way that
is widely shared.
I try to contrast 'fully deliberative' systems with much simpler kinds
of 'proto-deliberative' systems, while allowing for many simpler
cases in between (including intermediate states through which evolutionary
trajectories have passed, and some through which developing individuals
may pass). It is important that in a complex architecture with
many components there are different kinds of subsets, and in my
work I have characterised three (partly overlapping) main subsets,
which differ in their evolutionary history, in their spread amongst
other animals besides humans, and in their functionality (though
they may overlap in the kinds of mechanisms they use).
Keywords: cosy; irlab
|
|
[22]
|
Aaron Sloman.
Sensorimotor vs objective contingencies.
Research Note COSY-DP-0603, School of Computer Science, University of
Birmingham, Birmingham, UK, May 2006.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#dp0603.
[ bib |
.html ]
I have been trying, with limited success, to get people
to understand the importance (for theories of mental processes
including learning, perception, reasoning and communication), of
a distinction between learning about sensorimotor contingencies
(concerned with relations between states, events and processes
within an animal or machine) and learning about objective condition-consequence
contingencies (concerned with relations between states, events
and processes in the environment).
The distinction is important for theories of infant development, for
the design of robots that act in and learn about their environment,
and for philosophical and other theories of embodied cognition.
The document is a discussion note listing some possible reasons why
the different sorts of people fail to appreciate the distinction
(e.g. they are concept empiricists, or they already use the phrase
'sensorimotor' so broadly as to cover both categories, not realising
the importance of the subdivision they are not attending to). Various
examples are presented that illustrate the distinction and its
importance. This elaborates on some of the points made in the discussion
document on 'Orthogonal Recombinable Competences'
Keywords: cosy; irlab
|
|
[23]
|
A. Sloman.
Introduction to Symposium GC5: Architecture of Brain and Mind
Integrating high level cognitive processes with brain mechanisms and
functions in a working robot.
In Proceedings of the AISB '06 Adaptation in Artificial and
Biological Systems, Bristol, April 2006.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0602.
[ bib |
.pdf ]
This symposium is inspired by UKCRC Research Grand Challenge
5: GC5: Architecture of Brain and Mind.
The aim of GC5 is to provoke unified discussion of long term research
goals in AI, Cognitive Science, and related disciplines, especially
goals concerned with giving computers a useful and general subset
of human capabilities, implemented in a biologically inspired fashion.
The symposium can also be seen as part of a series of related events
attempting to promote a high-level long-term vision of achievable
scientific goals of AI/Cognitive Science, including The DAM (Designing
an Mind) Symposium at AISB'00 (Davis, 2005), the Tutorial on Philosophical
Foundations of AI at IJCAI'01 (Sloman and Scheutz, 2001), the St.
Thomas symposium in 2002 (Minsky et al., 2004), and the IJCAI'05
Tutorial on Learning and Representation in Animals and Robots (Sloman
and Schiele, 2005). It presents themes central to the EC-funded
Cognitive Systems initiative including the CoSy project which is
part of that initiative, whose members have helped to organise
this symposium, and the euCognition project which is funding this
meeting. A common feature is the focus on scientific goals rather
than useful applications though implementation of working systems
is central to the proposed methodology. This introduction to the
symposium provides some background and highlights some of the major
problems to be overcome.
Keywords: cosy; irlab
|
|
[24]
|
Aaron Sloman, Birmingham CoSy Project Team, and Jackie Chappell.
Poster: Acquiring Orthogonal Recombinable Competences.
In Harold Bekkering, editor, Proceedings CogSys-II, Radboud
University Nijmegen, NL, April 2006.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#pr0601,
Conference url: http://www.socsci.ru.nl/CogSys2.
[ bib |
.pdf ]
A child or baby robot that has to manipulate 3-D objects
in its environment would face a combinatorial explosion if all
possible situations have to be learnt about separately. This could
take evolutionary time-scales.
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.
That includes learning about kinds of surface fragments (e.g. varieties
of curvature and surface discontinuities), kinds of surface properties
(e.g. texture, hardness, etc.), kinds of material (rigid, flexible
in different ways), kinds of objects composed of materials and
shapes, kinds of relationships, kinds of changes in relationships,
kinds of causal connections between changes.
These need to be represented in a manner that is independent of precise
sense-data when they are perceived, or sensorimotor contingencies,
so that knowledge about them can be used in planning future actions,
thinking about the past, and comparing actions using different
hands, or hands or mouth in different positions. This implies a
use of 'objective' representations (e.g. of 3-D structure) which
can then also be used in perceiving 'vicarious' affordances (for
others).
An implication is that mirror neurons should have been called 'abstraction
neurons'. There are many other implications, for robotics, psychology
and neuroscience.
Keywords: cosy; irlab
|
|
[25]
|
A. Sloman.
How to Put the Pieces of AI Together Again.
Technical Report COSY-TR-0608, University of Birmingham, School of
Computer Science, 2006.
Poster summary for AAAI'06 Members Poster Session, Boston July 2006.
2-Page abstract at
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0608 Poster at
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#pr0603.
[ bib |
.pdf ]
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.
This is a summary of ideas being developed within the CoSy project about
how to plan long term research using a partially ordered network
of scenarios and a grid of requirements for competences.
Keywords: cosy; irlab
|
|
[26]
|
Aaron Sloman.
Polyflaps as a domain for perceiving, acting and learning in a 3-D
world.
In Position Papers for 2006 AAAI Fellows Symposium, Menlo
Park, CA, 2006. AAAI.
http://www.aaai.org/Fellows/fellows.php and
http://www.aaai.org/Fellows/Papers/Fellows16.pdf.
[ bib |
.pdf ]
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.
Keywords: cosy; irlab
|
|
[27]
|
Aaron Sloman, Jackie Chappell, and the CoSy PlayMate team.
Orthogonal Recombinable Competences Acquired by Altricial Species
(Blankets, string, and plywood).
Research Note COSY-DP-0601, School of Computer Science, University of
Birmingham, Birmingham, UK, January 2006.
http://www.cs.bham.ac.uk/research/projects/cosy/papers#dp0601.
[ bib |
.html ]
This is part of an attempt to explain why our ability to
perceive and produce processes involving 3-D objects of varying
shape was so important for the evolution of the human mind, at
the same time as pointing out what is wrong with most of the stuff
that gets written about the importance of embodiment.
I suspect this reinvents some of Piaget's ideas. It is consistent with
some of the main themes of McCarthy's 'The Well-Designed Child'.
I have recently (April 2006) discovered many connections with the
book The Infant's World by Philippe Rochat (2001).
The main idea is that children acquire types of information that are
orthogonal insofar as they relate to aspects of things or situations
in the environment that can vary (nearly) independently, e.g. kinds
of stuff things are made of, kinds of local surface features, kinds
of relations between things, kinds of whole objects (composed of
stuff with specific surfaces and parts with multiple relations),
kinds of processes, etc.
The competences are also recombinable insofar as they can be used in
perceiving or producing novel structures and processes. The requirement
for re-use in novel combinations seems to impose strong requirements
on the forms of representation used. The recombination is predictive:
you can imagine many details of the process of trying to put on
a shirt made of paper, or lead, or the process of sitting on a
chair made of butter, even if you have never encountered such a
thing.
The competences can involve different levels of abstraction.
E.g. grasping something with your teeth and with finger and thumb are
extremely different as regards sensory input and motor signals.
But an animal that can represent what is common to both has a powerful
re-usable abstraction that can also be applied to grasping done
by another person (e.g. a child who may need help) or grasping
done by machines.
I conclude that the so-called 'mirror neurones' should have been called
'abstraction neurones', and that might have prevented much confusion
(e.g. about imitation).
Powerful innate mechanisms are needed for acquiring such competences
through play and exploration. Very few species can do it. As far
as I can tell there is nothing in AI that accounts for this, and
no known neural mechanisms. (Data-mining techniques can be viewed
as deriving separate 'competences' from large amounts of data,
but as far as I know those techniques and the forms of representation
chosen are not designed to support creative recombination, like
solving a problem by inventing something new involving previously
known kinds of motion, of shape, and of physical stuff)
I'd be interested to know if there's anything implemented by anyone
in AI that models such learning. I have not yet found AI literature
identifying the problem, though it's possible that I've read something
in the past which I had forgotten.
It's also likely that someone has used a different label for this notion
of orthogonal competences, which is why I failed to find previous
work on this.
Keywords: cosy; irlab
|
|
[28]
|
Aaron Sloman, Jeremy Wyatt, Nick Hawes, Jackie Chappell, and Geert-Jan M.
Kruijff.
Long Term Requirements for Cognitive Robotics.
In Cognitive Robotics: Papers from the 2006 AAAI Workshop:
Technical Report WS-06-03,
http://www.aaai.org/Library/Workshops/ws06-03.php, pages 143-150, Menlo
Park, CA, 2006. AAAI Press.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0604.
[ bib |
.pdf ]
This paper discusses some of the long term objectives of
cognitive
robotics and some of the requirements for meeting those objectives that
are still a very long way off. These include requirements for visual
perception, for architectures, for kinds of learning, and for innate
competences needed to drive learning and development in a variety of
different environments. The work arises mainly out of research on
requirements for forms of representation and architectures within the
PlayMate scenario, which is a scenario concerned with a robot that
perceives, interacts with and talks about 3-D objects on a tabletop,
one
of the scenarios in the EC-funded CoSy Robotics project.
Keywords: cosy; irlab
|
|
[29]
|
A. Sloman and J. Chappell.
The Altricial-Precocial Spectrum for Robots.
In Proceedings IJCAI'05, pages 1187-1192, Edinburgh, 2005.
IJCAI.
http://www.cs.bham.ac.uk/research/cogaff/05.html#200502.
[ bib |
.pdf ]
Several high level methodological debates among AI researchers,
linguists, psychologists and philosophers, appear to be endless,
e.g. about the need for and nature of representations, about the
role of symbolic processes, about embodiment, about situatedness,
about whether symbol-grounding is needed, and about whether a robot
needs any knowledge at birth or can start simply with a powerful
learning mechanism. Consideration of the variety of capabilities
and development patterns on the precocial-altricial spectrum in
biological organisms will help us to see these debates in a new
light.
It seems that after evolution discovered how to make physical bodies
that grow themselves, it discovered how to make virtual machines
that grow themselves. Researchers attempting to design human-like,
chimp-like or crow-like intelligent robots will need to understand
how. Whether computers as we know them can provide the infrastructure
for such systems is a separate question.
Keywords: cosy; irlab
|
|
[30]
|
A. Sloman and B. Schiele, editors.
Tutorial on Learning and Representation in Animals and
Robots.
IJCAI'05, Edinburgh, 2005.
http://www.cs.bham.ac.uk/research/projects/cosy/conferences.
[ bib |
http ]
A two-day tutorial was held in The University of Edinburgh
on 30th and 31st July 2005 at IJCAI 2005 on REPRESENTATION AND
LEARNING IN ROBOTS AND ANIMALS.
Keywords: cosy; irlab
|
|
[31]
|
Aaron Sloman.
Spatial prepositions as higher order functions: And implications of
Grice's theory for evolution of language.
Research Note COSY-DP-0605, School of Computer Science, University of
Birmingham, Birmingham, UK, 2005.
[ bib |
.html ]
This discussion note suggests that some forms of expression
that are apparently vague, inviting interpretations of their meaning
in terms of probability distributions, would be better construed as
having a different form of semantics, namely specifying an 'higher
order' function from contexts to truth-conditions. So statements
made using them have a two level semantics. The first level
specifies the function, which has to be applied to arguments
extracted from the context, which may be linguistic or non
linguistic, including the purpose of the communication. Then when
that function is applied to the arguments the result is a
specification of truth-conditions. This can be extended to how
questions and imperatives using those expressions also need to be
interpreted. I first proposed this sort of interpretation for
'better' in 1969 in How to derive 'Better' from 'is', American
Phil. Quarterly Vol 6, pp43-52, but I think the phenomenon is much
more common than has been realised. I try to show how the use of
such things can be predicted on the basis of Grice's theory of
communication, and draw some conclusions regarding the evolution of
language, and the relations between linguistic and non-linguistic
mental functions. From this viewpoint, communication is
collaborative problem-solving, not the transmission and decoding of
some signal, and the ability to use a language is just a special
case of a more general ability to solve problems by combining
different kinds of competence. This is related to the amazing
invention of a sign language by Nicaraguan deaf children and to
arguments for the evolution of inner structured languages prior to
the evolution of language for communication. This is a discussion
paper and everything is still tentative.
Keywords: cosy; irlab
|
|
[32]
|
Aaron Sloman and Jackie Chappell.
Altricial self-organising information-processing systems.
AISB Quarterly, (121):5-7, Summer 2005 2005.
http://www.cs.bham.ac.uk/research/cogaff/05.html#200503.
[ bib |
.pdf ]
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 diversity
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.
Keywords: cosy; irlab
|
|
[33]
|
Aaron Sloman and Cosy-partners.
CoSy deliverable DR.2.1 Requirements study for representations.
Technical Report COSY-TR-0507, The University of Birmingham, UK,
2005.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#tr0507.
[ bib |
.pdf ]
We report on some of the hard unsolved problems we have
identified on the basis of detailed analysis of some of the
processes that will have to occur when the PlayMate and Explorer
robots perform their tasks. The analysis used our scenario-driven
research methodology. We introduce some preliminary
characterisations of the key problems and some preliminary ideas for
dealing with them, inspired in part by studies of cognition in
humans and other animals. We confirm the conjecture in the CoSy
proposal that various kinds of representations are required for
different sorts of sub-mechanisms (including for instance
representations concerned with planning complex sequences of actions
and representations used in producing and controlling fast and
fluent movements). The different representations are in part related
to different ontologies, since different sub-mechanisms acquire,
manipulate and use information about different subject-matter. A
substantial part of this report is therefore concerned with first
draft, incomplete, ontologies that we expect our robots will need,
some parts of which the robots will have to develop for themselves,
especially ontologies concerned with objects and processes that have
quite complex structures involving multi-strand relationships. A
particularly important requirement for a robot with 3-D manipulation
capabilities is the ability to perceive and understand what we have
labelled 'multi-strand' relationships (where multiple parts of
complex objects are related, e.g. edges, corners and faces of two
cubes), which cause multi-strand processes to occur when
objects are moved, with several different relationships changing in
parallel. Perceiving such processes seems to require something like
a simulation process to occur. Moreover, this needs to happen at
different levels of abstraction concurrently (some continuous, with
high or low resolution, and some discrete capturing 'qualitative'
structural changes), for the same reason as many researchers have
claimed that perception of static scenes involves multiple-levels of
abstraction. So we conclude that our robot is likely to require an
architecture and mechanisms that support several concurrent
simulations at different levels of abstraction, in registration with
one another and (where appropriate) with the sensory data. It seems
that a mechanism like this can also implement some of what is often
referred to as spatial or visual reasoning, and could be relevant to
perception and understanding of affordances. We consider in
particular requirements for a pre-linguistic robot that is capable
of perceiving, acting in and to some extent reasoning about the
world before being able to talk about it, and raise questions about
how that might relate to learning that adds linguistic competence.
We note that in animals there is wide variation between species that
start with most of the ontology and representational competence they
will ever need and those that somehow learn or develop what they
need and suggest that further study of those cases may yield clues
regarding options for robots of different kinds. Most of this work
has not yet been published. This is work-in-progress and much of it
remains to be expanded, clarified and polished.
Keywords: cosy; irlab
|
|
[34]
|
Aaron Sloman.
Perception of structure: Anyone Interested?, 2005.
http://www.cs.bham.ac.uk/research/projects/cosy/papers/#pr0507.
[ bib |
.pdf ]
Illustration of some of the requirements for a vision system
capable
of being used in a robot that manipulates 3-D objects.
The pictures displayed here are very easy for humans to understand not
merely
insofar as they recognise the objects depicted, in spite of poor quality
and
poor resolution, but also because humans easily see various ways in
which the
objects can and cannot be grasped, and can plan a sequence of moves
to
transform one of the configurations presented into another.
|
This file has been generated by
bibtex2html 1.79
Print this page
|
|
|