Tehisintellektisüsteemid internetis: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
| 49. rida: | 49. rida: | ||
** [http://www.cs.man.ac.uk/~navarroj/papers/fstyear.pdf hea õppematerjal: põhiinfo siit] | ** [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.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 | * [http://www.dbai.tuwien.ac.at/proj/dlv/ DLV projekt: hea soft ja näited] predikaatarvutuse fragmendi rehkendamine lausearvutuse meetoditega | ||
Redaktsioon: 19. september 2007, kell 11:58
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