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 jms | '''Asjad lausearvutusest jms''' | ||
* DPLL: davis putnam loveland | * DPLL: davis putnam loveland | ||
Redaktsioon: 19. september 2007, kell 11:59
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
- 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