http://www.lambda.ee/w/index.php?action=history&feed=atom&title=ITV0070_2010
ITV0070 2010 - Redigeerimiste ajalugu
2026-11-13T03:44:58Z
Selle lehekülje redigeerimiste ajalugu
MediaWiki 1.43.11
http://www.lambda.ee/w/index.php?title=ITV0070_2010&diff=8532&oldid=prev
Tammet – 30. jaanuar 2011, kell 19:07
2011-01-30T19:07:28Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="et">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 30. jaanuar 2011, kell 21:07</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">1. rida:</td>
<td colspan="2" class="diff-lineno">1. rida:</td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b><font color="red">NB! Tegu on 2010 arhiiviga, mitte kehtivate kursusematerjalidega</font></b><p></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><table></div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><table></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><tr></div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><tr></div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l10">10. rida:</td>
<td colspan="2" class="diff-lineno">12. rida:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Lektor: [http://tanel.tammet.googlepages.com Tanel Tammet] [http://pirrejaraak.blogspot.com blog]<br></div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Lektor: [http://tanel.tammet.googlepages.com Tanel Tammet] [http://pirrejaraak.blogspot.com blog]<br></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223<p></div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223<p></div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"><b><font color="red">NB! Tegu on 2010 arhiiviga, mitte kehtivate kursusematerjalidega</font></b></del></div></td><td colspan="2" class="diff-side-added"></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><i>"A sign is anything that can be used to tell a lie."</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><i>"A sign is anything that can be used to tell a lie."</div></td></tr>
</table>
Tammet
http://www.lambda.ee/w/index.php?title=ITV0070_2010&diff=5166&oldid=prev
Tammet – 30. jaanuar 2011, kell 19:06
2011-01-30T19:06:14Z
<p></p>
<p><b>Uus lehekülg</b></p><div><table><br />
<tr><br />
<td><br />
[[Pilt:sign2.jpg| left|märgid]] <br />
</td><br />
<td><br />
Ainekood: ITV0070<br><br />
Link: http://www.lambda.ee/index/Semantika_ja_analüütiline_filosoofia ehk http://www.lambda.ee/index/itv0070<br><br />
Võid vaadata ka [[ITV0070_2007|2007 arhiivi]].<br><br />
Lektor: [http://tanel.tammet.googlepages.com Tanel Tammet] [http://pirrejaraak.blogspot.com blog]<br><br />
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223<p><br />
<b><font color="red">NB! Tegu on 2010 arhiiviga, mitte kehtivate kursusematerjalidega</font></b><br />
<br />
<i>"A sign is anything that can be used to tell a lie."<br />
--Umberto Eco</i> <br />
<br />
<i>“I’m writing a book on magic,” I explain, and I’m asked, “Real magic?” <br />
By real magic people mean miracles, thaumaturgical acts, and supernatural powers.<br />
“No,” I answer: “Conjuring tricks, not real magic.” Real magic, in other words, <br />
refers to the magic that is not real, while the magic that is real, that can actually be done,<br />
is not real magic.<br />
--Lee Siegel</i><br />
</td><br />
</tr><br />
</table><br />
<br />
<br />
== <font color="red">Eelnadal</font> ==<br />
<br />
Eelnadala jareltood kell 10.00 reedel, 27 augustil ruumis VII-131.<br />
<br />
== <font color="red">Eksamitulemused </font> ==<br />
<br />
* MS 93047, eksam 32p, kokku 72p, hinne 3<br />
* AB, eksam 23p, kokku 63p, hinne 2<br />
* KU 98038, eksam 54p, kokku 94p, hinne 5<br />
* MH 93064, eksam 40p, kokku 80p, hinne 4<br />
* RA 990476, eksam 52p, kokku 92p, hinne 5 (NB!!! Ei olnud hindamislehel, palun uuri dekanaadist!)<br />
* HP 93021, eksam 40p, kokku 80p, hinne 4<br />
* JT 91029, eksam 32p, kokku 72p, hinne 3<br />
<br />
<br />
Kaks alternatiivset aega sessiooni jooksul:<br />
<br />
* 31 mai 9.00-12.00 ruumis IT-137A<br />
* 7 juuni 9.00-12.00 ruumis VI-122<br />
<br />
== Maht, aeg, tulemus ==<br />
<br />
Punkte: 2.5<br><br />
Loenguid nädalas: 1 kord a 2 tundi pluss 1 tund harjutust. Kui pole teisiti märgitud, toimuvad kõik loengud<br />
esmaspäeviti kell 12.00-13.30 ruumis IT-137a. Kohe peale loengut kuni 14.30 toimub samas ruumis seminar: ettekannete aeg!<br />
<br />
Kursus lõpeb kirjaliku eksamiga., oluliselt arvestatakse sooritatud praktilisi töid (tehtud/ei).<br />
Praktilised tööd: ettekanded etteantud teemal, iga tudeng kaks ettekannet semestris.<br />
<br />
<br />
== Eksam 2010 kevad: materjalid ==<br />
<br />
Eksamiks kohustuslikud materjalid on järgmised:<br />
<br />
Peatükid 1-7 õpikust http://www.aber.ac.uk/media/Documents/S4B/semiotic.html<br />
<br />
Evolutsioonipsühholoogia sissejuhatus: http://en.wikipedia.org/wiki/Evolutionary_psychology<br />
<br />
Memeetika sissejuhatus: http://en.wikipedia.org/wiki/Memetics<br />
<br />
Üldpilt artiklist artiklist Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition: http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html<br />
<br />
Üldpilt artiklist CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html<br />
<br />
Funktsionalism ja temaga seotud põhiküsimused/tuntud mõtteksperimendid: http://en.wikipedia.org/wiki/Functionalism_%28philosophy_of_mind%29<br />
<br />
Putnam: is semantics possible? http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false<br />
<br />
Quine: Two Dogmas of Empiricism http://www.ditext.com/quine/quine.html<br />
<br />
Chinese room mõtteeksperiment ja vastuväited: http://en.wikipedia.org/wiki/Chinese_Room<br />
<br />
Freimiprobleem: mis see on ja põhi-ideed: http://plato.stanford.edu/entries/frame-problem/<br />
<br />
Metzinger teadvusest: ülevaade http://www.scholarpedia.org/article/Self_models ja loenguna kas http://media.libsyn.com/media/brainsciencepodcast/67-BSP-Metzinger.mp3 või http://www.uctv.tv/search-details.aspx?showID=9181<br />
<br />
Filosoofia osa: erinevad loogikad, ajalugu ei pea teadma: http://en.wikipedia.org/wiki/Mathematical_logic<br />
<br />
Lõpmatuse ja lahendatavuse põhialused, teoreemid siit: http://www.lambda.ee/images/f/fa/Itsissejuhatus13o.PPT ja põhideed siit: http://en.wikipedia.org/wiki/Cardinality<br />
<br />
Intuitsionistliku loogika filosoofilised põhiideed: http://plato.stanford.edu/entries/logic-intuitionistic/<br />
<br />
Intuitsionistlik loogika ja Curry-Howardi vastavuse põhiideed selle materjali põhjal: http://en.wikipedia.org/wiki/Curry-Howard_correspondence<br />
<br />
Modaalse loogika põhiideed selle materjali põhjal: http://plato.stanford.edu/entries/logic-modal/<br />
<br />
Dialoog ja pragmaatika: http://www.universalteacher.org.uk/lang/pragmatics.htm<br />
<br />
Grice dialoogimaksiimid: http://en.wikipedia.org/wiki/Gricean_maxims<br />
<br />
URL tähenduse probleem: http://www.w3.org/2002/11/dbooth-names/dbooth-names_clean.htm<br />
<br />
<br />
== Ettekannete plaan ==<br />
<br />
8 veebruar:<br />
<br />
* [http://oolongiv.files.wordpress.com/2008/08/quine_two_dogmas.pdf Quine] või [http://www.ditext.com/quine/quine.html alternatiiv] või [http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false alternatiiv] Henrik Pallas.<br />
* Wittgensteins Vienna Kadri Umbleja<br />
<br />
15 veebruar:<br />
<br />
* Dennet teadvusest, artiklite http://ase.tufts.edu/cogstud/papers/explainingmagic.pdf ja http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf põhjal: Margus Havik<br />
*[http://internalism.googlegroups.com/web/Putnam%20-%20The%20meaning%20of%20%27meaning%27.pdf?gda=twdJY1oAAABFSTngQf24Sy1RD7yNn1iVgy3Odg0ZctAT1N_Bh2qhdGG1qiJ7UbTIup-M2XPURDQe1sJTwbuelxnpaL6JzH4yeFMfiRQRvg6UTOJgQe0faGtRc9Sp7hcxNJ_gjwZr8bQ Putnam] Martin Sooba<br />
<br />
22 veebruar:<br />
<br />
* [http://mcv.planc.ee/misc/doc/filosoofia/artiklid/Gottlob%20Frege%20-%20T%E4hendusest%20ja%20osutusest.pdf Frege]. Birjukov.<br />
<br />
1 märts:<br />
<br />
* Frank Ramsey "tõsiasjad ja propositsioonid": Jana<br />
* Tarsky semantiline tõekontseptsioon: Kadri<br />
<br />
8 märts:<br />
<br />
* Carnap "Tõde ja kinnitus": Henrik<br />
* Dummet "Tõde": Martin (vaja lisaks intuitsionismist raakida)<br />
<br />
15 märts:<br />
<br />
* Funktsionalism (vt alustuseks [http://en.wikipedia.org/wiki/Functionalism_%28philosophy_of_mind%29 wikipedia artiklit] ja [http://plato.stanford.edu/entries/functionalism/ stanfordi entsüklopeedia artiklit]) Margus<br />
<br />
* Dennett "Kvaalide kvainimine" http://cogprints.org/254/0/quinqual.htm Jana<br />
<br />
22 märts:<br />
<br />
* Funktsionalism: Margus Havik<br />
<br />
29 märts:<br />
<br />
* Intuitsionism: Martin<br />
* Relevance logic: Margus Havik<br />
<br />
5 aprill:<br />
<br />
* Montague grammars: Kadri<br />
* [http://inform7.com/ Inform 7] (restricted english), [http://inform7.com/learn/manuals/ vt ka]: Jana<br />
* [http://attempto.ifi.uzh.ch/site/ Attempto] (restricted english): Henrik<br />
<br />
12 aprill:<br />
<br />
* relevantsusloogika: Margus Havik<br />
* kas me elame simulatsioonis: Andrei Birjukov<br />
* attempto: Henrik<br />
<br />
Lisaks:<br />
<br />
* Inform 7 oma mängu demo: Andrei Birjukov.<br />
* Reaalsete dialoogisüsteemide ülevaateloeng poolteist tundi: Risto Alas<br />
<br />
== Loengute <b>esialgne</b> plaan, teemad ja materjalid ==<br />
<br />
Kursus jaguneb mitmeks omavahel seotud allteemaks, järjekorras üldisematelt tehnilisematele. <br />
Teemasid läbitakse üldiselt järjest, kuid ekskurssidega eelmistesse/järgmistesse teemadesse. <br />
Seni läbimata teemade materjalid on lehel puudu või lünklikud.<br />
<br />
Loengute põhieesmärk on anda ülevaade mõistetest, ideedest jms: kõik selleks, <br />
et paremini viidatud tekste lugeda ja neist aru saada.<br />
<br />
J&auml;rgmised materjalid on tutvumiseks, nende k&otilde;igi s&uuml;stemaatiline <br />
l&auml;bilugemine ei ole kohustuslik.<br />
<br />
== Sissejuhatus, semiootika, filosoofia ==<br />
<br />
* [http://www.aber.ac.uk/media/Documents/S4B/semiotic.html Semiotics for beginners]. D. Chandler. V&otilde;rguraamat. KOHUSTUSLIK LUGEMINE.<br />
* [http://www.cs.ucsd.edu/users/goguen/ps/as.ps.gz An Introduction to Algebraic Semiotics, with Applications to User Interface Design.] J. Goguen. VEIDI LUGEDA.<br />
* [http://www.cs.ucsd.edu/users/goguen/projs/semio.html Algebraic semiotic]. Portaal. J .Goguen. <br />
* [http://carbon.cudenver.edu/~mryder/itc_data/semiotics.html Semiootikaportaal]. OTSIDA ISE NATUKE HUVITAVAT LUGEMIST.<br />
* [http://www.gutenberg.org/dirs/etext04/tloph10.txt Tractatus] ja [http://www.kfs.org/~jonathan/witt/ten.html Tractatus: struktureeritud täistekst]. L. Wittgenstein. VEIDI LUGEDA.<br />
* [http://www.voidspace.org.uk/psychology/wittgenstein/one.shtml Philosophical Investigations koos kommentaaridega]: kndlasti lugeda esimesed 100 aforismi, terve raamatu saab osta poest eestikeelsena.<br />
<br />
== Aju, mõistuse ja kultuuri areng ==<br />
<br />
Sotsiobioloogia ning evolutsioonipsühholoogia.<br />
<br />
Sissejuhatus:<br />
<br />
* [[Media:Evolutsioon.PPT | Evolutsioon.PPT]] ja teises formaadis [[Media:Evolutsioon.pdf | Evolutsioon.pdf]] <br />
* http://en.wikipedia.org/wiki/Sociobiology<br />
* http://en.wikipedia.org/wiki/Evolutionary_psychology ja [http://www.psych.ucsb.edu/research/cep/primer.html primer] ja [http://www.psych.ucsb.edu/research/cep/papers/bussconceptual05.pdf conceptual grounds]<br />
* http://en.wikipedia.org/wiki/Memetics<br />
<br />
<br />
Olulisi artikleid:<br />
<br />
* [http://www.bbsonline.org/documents/a/00/00/04/61/bbs00000461-00/bbs.wilkins.html BRAIN EVOLUTION AND NEUROLINGUISTIC PRECONDITIONS]<br />
* [http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS]<br />
* [http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition]<br />
<br />
Lisaks artiklikogumikke ja muud:<br />
<br />
* [http://homepage.psy.utexas.edu/homepage/Group/BussLAB/publications.htm Buss lab publications]<br />
* [http://www.geocities.com/changizi/changizi_lab.html Changizi publications: vt allpool peatükk ARTICLES AND BOOKS] ntx [http://www.geocities.com/changizi/dictionary.pdf Economically organized hierarchies in WordNet and the Oxford English Dictionary], [http://www.geocities.com/changizi/citybrain.pdf citybrain], [http://www.geocities.com/changizi/colorface.pdf colorface], [http://www.geocities.com/changizi/xray.pdf xray vision]<br />
* [http://books.google.ee/books?id=qxJsO4KsCQEC&dq=mark+a+changizi%5D&printsec=frontcover&source=bl&ots=fr-itMXDZn&sig=SgAN9f3-ZTSgPdJ46mSQrZ0oTP4&hl=et&ei=aRO7SsezCNHb-Qa737zRCw&sa=X&oi=book_result&ct=result&resnum=3#v=onepage&q=&f=false the brain from 25000 feet]<br />
<br />
== M&otilde;tlemine ja tehism&otilde;tlemine, l&otilde;pmatus ja piiratus. ==<br />
<br />
Mõtlemine ja tehismõtlemine.<br />
* [http://en.wikipedia.org/wiki/Functionalism_(philosophy_of_mind) Functionalism]<br />
* [http://en.wikipedia.org/wiki/Chinese_Room chinese room]<br />
* [[symbol grounding]]<br />
<br />
<br />
Lõpmatus ja lahenduvus: sissejuhatus<br />
<br />
[[Media:itsissejuhatus13o.PPT|itsissejuhatus13o.PPT]], <br />
<br />
Loomulik keel reaalsetes süsteemides:<br />
<br />
* [http://www.inform-fiction.org/I7Downloads/Documents/WhitePaper.pdf Natural Language, semantic analysis and interactive fiction]<br />
* [http://www.inform-fiction.org/I7/Manual.html Inform 7 manuaal]<br />
* [http://groups.google.com/group/rec.arts.int-fiction/msg/ac0577fe70c636bc?&q=inform-7 Inform 7 kasutaja kommentaare]<br />
* [http://eblong.com/zarf/if7/HandyKit/source.html Inform 7 mängunäide]<br />
* [http://www.ainewsletter.com/downloads/if_docs/tutorial.htm Amzi tutorial]<br />
<br />
Olulised probleemid:<br />
<br />
* [http://www-formal.stanford.edu/jmc/mcchay69.pdf Some Philosophical Problems from the Standpoint of Artificial Intelligence, McCarthy and Hayes.]<br />
* [http://www-formal.stanford.edu/leora/fp.ps The Problem with Solutions to the Frame Problem. L. Morgenstein]<br />
* [http://www.engin.umd.umich.edu/CIS/course.des/cis479/projects/frame/a2.html Frame problem 2]<br />
* [http://ase.tufts.edu/cogstud/pubpage.htm Dennetti artiklid]. V&otilde;rgus (osaliselt) vabalt.<br />
* [http://www.dca.fee.unicamp.br/~gudwin/semiotics/semiotics.html Semiootika ja intelligentsed s&uuml;steemid]<br />
<br />
== Semantika ja loogika. ==<br />
<br />
* Klassikalise loogika klassikaline semantika: domeenid, funktsioonid jms.<br />
* Klassikalise loogika semantika blocks worldi näitel<br />
* Mitteklassikaliste loogikate semantika - blocks world ja seosed loomuliku keele ja m&otilde;tlemisega.<br />
<br />
Materjale klassikalise loogika kohta:<br />
<br />
*[http://www.cs.miami.edu/%7Egeoff/Courses/CSC648-F04/Content/index.html Geoffi kursuse materjale]<br />
<br />
Materjale mitteklassikaliste loogikate kohta:<br />
<br />
* [[Media:erinevad_loogikad_kiirylevaade.ppt|loengus tehtud ülevaade]], <br />
* [http://www.csc.liv.ac.uk/~katie/ Katie Atkinsioni] modaalse loogika materjalid:<br />
** http://www.csc.liv.ac.uk/~katie/304-Lecture7.ppt (sissejuhatus: süntaks)<br />
** http://www.csc.liv.ac.uk/~katie/304-Lecture8.ppt (Kripke semantika: possible worlds)<br />
** http://www.csc.liv.ac.uk/~katie/304-Lecture12.ppt (aksioom K, deduktsioon)<br />
** http://www.csc.liv.ac.uk/~katie/304-Lecture13.ppt (eri sorti modaalsed loogikad)<br />
** http://www.csc.liv.ac.uk/~katie/304-Lecture14.ppt (eri sorti modaalsed loogikad)<br />
<br />
== Semantika semantilises veebis ==<br />
<br />
* XML ja semantika suhted<br />
* Namespaced, URI-d, URN-d jms<br />
* RDF(S) ja OWL<br />
* ontoloogiad<br />
<br />
Hakatuseks baasmaterjale XML-st<br />
:* [[Media:Xmlbaas1.PPT]],[[Media:Xmlbaas2.PPT]],[[Media:Xmlbaas3.PPT]]<br />
:* [http://www.w3.org/TR/2004/REC-xml-20040204/ XML 1.0 standard].<br />
:* [http://www.w3.org/TR/REC-xml-names/ XML namespaces] <br />
:* [http://www.w3schools.com/xml/default.asp XML õpetus (w3schools)]<br />
<br />
URI, URN, URL. Loe selles järjekorras:<br />
<br />
:*[http://dme.uma.pt/jcardoso/Books/IDEA-SWTTA/Chap01-Sample.pdf mõistlik sissejuhatus sem web teemasse: loe juhul, kui sa ei ole kursis]<br />
:*[http://www.ietf.org/rfc/rfc2396.txt ametlik dokument uride kohta: vaata algust ja viska korraks järgnevale pilk peale]<br />
:*[http://www.w3.org/2002/11/dbooth-names/dbooth-names_clean.htm URL: four uses and identity crisis. Parim artikkel probleemi kohta.]<br />
:*[http://dc2008.de/wp-content/uploads/2008/09/dc2008_id_all_slides.pdf Pikk presentatsioon eri liiki identifikaatori-skeemidest]<br />
:*[http://larry.masinter.net/duri.html idee ja ettepanek kahte liiki uri-nimeruumideks] <br />
:*[http://www.ontopia.net/topicmaps/materials/identitycrisis.html ideid probleemi leevendamiseks, eeskätt topic maps kontekstis]<br />
:*[http://journal.info.unlp.edu.ar/journal/journal23/papers/JCST-Jul08-5.pdf]<br />
:*[http://www.instruct.langara.bc.ca/~bkoehler/term/200530/CPSC/2261/notes/002_http.pdf]<br />
<br />
<br />
<br />
Lisaks:<br />
:* http://www.somebits.com/weblog/tech/bad/whySoapSucks.html<br />
:* http://wanderingbarque.com/nonintersecting/2006/11/15/the-s-stands-for-simple/<br />
<br />
<br />
Tutorialid:<br />
<br />
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip Detailne RDF tutorial]<br />
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip Detailne RDFS tutorial]<br />
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip Detailne OWL tutorial]<br />
<br />
<!--<br />
== Ettekanded ==<br />
<br />
Esimene ring:<br />
<br />
* 16 september kell 10.00. Raamatust "Tähendus, tõde, meetod: tekste analüütilisest filosoofiast. Koostanud ja toimetanud J. Kangilaski ja M.Laasberg.Tartu Ülikooli Kirjastus 1999." <br />
** Tatjana Totskaya. Quine: empirismi kaks dogmat. Tehtud, vaja täiendada verifikatsionismi ja reduktsionismi põjalike seletuste ja näidetega.<br />
** Janne Monso. Frege tähendusest ja osutusest. Tehtud.<br />
<br />
<br />
Teine ring:<br />
<br />
* 28 oktoober. Hilary Putnam: tähendus ja osutus. Merlin. Tehtud.<br />
* Frank Ramsey: tõsiasjad ja propositsioonid. Tõnis. Tehtud, vaja teha uus ettekanne Tarski semantilisest tõekontseptsioonist ja siduda see võrdlusega Ramseyga.<br />
<br />
Kolmas ring:<br />
<br />
* 4 november kell 10.00. P. Grice: tähendus. Julia Bondar.<br />
* Tarski: semantiline tõekontseptsioon ja semantika alused. Avar Pentel. <br />
* Ette valmistada Tatjana ja Tõnise ettekanded.<br />
<br />
Neljas ring:<br />
<br />
* 11 nov kell 10.00<br />
* Julia Bondar: eelmine kord ärajäänud<br />
* Dennet teadvusest, artiklite http://ase.tufts.edu/cogstud/papers/explainingmagic.pdf ja http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf põhjal. Merlin.<br />
* Tõnis: Inform 7 <br />
* Tatjana: varuettekanne.<br />
<br />
Viies ring:<br />
<br />
* 18 nov kell 10.00<br />
* Rainer: Ordinaalid (lõpmatud numbrid)<br />
* Avar: Attempto loomulik keel (restricted english), ace system<br />
* Tatjana ettekanne (kui ei lähe käiku varu)<br />
<br />
kuues ring esialgne (osaline) kava:<br />
<br />
* 25 nov kell 10.00<br />
** Janne Monso: Relevance theory. Kasuta eeskätt http://people.bu.edu/bfraser/Relevance%20Theory%20Oriented/Sperber%20&%20Wilson%20-%20RT%20Revisited.pdf<br />
ja<br />
http://www.phon.ucl.ac.uk/publications/WPL/06papers/sperber&wilson.pdf <br />
<br />
<br />
seitsmes ring esialgne (osaline) kava:<br />
<br />
* 2 detsember kell 10.00<br />
** Julia: http://www.cimec.unitn.it/events/decalog/pdf/decalog_denis.pdf<br />
** Tatjana: http://www.cimec.unitn.it/events/decalog/pdf/decalog_buckley.pdf<br />
** Risto: http://www.cimec.unitn.it/events/decalog/pdf/decalog_quarteroni.pdf<br />
<br />
viimased ettekanded viimase loengu ajal:<br />
* 16 detsember, Tanel Lauringson<br />
** [http://en.wikipedia.org/wiki/Chinese_Room Chinese room]: ülevaade ja kategoriseering argumentidest ja vastuargumentidest<br />
** RDF kohta: [http://www.w3.org/TR/REC-rdf-syntax/#reification reificationi], vajaduse ja probleemide ülevaade<br />
<br />
<br />
--><br />
<!--<br />
<br />
* 19. september. Ilmar Kerm. G.Frege: Tähendusest ja osutusest.<br />
* 3. oktoober. Rait Kapp. G.Ryle: Kategooriad.<br />
* 10. oktoober. Andri Rebane. W.V.Quine. Empirismi kaks dogmat.<br />
* 17. oktoober. Madis Puju. M.Dummett: Tõde.<br />
* 24. oktoober. Eero Kümnik. Semantiline tõekontseptsioon (esimene osa, teisest kokkuvõte).<br />
* 31. oktoober. Risto Alas. F.Ramsey: Tõsiasjad ja propositsioonid.<br />
--><br />
<br />
<br />
<!--<br />
<br />
* 14. november. Rait Kapp. Intuitsionism ja konstruktivism, mh näiteid ka päris matemaatikast. Programmid kui semantika intuitsionistlikele valemitele.<br />
* 21. november. Andri Rebane. GRDDL (http://www.w3.org/2001/sw/grddl-wg/) ideed, soovitused, olemasolevad "standardid", näited (mõelda, et kuidas tasuks annoteerida eri firmade/organisatsioonide telefoniraamatuid võrgus,vt riik.ee alt).<br />
* 28. november. Madis Puju. SPARQL.<br />
* 5. detsember. Eero Kümnik. Rule interchange language. http://www.w3.org/2005/rules/.<br />
* 12. detsember. Risto Alas. <br />
* 19. detsember. Ilmar Kerm. Freimiprobleem AI-s, näited, erinevad pakutud lahendused. Vt sama teema linke ülalt, loe võrgust juurde, proovi ka Dennetilt leida.<br />
<br />
--><br />
<br />
== &Otilde;pikud ja materjalid (see on esialgne list!) ==<br />
<br />
Kursusel on &uuml;ks p&otilde;hi&otilde;pik, &uuml;ks lisa&otilde;pik ja <br />
hulk kohustuslikke ja soovitavaid lisamaterjale.<br />
<br />
<br />
NB! Osa materjale (esmajoones lingid) on viidatud eelmises l&otilde;igus vastavate <br />
teemade all, mitte aga allpool.<br />
<br />
P&otilde;hi&otilde;pik ja lisa&otilde;pik. P&otilde;hi&otilde;piku l&auml;bilugemine <br />
kohustuslik, samuti kui lisa&otilde;piku<br />
viidatud peat&uuml;ki l&auml;bilugemine.<br />
<br />
* <B>T&auml;hendus, t&otilde;de, meetod: tekste anal&uuml;&uuml;tilisest filosoofiast.</B> Koostanud ja toimetanud J. Kangilaski ja M.Laasberg.Tartu &Uuml;likooli Kirjastus 1999.<br />
* Peat&uuml;kk III &quot;mitteklassikaline loogika&quot; raamatust <B>Loogika: m&otilde;tlemisest t&otilde;estamiseni</B>. T.Tammet, T.Tammet, R.Prank, Tartu &Uuml;likooli Kirjastus 1997.<br />
<br />
== Soovitav, sh eriti soovitavad esimesed kaks raamatut ==<br />
<br />
* Juhatus semiootikasse. P.Gobley, L.Jansz.T&otilde;lkeraamat, kirjastus &quot;Koge&quot; 2002.<br />
* M&auml;lu. Endel Tulving. Tartu &Uuml;likooli kirjastus 2002.<br />
* Uurimus t&auml;hendusest ja t&otilde;est. B. Russell. T&otilde;lkinud T. Hallap, Hortus Litterarum 1995.<br />
* Oxfordi filosoofialeksikon. S. Blackburn. T&otilde;lkinud M. V&auml;ljataga ja B.M&ouml;lder. Vagabund 2002.<br />
<br />
== Soovitavad autorid lugemiseks ==<br />
<br />
* Dennett<br />
* Putnam<br />
* Wittgenstein<br />
* Borges (kirjanik, mitte filosoof), eesti keeles mitu t&otilde;lkeraamatut.<br />
<br />
<!--<br />
<br />
== Mis eksamil oodata on ==<br />
<br />
Materjalid õpikust http://www.aber.ac.uk/media/Documents/S4B/semiotic.html<br />
<br />
Materjale artiklist http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html<br />
<br />
Artikkel http://en.wikipedia.org/wiki/Evolutionary_psychology<br />
<br />
Artikkel http://en.wikipedia.org/wiki/Memetics<br />
<br />
Materjale artiklist http://www-formal.stanford.edu/leora/fp.ps<br />
<br />
Esimest järku loogika semantika materjale Geoffi kursusest <br />
[[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]<br />
<br />
Modaalse loogika materjal http://www.csc.liv.ac.uk/~katie/304-Lecture8.ppt<br />
<br />
Intuitsionistliku ja (Reiteri) default loogikate põhiideed.<br />
<br />
XML põhiasjadest arusaamine, sh namespacede teema.<br />
<br />
Rdf primer: http://www.w3.org/TR/rdf-primer/<br />
<br />
--><br />
<br />
<br />
<br />
==<font color="red">Eksamitulemused 2009 sügis</font> ==<br />
<br />
Eksamitulemused leiab [[semantika filos 2010 eksam | selle lingi alt]].<br />
<br />
<font color="red">NB! NB!</font> Järeleksamile pääsemiseks <b>peab</b> ennast ÕIS-s eelnevalt eksamile registreerima. Mine ÕIS-s http://ois.ttu.ee "sooritused" -> "teadmiste kontrollidele registreerimine", otsi selle aine 29.01.2010 eksam ja registreeri ennast sellele. Probleemide korral otsi abi dekanaadist.<br />
<br />
R. Metsvahi: ole hea, registreeri ennast järeleksamile, sinna reaalselt minna ei ole vaja, saadud tulemus kehtib, kuid nime ei olnud esialgsel eksamilehel.<br />
<br />
Eelnädala järeleksam toimub 29 jaanuaril (reede) kell 11.00 auditooriumis VI-201.<br />
<br />
<!--<br />
<br />
==Eksam 2009 sügis ==<br />
<br />
<br />
<br />
Eksamiks kohustuslikud materjalid on järgmised:<br />
<br />
Materjalid õpikust http://www.aber.ac.uk/media/Documents/S4B/semiotic.html<br />
<br />
Evolutsioonipsühholoogia sissejuhatus: http://en.wikipedia.org/wiki/Evolutionary_psychology<br />
<br />
Memeetika sissejuhatus: http://en.wikipedia.org/wiki/Memetics<br />
<br />
Üldpilt artiklist artiklist Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition: http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html<br />
<br />
Üldpilt artiklist CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html<br />
<br />
Funktsionalism ja temaga seotud põhiküsimused/tuntud mõtteksperimendid: http://en.wikipedia.org/wiki/Functionalism_%28philosophy_of_mind%29<br />
<br />
Putnam: is semantics possible? http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false<br />
<br />
Quine: Two Dogmas of Empiricism http://www.ditext.com/quine/quine.html<br />
<br />
Lõpmatuse ja lahendatavuse põhialused, teoreemid siit: http://www.lambda.ee/images/f/fa/Itsissejuhatus13o.PPT<br />
<br />
Esimest järku loogika semantika materjale Geoffi kursusest <br />
[[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]<br />
<br />
Intuitsionistliku loogika filosoofilised põhiideed: http://plato.stanford.edu/entries/logic-intuitionistic/<br />
<br />
Intuitsionistlik loogika ja Curry-Howardi vastavuse põhiideed selle materjali põhjal: http://en.wikipedia.org/wiki/Curry-Howard_correspondence<br />
<br />
Modaalse loogika põhiideed selle materjali põhjal: http://plato.stanford.edu/entries/logic-modal/<br />
<br />
XML põhiasjadest arusaamine, sh namespacede teema.<br />
<br />
Rdf primer: http://www.w3.org/TR/rdf-primer/<br />
<br />
URL-i tähendused: http://www.w3.org/2002/11/dbooth-names/dbooth-names_clean.htm<br />
<br />
--><br />
<br />
<!--<br />
<br />
==<font color="red">Ettekanded 2009 sügis</font> ==<br />
<br />
Ettekanded ette valmistada praktikumiks 17 sept kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.<br />
<br />
* [http://mcv.planc.ee/misc/doc/filosoofia/artiklid/Gottlob%20Frege%20-%20T%E4hendusest%20ja%20osutusest.pdf Frege] Silver Juurik. Tehtud.<br />
* [http://oolongiv.files.wordpress.com/2008/08/quine_two_dogmas.pdf Quine] või [http://www.ditext.com/quine/quine.html alternatiiv] või [http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false alternatiiv] Rainer Metsvahi. Tehtud.<br />
* [http://internalism.googlegroups.com/web/Putnam%20-%20The%20meaning%20of%20%27meaning%27.pdf?gda=twdJY1oAAABFSTngQf24Sy1RD7yNn1iVgy3Odg0ZctAT1N_Bh2qhdGG1qiJ7UbTIup-M2XPURDQe1sJTwbuelxnpaL6JzH4yeFMfiRQRvg6UTOJgQe0faGtRc9Sp7hcxNJ_gjwZr8bQ Putnam] Martin Verrev. Tehtud.<br />
<br />
Ettekanded ette valmistada praktikumiks 1 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.<br />
<br />
* Hilary Putnam: reeglitest & privaatkeeltest. Raido Paaslepp. Tehtud.<br />
* Michael Dummett: Tõde. Kenno Parm. Tehtud.<br />
* Tarski. Semantiline tõekontseptsioon ja ... Kairi Kask. Tehtud.<br />
<br />
Ettekanded ette valmistada praktikumiks 15 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.<br />
<br />
* Dennett teadvusest artiklite [http://ase.tufts.edu/cogstud/papers/explainingmagic.pdf 1] ja [http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf 2] põhjal. Anto Kallas. NB! Viimase artikli ettekanne vaja uuesti teha!<br />
* Jevgeni Shumik. Aprioorsus (Ayer). Vaja uuesti ja selgemalt teha, presentatsioon ka!<br />
<br />
Ettekanded ette valmistada loenguks 22 oktoobril kell 12 ruumis IT-140 iga ettekanne 30 minutit.<br />
<br />
* Märten Ester. Tõde ja tähendus (Davidson) ja seostada veidi tähendus ja tõde (Strawson)<br />
* Jevgeni Shumik. Aprioorsus (Ayer). Vaja uuesti ja selgemalt teha, presentatsioon ka!<br />
* Aivar Naaber. Tähendus ja tõde (Strawson) ja sesotada veidi Tõde ja tähendus (Davidson).<br />
* Nikolai Tshihhatshov. Nick Boströmi [http://www.simulation-argument.com/simulation.html simulatsioonis-elamise artikkel] ja [http://www.simulism.org/Why_we_are_not_living_in_a_Simulation vastuväited] ja [http://www.simulism.org/Simulism_Home lisamaterjale]<br />
<br />
Ettekanded ette valmistada praktikumiks 29 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.<br />
<br />
* Dennett teadvusest artikli[http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf 2] põhjal. Anto Kallas. <br />
* Marko Alas. * Dennetti [http://ase.tufts.edu/cogstud/papers/quinqual.htm kvaalide kvainimine]<br />
<br />
Ettekanded ette valmistada praktikumiks 12 novembril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.<br />
* Ludmila Karu. Paul Grice. Tähendus. 1957.<br />
* Verrev: imidzhi semantiline mõõtmine<br />
<br />
<br />
* Järgmine ring LOENGUS 19 november: pragmatism üldfilosoofiana ja semantikas.<br />
** Pragmatism üldfilosoofiana. Anto Kallas.<br />
** Grice. Paaslepp.<br />
<br />
<br />
* Loengus või praktikumis 26 november:<br />
** Rainer: Hilberti programm ja finitism<br />
** Searle. Silver juurik.<br />
** Soar süsteem. Jevgeni.<br />
<br />
* 3 detsember:<br />
** Inform 7 süsteem ja reaalsed näited. Märten. Tehtud.<br />
** http://www.ai.sri.com/natural-language/projects/arpa-sls/commandtalk.html Kenno armeedialoogsüsteemid. Tehtud.<br />
<br />
* 10 detsember:<br />
<br />
** [http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false Putnam: is semantics possible?] Rein Remmel. Ei ole tehtud.<br />
** http://en.wikipedia.org/wiki/Machine_translation Nikolai: masintõlke state of art<br />
** Aivar Naaber: nö üldiste (entsüklopeedia-tüüpi) (tekstiliste) dialoogsüsteemide state of art näide (näited) seletuse ja teooriaga jne, mis on leitav.<br />
** Marko Alas: restricted english'i süsteem Attempto http://attempto.ifi.uzh.ch/site/<br />
<br />
* Ideid:<br />
** http://en.wikipedia.org/wiki/Machine_translation<br />
** http://www.ling.gu.se/~sl/dialogue_links.html list of dialogue systems<br />
** http://www.cs.cmu.edu/~dbohus/SDS/ list of spoken dialogue systems<br />
** http://www.ai.sri.com/natural-language/projects/arpa-sls/commandtalk.html<br />
** http://www.speech.kth.se/ctt/publications/avhandling/avhandling_jg.pdf developing multimodal spoken systems<br />
** http://www.speech.kth.se/adapt/ <br />
<br />
--><br />
<br />
<!-- <br />
==<font color="red">Eksam 2009 sügis</font> ==<br />
<br />
Eksamiteemad:<br />
<br />
* Semiootika<br />
** Olulisemaid osi, ptk 1-7: http://www.aber.ac.uk/media/Documents/S4B/semiotic.html<br />
<br />
* Evolutsioon:<br />
<br />
** http://en.wikipedia.org/wiki/Evolutionary_psychology<br />
** http://en.wikipedia.org/wiki/Memetics<br />
** Põhiväited/teooria: [http://www.bbsonline.org/documents/a/00/00/04/61/bbs00000461-00/bbs.wilkins.html BRAIN EVOLUTION AND NEUROLINGUISTIC PRECONDITIONS]<br />
** Põhiväited/teooria: [http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS]<br />
** Põhiväited/teooria: [http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition]<br />
<br />
* Mõtlemine ja tehismõtlemine<br />
<br />
** Chinese room: http://en.wikipedia.org/wiki/Chinese_Room<br />
** Freimiprobleem: mis see on ja põhi-ideed: http://plato.stanford.edu/entries/frame-problem/<br />
<br />
* Loogika<br />
<br />
** Peatükk "Predicate (1st order) Logic" [http://www.cs.miami.edu/%7Egeoff/Courses/CSC648F04/Content/index.html Geoffi kursuse materjalidest] pluss vaja aru saada lausearvutusest ja predikaatarvutusest, st eelmised peatükid. Teoreemitõestamist ei ole vaja lugeda.<br />
** Filoofia osa: erinevad loogikad, ajalugu ei pea teadma: http://en.wikipedia.org/wiki/Mathematical_logic<br />
** Arusaamine lõpmatute hulkade ja kardinaalarvude põhiideedest: http://en.wikipedia.org/wiki/Cardinality<br />
<br />
<br />
* Dialoog ja pragmaatika<br />
** http://www.universalteacher.org.uk/lang/pragmatics.htm<br />
<br />
--></div>
Tammet