Tehisintellektisüsteemid internetis

Allikas: Lambda

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

Eelnädala järeleksam: reedel, 25. jaanuaril kell 10.00 ruumis I-202 (aulatagune).

Järmised järeleksamid: kevadsemestri lõpupoole ja sügissemestri eelnädalal.

• 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 (http://cs.ttu.ee/kursused/wav4130/Xml/index.html)
• Geoffi kursuse materjalid (http://www.cs.miami.edu/~geoff/Courses/CSC648-07F/Content/)

Lisaks abistavaid materjale:

• loogika arvutiteaduses (http://www.cs.ioc.ee/~tarmo/lcs04/) 2004 või alternatiivina:
• Rak. loogika süvakursus: vanad materjalid (http://deepthought.ttu.ee/it/vorgutarkvara/wav4121/)
• systeeme leiad siit (http://www.cs.miami.edu/~tptp/CASC/20/)
• ja otse siit (http://www.cs.miami.edu/~tptp/CASC/20/Systems.tgz)
• vana teadmiste kursuse materjalid (http://cs.ttu.ee/kursused/wav4130/)

Tehisintellektindus üldiselt

• MIT open courseware: AI loengumaterjalid (http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-034Spring-2005/LectureNotes/index.htm) õ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 (http://en.wikipedia.org/wiki/DPLL_algorithm)
  • Geoffi materjal (http://www.cs.miami.edu/~geoff/Courses/CSC648-07F/Content/DPLL.shtml)
  • hea õppematerjal: põhiinfo siit (http://www.cs.man.ac.uk/~navarroj/papers/fstyear.pdf)
  • zchaff (http://www.princeton.edu/~chaff/zchaff.html)
  • täiendavat värki strateegiate kohta eri tõestajates (http://www.cs.sfu.ca/~mitchell/papers/colLogCS85.pdf)

• Model checking
  • wikipedia sissejuhatus (http://en.wikipedia.org/wiki/Model_checking)
  • lühike sissejuhatus (http://www.embedded.com/columns/technicalinsights/17603352?_requestid=330761)
  • Terve kursus: loe alguse poole materjale (http://www-i2.informatik.rwth-aachen.de/i2/161/)

• DLV projekt: hea soft ja näited (http://www.dbai.tuwien.ac.at/proj/dlv/) predikaatarvutuse fragmendi rehkendamine lausearvutuse meetoditega

• RETE algoritm eksperts"usteemides: kuidas käib

Semantiline võrk: sissejuhatavad materjalid

• Alguseks:
  • RDF üldleht W3C-s (http://www.w3.org/RDF/)
  • semantilise võrgu üldleht W3C-s (http://www.w3.org/2001/sw/)
  • rdf tutorial (http://www.w3schools.com/rdf/default.asp) 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 (http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip)
  • Detailne RDFS tutorial (http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip)
  • Detailne OWL tutorial (http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip)
  • Jena: reaalne soft (http://www.hpl.hp.com/semweb/index.html)