Tehisintellektisüsteemid internetis: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
| 32. rida: | 32. rida: | ||
* [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://deepthought.ttu.ee/it/vorgutarkvara/wav4121/ Rak. loogika süvakursus: vanad materjalid] | ||
** [http://www.cs.miami.edu/ | ** [http://www.cs.miami.edu/~geoff/Courses/CSC648-07F/Content/ Geoffi kursuse materjalid] | ||
** [http://www.cs.miami.edu/~tptp/CASC/20/ systeeme leiad siit] | ** [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://www.cs.miami.edu/~tptp/CASC/20/Systems.tgz ja otse siit] | ||
Redaktsioon: 26. september 2007, kell 12:31
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
- 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
- xml baaskursuse materjalid
- loogika arvutiteaduses 2004 või alternatiivina:
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: