FILOZOFIA SZTUCZNEJ INTELIGENCJI

FILOZOFIA SZTUCZNEJ INTELIGENCJI

SYLABUS

Semestr:	Zima 2011
Time:	Wtorek 15:00-16:30
Miejsce:	IF, Sala 25
Strona Przedmiotu:	www.cse.yorku.ca/~jarek/courses/ai/F11

Prowadzacy:	Jarek Gryz
Pokoj:
Dyzur:
Telefon:	x
e-mail:	jarek@cs.yorku.ca

Witam na stronie seminarium Filozofia Sztucznej Inteligencji prowadzonego w semestrze zimowym 2011. Pelne materialy do seminarium pojawia sie na tej strone wkrotce.

Kospekt

Celem seminarium jest omówienie kluczowych zagadnien metodologicznych i filozoficznych lezacych u podstaw badan nad sztuczna inteligencja. Dyskutowane beda zarówno cele stawiane przed sztuczna inteligencja (wyjasnienie natury ludzkiego poznania/myslenia czy tylko jego symulacja) jak i analiza powodów dla których celów tych nie udalo sie zrealizowac. W szczególnosci omówione zostana nastepujace tematy:

Bariery wynikajace ze zlozonosci obliczeniowej
Test Turinga i argument Chinskiego Pokoju Searle'a
Problem Ramy (w ujeciu logicznym i filozoficznym)
Logiki nie-monotoniczne
Sieci neuronowe i konekcjonizm
Argumenty Heidegerowskie Dreyfusa
Nowe trendy w sztucznej inteligencji: inteligencja ucielesniona (embodied) i umiejscowiona (situated).

Organizacja Seminarium

Seminarium prowadzone bedzie w formie dyskusji w oparciu o artykuly zaproponowane przez prowadzacego (wszystkie po angielsku!). Ponizsza lista podaje przyklady artykulow omawianych na tym seminarium w poprzednich latach.

Harmonogram

Data	Temat	Lektura obowiazkowa	Referent
4 pazdziernika	Intro
11 pazdziernika	Turing Tests and its Critics	Searle and Dretske	Karol Schweitzer
18 pazdziernika	Frame Problem (1) and Nonmonotonic Logic	Horty Ch. 1-3
25 pazdziernika	Frame Problem 2	Dennett and Fodor
8 listopada	Godelian arguments	Twierdzenie Godla (Wikipedia) i Lucas	Oskar Kozlowski
15 listopada	Hubert Dreyfus	Frame Problem (3): Dreyfus	Michal Barcz
22 listopada	Embodied AI	Brooks	Adam Tuszynski
29 listopada
6 grudnia	zajecia odwolane
13 grudnia	Symbol Grounding	Harnad	Krystyna Bielecka
20 grudnia	Emerging Consciousness	Searle (tekst dostepny w czytelni IF)	Kinga Jeczminska
3 stycznia	Innateness	Landau (tekst dostepny w czytelni IF) i Carey	Joanna Komorowska-Mach
10 stycznia	Robots and Ethics	Arkin i McDermott	Sebastian Mroczek
17 stycznia	TBA		TBA

Lektury

Ksiazki

1. M. Bedau and P. Humphreys (eds.), Emergence, MIT Press 2008 *

2. R. Cummins and D.D. Cummins (eds.), Minds, Brains and Computers *

3. R. Penrose, The Emperor's New Mind *

4. R. Penrose, Shadows of the Mind

5. J.R. Newman and E. Nagel, Godel's Proof

6. Michael R. Garey and David S. Johnson, Computers and Intractabilty. A guide to the Theory of NP-Completeness

7. W. Bechtel and G. Graham (eds.), A Companion to Cognitive Science *

8. Thinking about android epistemology, edited by Kenneth M. Ford, Clark Glymour, & Patrick J. Hayes. *

9. S. Franchi and G. Guzeldere (eds.) Mechanical Bodies, Computational Minds. *

10. R, Pfeifer and C. Scheier, Understanding Intelligence *

11. Z. Pylyshyn, The Robot's Dilemma. The Frame Problem in AI *

12. J. Copeland, Artificial Intelligence. A Philosophical Introduction.

13. M. L. Ginsburg, Readings in Nonmonotonic Reasoning

14. H. Dreyfus, What Computers Still Can't Do

Artykuly zwiazane z konkretnymi tematami:

Turing Test and its critics
- A. M. Turing Computing Machinery and Intelligence in [3] (also http://www.loebner.net/Prizef/TuringArticle.html)
- John Searle, Minds, Brains, and Programms ( in [3]). See also http://plato.stanford.edu/archives/fall2004/entries/chinese-room/
- Dretske (in [9]) Also available in JSTOR.
The Frame Problem (1) and Non-monotonic logic
- J. Horty, Overview of Nonmonotonic Logic: http://www.umiacs.umd.edu/~horty/articles/2001-nonmon.pdf
- R. Reiter, A Logic for Default Reasoning [13]
- J. McCarthy, Circumscription [13]
- S. Hanks, D. McDermott, Default Reasoning, Nonmonotonic Logics, and the Frame Problem [13]
The Frame Problem (2)
- D. Dennett, Cognitive Wheels: The Frame Problem in AI. Chapter 2 of [11] (http://www.cs.sfu.ca/~vaughan/teaching/415/papers/dennett-cognitivewheels.html)
- J. Fodor, Modules, Frames, Fridgeons, Sleeping Dogs, and the Music of the Spheres. Chapter 8 of [11] (kopia w czytelni IF)
The Frame Problem (3)
- Chapter 5 of [11]
- Dreyfus in: http://leidlmair.at/doc/WhyHeideggerianAIFailed.pdf
- Part 2 of [14]
Godelian Arguments
- Lucas, Minds, Machines and Godel (http://users.ox.ac.uk/~jrlucas/Godel/mmg.html)
- Chapter 3 of [4] or chapter 10 of [3]
- Critics:
  - R. Grush and P. Churchland, Gaps in Penrose's Toilings http://mind.ucsd.edu/papers/penrose/penrose.pdf
Emergence in general
- p. 1-18 in [1]
- Thomas Schelling, Chapter 12 in [1]
Emergent consciousness
- John Searle, Chapter 3 in [1] (mention Nagel's and Jackson's arguments)
- Daniel Dennett: Consciousness in Humand and Robot Minds (http://cogprints.org/429/0/concrobt.htm)
Embodied AI
- R. Brooks http://dspace.mit.edu/bitstream/handle/1721.1/6569/AIM-1293.pdf?sequence=2
- Chapter 4 of [10]
- Chapter 2 of [8]
Innateness Controversy
- Chapter 45 of [7]
- Chapter 46 of [7]
- Chapter 31 of [2]
Neural Networks and Connectionism
- Chapter 10 of [12]
- Chapter 38 of [7]
- Chapter 12 of [2]
Robots and Ethics
- http://www.cc.gatech.edu/ai/robot-lab/online-publications/ArkinUlamTechReport2009.pdf
- http://www.cc.gatech.edu/ai/robot-lab/online-publications/arkin-rev.pdf
- http://www.cc.gatech.edu/ai/robot-lab/online-publications/sony-iros.pdf
AI and the Humanities
- Alison Adam: [9]
- Anne Foerst: [9]

Zalecane (ale nie wymagane) podreczniki:

Artificial Intelligence. A Modern Approach.

Second Edition, 2003.

Stuart J. Russell and Peter Norvig

Prentice Hall.

ISBN: 0-13-790395-2

Being there : putting brain, body, and world together again.

Andy Clark.

MIT Press

1997

Jarek Gryz