Tehisintellektisüsteemid internetis: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
| 42. rida: | 42. rida: | ||
* Kah abiks: answer set semantics soft ja tutorialid: | * Kah abiks: answer set semantics soft ja tutorialid: | ||
'''Asjad lausearvutusest | '''Asjad lausearvutusest jms"" | ||
* [http://www.dbai.tuwien.ac.at/proj/dlv/ DLV projekt: hea soft ja näited] predikaatarvutuse fragmendi rehkendamine lausearvutuse meetoditega | |||
* 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] | |||
* RETE algoritm eksperts"usteemides: kuidas käib | |||
<!-- ** [http://www.tcs.hut.fi/~ini/ soome projekt] --> | <!-- ** [http://www.tcs.hut.fi/~ini/ soome projekt] --> | ||
Redaktsioon: 19. september 2007, kell 11:47
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. Võibolla annan ka mõne kirjaliku lisaülesande.
- Kohustuslikku programmeerimisülesannet ei ole, samas on antud teemas praktilise töö tegemine plusspunktiks: kes mõtleb välja huvitava ülesande ja selle ise ära teeb, saab eksami jaoks plusspunkte ca ühe-poolteise hindetaseme jagu.
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""
- DLV projekt: hea soft ja näited predikaatarvutuse fragmendi rehkendamine lausearvutuse meetoditega
- DPLL: davis putnam loveland
- RETE algoritm eksperts"usteemides: kuidas käib
Semantiline võrk