jump to first page computationalism: the very idea david davenport bilkent university, ankara 06533...

20
Jump to first page Computationa lism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: [email protected] disclaimer (non-standard!)

Post on 20-Dec-2015

216 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Computationalism: The Very Idea

David DavenportBilkent University,

Ankara 06533 – Turkey.Email: [email protected]

disclaimer(non-standard!)

Page 2: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Introduction

Wealth of detail lacks solid

foundations Understand

the “big-picture” organising

principle -vocabulary

COMPUTATIONALISM

101

Page 3: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Outline

Introduction What is Computation? What is Cognition? Is Computationalism correct? Issues

Meaning Symbols & Rules Representation Timing

Concluding Remarks

Page 4: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Models…

Physical Replicas Answer questions Make predictions Implementation independent Observer-relative Cost, time,

difficulty of production

Page 5: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Models… Abstract {computational} Answer questions,

make predictions! Map questions to answers

All equivalent

a=f(q)

a=r(s(s(t(q))))

a=u(v(q))

g=t(q)for 2 times h=s(g) g=ha=r(h)

Page 6: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Implementation

Map states & seq. Find existing system Construct one anew Use digital computer

Rely on causation Program/algorithm/computation is

abstract spec. of causal system.

Page 7: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

What is Computation?

Answer questions, make predictions!

A function! Abstract, but physical implementation.

Program/algorithm/computation abstract spec. of causal system.

Page 8: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Computation…

Targetsystem

Implementation

Abstraction

Page 9: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Putnam’s Argument…

Explain & refute

Page 10: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

What is Computation?

About Prediction Program/algorithm/computation

abstract spec. of causal system. Concept is not vacuous! But, it is in the eye of the beholder

Interpretation State & system!

Page 11: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

What is Cognition?

Agents – parts of world Cognitive Agents use knowledge Prediction is the key! Models predict Choose most appropriate action

based on present situation, past experience, knowledge of effects of own actions.

Page 12: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Computationalism

Can cognition be described or simulated by computations?

Different levels! Assuming

physical basis & occurs

elsewhere

Page 13: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Computationalism

Is cognition literally computation?

Computation is part of cognition (the agent’s world model)

The rest, I/O, goals, matching & decision making mechanism?

Semantics? Subjective aspects…?

Page 14: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Computationalism

Can the notion of computation help explain cognition?

Computation is clearly Of practical &

historic importance! Related to cognition Not vacuous!

Does lack semantics, timing & is not embedded, but…

Page 15: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Meaning

Representations acquire it From other symbols?

Chinese Room Argument Foreign language dictionary

From causal links to environment? Symbol Grounding, but…

State has meaning for the agent If it has predictive value! May be wrong, unreal,

undemonstrated, etc.

Page 16: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Symbols & Rules

Model viewed as formal system Symbols & rules may be

Innate or Learnt Primitive symbols

Disjunctions/Conjunctions Internal or External

Rules – logical mechanism!

Page 17: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Representation

Symbolic, Connectionist,Dynamicist?

Functional accounts ofCognition & computation

Organisation/Implementation issue.

Page 18: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Timing

Too quick Too slow Unstable!

Maybe time is sequence!

Page 19: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

Concluding Remarks Computationalism is right!

Computation, is about prediction Cognition, demands prediction

Computation - states representational

only to observer Cognition - states representational

to observer & for agent itself

(i.e. has predictive value.)

Page 20: Jump to first page Computationalism: The Very Idea David Davenport Bilkent University, Ankara 06533 – Turkey. Email: david@bilkent.edu.tr disclaimer (non-standard!)

Jump to first page

PhysicalSystems

Cognitive

ActuallyComputingSystems

PotentiallyComputationalSystems

Classes of Systems