CognitionResearch.org

Computing

Cognition

Language Learning

Home
Computing
Cognition
Language Learning
Book
Contact

SP icon

THE SP THEORY OF INTELLIGENCE

COMPUTING AS COMPRESSION


Too blue for logic

My axioms were so clean-hewn,
The joins of 'thus' and 'therefore' neat
But, I admit
Life would not fit
Between straight lines
And all the cornflowers said was 'blue,'
All summer long, so blue.
So when the sea came in and with one wave
Threatened to wash my edifice away -
I let it.

Marianne Jones


SP GROUP: If you would like to receive occasional news about progress in the SP programme of research, please contact me, Gerry Wolff, via email, phone or Skype. There is more information about the SP group here: SP GROUP.

NEW:

MEDIA:


INTRODUCTION

The SP theory of intelligence is a unique attempt to integrate and simplify observations and concepts across artificial intelligence, mainstream computing, mathematics, and human perception and cognition, with information compression as a unifying theme.

The name "SP" is short for simplicity and power, because compression of any given body of information, I, may be seen as a process of reducing informational “redundancy” in I and thus increasing its “simplicity”, whilst retaining as much as possible of its non-redundant expressive “power”.

Central in the theory is the powerful concept of multiple alignment, with versatility in the representation of knowledge and in AI functions.

The SP theory is realised in the form of a computer model, SP71. This model may be seen as a first version of the SP machine, an expression of the SP theory and a means for it to be applied. Source code for the model, with associated files, may be downloaded via links under the heading 'SOURCE CODE', below.

The SP theory combines conceptual simplicity with descriptive and explanatory power in several areas, including concepts of 'computing', the representation of knowledge, natural language processing, pattern recognition, several kinds of reasoning, the storage and retrieval of information, planning and problem solving, unsupervised learning, information compression, and human perception and cognition.

An introduction to the ideas is in the slide show The SP theory of intelligence (PDF)—see below. A much fuller account is in the book Unifying Computing and Cognition.

The background and motivation for the research is described in Computing, cognition and information compression (PDF).


PRESENTATIONS

Unless it is self-explanatory, each slide has one or more notes, each one shown with a 'speech bubble' icon, normally in the top left-hand corner. To see a note, position the cursor over the icon. If the whole note is not visible, right-click on the icon and choose "Open pop-up note".

To view a presentation, it is probably best to download the file and open it in the Adobe Reader. Other systems may not show the notes properly. Controls: Full screen: CTRL-L; Escape from full screen: ESC; Zoom in: CTRL-plus; Zoom out: CTRL-minus; Next slide: left-click; Previous slide: right-click; Scrolling left or right, up or down: use the 'hand'.

An article, giving an overview of the SP system and its expected benefits and applications is here: The SP theory of intelligence: benefits and applications (PDF).


PUBLICATIONS

Most of the publications from this section may be obtained as a PDF, Postscript or MS Word file. The articles that give the best overall view of the research programme and the SP framework are marked with Marks articles and conference papers that give the best overall view of the research. For readers who are not previously acquainted with this field, these are the articles to start with. For convenience, they are listed here in a suggested order for reading:

Publications topics:


BOOK

UNIFYING COMPUTING AND COGNITION

The SP Theory and its Applications

J Gerard Wolff

CognitionResearch.org, 2006, ISBN 0-9550726-0-3 (ebook edition), ISBN 0-9550726-1-1 (print edition) 

Ebook cover Pbook cover
Ebook cover Print edition cover

Description of the book

Ordering the book


PROPOSAL FOR THE CREATION OF A HIGH-PARALLEL IMPLEMENTATION OF THE SP MACHINE

A good step forward in the development of these ideas would be the creation of a new version of the SP machine. It would be:

  • Based on the SP71 computer model.
  • Built as a software virtual machine, using high-parallel search mechanisms, and with a good user interface. The high-parallel search mechanisms in an existing search engine would provide a good foundation for this version of the SP machine.
  • An open-source model, available, via the web, to the research community everywhere.
  • A vehicle for experimentation and research with two main aims:
    • To explore the range of applications of the SP machine.
    • To refine the SP theory itself.

SP machine


SOURCE CODE

If you wish to see the exact workings of the SP71 computer model or experiment with it, the source code and a Windows executable is available in the file SP71.zip, and via "Ancillary files" under www.arxiv.org/abs/1306.3888. A slightly earlier version, SP70, referenced in published papers and in Unifying Computing and Cognition, may be downloaded via SP70.zip.

It is probably best to start by looking at SP62, a subset of SP71 that lacks any ability for learning. The source code and a Windows executable is available in the file SP62.zip.

Please note: these programs are for research, they are not shrink-wrapped software packages that you might buy from a shop. I have released them mainly for people who want to dig around inside them and see what is going on.

This software is released to the public domain without any restrictions, but please read the notice on the source files.

ARCHIVING

The SP71 computer model is archived here:

  • As "ancillary files" with "The SP theory of intelligence: an overview" in https://arxiv.org/abs/1306.3888. Some but not all of the notes associated with this project are archived here.

A much fuller record of the research, including all versions of the software, all the associated notes, and all the publications, has been submitted for digital archiving to:

  • The National Museum of Computing at Bletchley Park, near Milton Keynes, UK. With the agreement of the archivist, Brian Aldous, a memory stick with a covering letter was sent to him on 24th of May 2016.

CognitionResearch.org

Computing

Cognition

Language Learning