Tehisintellektisüsteemid internetis: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
|||
| (ei näidata sama kasutaja 23 vahepealset redaktsiooni) | |||
| 12. rida: | 12. rida: | ||
Punkte: 5<br> | Punkte: 5<br> | ||
<p> | <p> | ||
== | == Eksamikorraldus == | ||
<b>Eelnädala järeleksam:</b> reedel, 25. jaanuaril kell 10.00 ruumis I-202 (aulatagune). | |||
Järmised järeleksamid: kevadsemestri lõpupoole ja sügissemestri eelnädalal. | |||
* Materjalideks on needsamad, mis siin kursuse lehel: | * Materjalideks on needsamad, mis siin kursuse lehel: | ||
| 27. rida: | 25. rida: | ||
** RDF, RDFS ja OWL | ** RDF, RDFS ja OWL | ||
* Eksam tuleb kirjalik/suulise kombinatsioon, kus kõigepealt lasen kirjutada, siis vaatan sealsamas kirjutatu üle ja arutame suuliselt edasi. | * Eksam tuleb kirjalik/suulise kombinatsioon, kus kõigepealt lasen kirjutada, siis vaatan sealsamas kirjutatu üle ja arutame suuliselt edasi. | ||
* Osadel tudengitel tuleb teha praktiline töö. Igale tudengile antakse eraldi praktiline töö. Konkreetselt: | |||
* | ** Dmitri: Eksami eelduseks on [[Tehisintellektisüsteemid internetis: kaheosaline praktiline töö RDFast]], mis on toodud siin allpool (pärineb algselt teadmiste kursusest). See töö sobib ka selle kursuse jaoks neile, kes pole teadmiste kursust läbinud: vastasel juhul tulek hoopis teistsugune praktiline töö. | ||
== Kirjandus == | == Kirjandus == | ||
| 36. rida: | 34. rida: | ||
* [http://cs.ttu.ee/kursused/wav4130/Xml/index.html xml baaskursuse materjalid] | * [http://cs.ttu.ee/kursused/wav4130/Xml/index.html xml baaskursuse materjalid] | ||
* [http://www.cs.miami.edu/~geoff/Courses/CSC648-07F/Content/ Geoffi kursuse materjalid] | |||
Lisaks abistavaid materjale: | |||
* [http://www.cs.ioc.ee/~tarmo/lcs04/ loogika arvutiteaduses] 2004 või alternatiivina: | * [http://www.cs.ioc.ee/~tarmo/lcs04/ loogika arvutiteaduses] 2004 või alternatiivina: | ||
* [http://deepthought.ttu.ee/it/vorgutarkvara/wav4121/ Rak. loogika süvakursus: vanad materjalid] | |||
** [http://www.cs.miami.edu/ | * [http://www.cs.miami.edu/~tptp/CASC/20/ systeeme leiad siit] | ||
* [http://www.cs.miami.edu/~tptp/CASC/20/Systems.tgz ja otse siit] | |||
* [http://cs.ttu.ee/kursused/wav4130/ vana teadmiste kursuse materjalid] | |||
* [http://cs. | '''Tehisintellektindus üldiselt''' | ||
* MIT open courseware: [http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-034Spring-2005/LectureNotes/index.htm AI loengumaterjalid] õppimise osa kohta eksamil küsimusi ei tule (lugeda aga võiks veidi siiski) | |||
* Kah abiks: answer set semantics soft ja tutorialid: | |||
'''Asjad lausearvutusest jms''' | |||
* DPLL: davis putnam loveland | |||
** [http://en.wikipedia.org/wiki/DPLL_algorithm wikipedia] | |||
** [http://www.cs.miami.edu/~geoff/Courses/CSC648-07F/Content/DPLL.shtml Geoffi materjal] | |||
** [http://www.cs.man.ac.uk/~navarroj/papers/fstyear.pdf hea õppematerjal: põhiinfo siit] | |||
** [http://www.princeton.edu/~chaff/zchaff.html zchaff] | |||
** [http://www.cs.sfu.ca/~mitchell/papers/colLogCS85.pdf täiendavat värki strateegiate kohta eri tõestajates] | |||
* Model checking | |||
** [http://en.wikipedia.org/wiki/Model_checking wikipedia sissejuhatus] | |||
** [http://www.embedded.com/columns/technicalinsights/17603352?_requestid=330761 lühike sissejuhatus] | |||
** [http://www-i2.informatik.rwth-aachen.de/i2/161/ Terve kursus: loe alguse poole materjale] | |||
* [http://www.dbai.tuwien.ac.at/proj/dlv/ DLV projekt: hea soft ja näited] predikaatarvutuse fragmendi rehkendamine lausearvutuse meetoditega | |||
* RETE algoritm eksperts"usteemides: kuidas käib | |||
<!-- ** [http://www.tcs.hut.fi/~ini/ soome projekt] --> | |||
''' | '''Semantiline võrk: sissejuhatavad materjalid''' | ||
* | * Alguseks: | ||
** [http://www.w3.org/RDF/ RDF üldleht W3C-s] | |||
** [http://www.w3.org/2001/sw/ semantilise võrgu üldleht W3C-s] | |||
** [http://www.w3schools.com/rdf/default.asp rdf tutorial] w3school'st | |||
*RDFa ja microformats: | |||
** [[Media:portaalidekoosvoime.ppt]] või pdf kujul [[Media:portaalidekoosvoime.pdf]] | |||
** http://www.w3.org/TR/xhtml-rdfa-primer/ või uuem http://www.w3.org/2006/07/SWD/RDFa/primer/ | |||
** http://www.w3.org/2006/07/SWD/RDFa/syntax/ | |||
** http://www.microformats.org | |||
* | * RDFS, OWL: | ||
* | ** [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip Detailne RDF tutorial] | ||
** [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip Detailne RDFS tutorial] | |||
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip Detailne RDF tutorial] | ** [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip Detailne OWL tutorial] | ||
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip Detailne RDFS tutorial] | ** [http://www.hpl.hp.com/semweb/index.html Jena: reaalne soft] | ||
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip Detailne OWL tutorial] | |||
Viimane redaktsioon: 23. jaanuar 2008, kell 12:32
Ainekood: ITV9170
Link: http://www.lambda.ee/index/Tehisintellektisüsteemid_internetis ehk http://www.lambda.ee/index/itv9170
Lektor: Tanel Tammet
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223
Aeg, koht, tulemus
NB! Kursus on esmajoones iseõppekursus doktorandidele ja magistrandidele.
Semester: sügis
Tulemus: kirjalik eksam, mille üheks punktiosaks on praktikumiülesanded.
Punkte: 5
Eksamikorraldus
Eelnädala järeleksam: reedel, 25. jaanuaril kell 10.00 ruumis I-202 (aulatagune).
Järmised järeleksamid: kevadsemestri lõpupoole ja sügissemestri eelnädalal.
- Materjalideks on needsamad, mis siin kursuse lehel:
- taustakursused
- MIT kursuse materjalid
- RDF, RDFS ja OWL
- Eksam tuleb kirjalik/suulise kombinatsioon, kus kõigepealt lasen kirjutada, siis vaatan sealsamas kirjutatu üle ja arutame suuliselt edasi.
- Osadel tudengitel tuleb teha praktiline töö. Igale tudengile antakse eraldi praktiline töö. Konkreetselt:
- Dmitri: Eksami eelduseks on Tehisintellektisüsteemid internetis: kaheosaline praktiline töö RDFast, mis on toodud siin allpool (pärineb algselt teadmiste kursusest). See töö sobib ka selle kursuse jaoks neile, kes pole teadmiste kursust läbinud: vastasel juhul tulek hoopis teistsugune praktiline töö.
Kirjandus
Kursuseid taustaks
Lisaks abistavaid materjale:
- loogika arvutiteaduses 2004 või alternatiivina:
- Rak. loogika süvakursus: vanad materjalid
- systeeme leiad siit
- ja otse siit
- vana teadmiste kursuse materjalid
Tehisintellektindus üldiselt
- MIT open courseware: AI loengumaterjalid õppimise osa kohta eksamil küsimusi ei tule (lugeda aga võiks veidi siiski)
- Kah abiks: answer set semantics soft ja tutorialid:
Asjad lausearvutusest jms
- DPLL: davis putnam loveland
- DLV projekt: hea soft ja näited predikaatarvutuse fragmendi rehkendamine lausearvutuse meetoditega
- RETE algoritm eksperts"usteemides: kuidas käib
Semantiline võrk: sissejuhatavad materjalid
- Alguseks:
- RDFa ja microformats: