This site has been permanently archived. This is a static copy provided by the University of Southampton.
---
abstract: "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."
altloc:
- ftp://ftp.cs.bham.ac.uk/pub/groups/cog_affect/Sloman.turing90.ps.gz
chapter: ~
commentary: ~
commref: ~
confdates: ~
conference: ~
confloc: ~
contact_email: ~
creators_id: []
creators_name:
- family: Sloman
given: Aaron
honourific: ''
lineage: ''
date: 1996
date_type: published
datestamp: 1998-06-22
department: ~
dir: disk0/00/00/07/04
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name:
- family: Milligan
given: P
honourific: ''
lineage: ''
eprint_status: archive
eprintid: 704
fileinfo: /style/images/fileicons/application_postscript.png;/704/2/Sloman.turing90.ps
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2011-03-11 08:54:12
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: n/a
pagerange: 179-219
pubdom: FALSE
publication: 'Machines and Thought: The Legacy of Alan Turing'
publisher: ~
refereed: TRUE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 10
series: ~
source: ~
status_changed: 2007-09-12 16:33:12
subjects:
- cog-psy
- comp-sci-art-intel
- comp-sci-neural-nets
- comp-sci-robot
- ling-prag
- ling-sem
- ling-syntax
- phil-lang
- phil-logic
- phil-metaphys
- phil-mind
- phil-sci
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: Beyond Turing Equivalence
type: journalp
userid: 142
volume: I