Tehisintellektisüsteemid internetis: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
Resümee puudub
 
(ei näidata sama kasutaja 24 vahepealset redaktsiooni)
12. rida: 12. rida:
Punkte: 5<br>
Punkte: 5<br>
<p>
<p>
<b>Eksamiplaneerimise kokkusaamine:</b>
teisipäeval (6. dets) kell 16.00 alustusega T.Tammeti
kabinetis AK-s




== Esialgne plaan eksamikorralduseks ==
== Eksamikorraldus  ==


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


* Eksami võiks teha 9. jaanuaril kell 13.00, järeleksami sessi sees 12. jaanuaril kell 13.00.
Järmised järeleksamid: kevadsemestri lõpupoole ja sügissemestri eelnädalal.


* Materjalideks on needsamad, mis siin kursuse lehel:
* Materjalideks on needsamad, mis siin kursuse lehel:
27. rida: 25. rida:
** RDF, RDFS ja OWL
** 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.
* 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:
* 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.
** 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 ==
== Kirjandus ==
36. rida: 34. rida:


* [http://cs.ttu.ee/kursused/wav4130/Xml/index.html  xml baaskursuse materjalid]
* [http://cs.ttu.ee/kursused/wav4130/Xml/index.html  xml baaskursuse materjalid]
* [http://www.cs.ioc.ee/~tarmo/lcs04/ loogika arvutiteaduses] 2004
* [http://www.cs.miami.edu/~geoff/Courses/CSC648-07F/Content/ Geoffi kursuse materjalid]
 
Lisaks abistavaid materjale:
 
* [http://www.cs.ioc.ee/~tarmo/lcs04/ loogika arvutiteaduses] 2004 või alternatiivina:
* [http://deepthought.ttu.ee/it/vorgutarkvara/wav4121/ Rak. loogika süvakursus: vanad materjalid]
* [http://www.cs.miami.edu/~tptp/CASC/20/ systeeme leiad siit]
* [http://www.cs.miami.edu/~tptp/CASC/20/Systems.tgz ja otse siit]
* [http://cs.ttu.ee/kursused/wav4130/ vana teadmiste kursuse materjalid]
* [http://cs.ttu.ee/kursused/wav4130/ vana teadmiste kursuse materjalid]


'''Tehisintellektindus üldiselt'''
* MIT open courseware: [http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-034Spring-2005/LectureNotes/index.htm 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
** [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]
** [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
* RETE algoritm eksperts"usteemides: kuidas käib


'''Tehisintellektindus üldiselt'''
<!-- ** [http://www.tcs.hut.fi/~ini/ soome projekt] -->
 
'''Semantiline võrk: sissejuhatavad materjalid'''


* MIT open courseware: [http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-034Spring-2005/LectureNotes/index.htm AI loengumaterjalid]
* Alguseks:
** [http://www.w3.org/RDF/ RDF üldleht W3C-s]
** [http://www.w3.org/2001/sw/ semantilise võrgu üldleht W3C-s]
** [http://www.w3schools.com/rdf/default.asp rdf tutorial] w3school'st


'''Semantiline võrk'''
*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


* [http://www.w3.org/RDF/ RDF üldleht W3C-s]
* RDFS, OWL:
* [http://www.w3.org/2001/sw/ semantilise võrgu üldleht W3C-s]
** [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip Detailne RDF tutorial]
* [http://www.w3schools.com/rdf/default.asp rdf tutorial] w3school'st
** [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip Detailne RDFS tutorial]
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip Detailne RDF tutorial]
** [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip Detailne OWL tutorial]
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip Detailne RDFS tutorial]
** [http://www.hpl.hp.com/semweb/index.html Jena: reaalne soft]
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip Detailne OWL tutorial]

Viimane redaktsioon: 23. jaanuar 2008, kell 12:32

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:

Kirjandus

Kursuseid taustaks

Lisaks abistavaid materjale:

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

  • RETE algoritm eksperts"usteemides: kuidas käib


Semantiline võrk: sissejuhatavad materjalid