Tehisintellektisüsteemid internetis

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.
• Eksami eelduseks on kaheosaline praktiline töö, mis on toodud siin allpool (pärineb algselt teadmiste kursusest, sobib ka selle kursuse jaoks neile, kes pole teadmiste kursust läbinud: vastasel juhul

tuleb hoopis teistsugune praktiline töö).

Esimene praktiline töö

Töö sisuks on realiseerida süsteem, mis suudab lugeda sisse RDFa standardi põhiosade järgi annoteeritud html-i ja teisendada seda rdf kolmikuteks. Näitelehtede tegemine on ülesande üks osa: selleks tuleb valida vähemalt kolm erinevat reaalset veebilehte ja need (vähemalt osaliselt) ära annoteerida. Rdf kolmikute süntaks on csv.

Loe:

• 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/

Teine praktiline töö

Teise praktilise töö sisuks on esimesele praktilisele tööle täiendavalt reeegli- ja päringusüsteemi ehitamine. Detailid ilmuvad veebruari lõpuks.

Loe siit: Teadmiste teine praktiline töö

Kirjandus

Kursuseid taustaks

• xml baaskursuse materjalid
• loogika arvutiteaduses 2004 või alternatiivina:
  • Rak. loogika süvakursus: vanad materjalid
  • Geoffi kursuse 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
  • wikipedia
  • Geoffi materjal
  • hea õppematerjal: põhiinfo siit
  • zchaff
  • täiendavat värki strateegiate kohta eri tõestajates

• Model checking
  • wikipedia sissejuhatus
  • lühike sissejuhatus
  • Terve kursus: loe alguse poole materjale

• 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:
  • RDF üldleht W3C-s
  • semantilise võrgu üldleht W3C-s
  • 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:
  • Detailne RDF tutorial
  • Detailne RDFS tutorial
  • Detailne OWL tutorial
  • Jena: reaalne soft