Tehisintellektisüsteemid internetis: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
Resümee puudub
Resümee puudub
 
(ei näidata sama kasutaja 36 vahepealset redaktsiooni)
1. rida: 1. rida:
 
Ainekood: <b>ITV9170</b><br>
Link: http://www.lambda.ee/index/Tehisintellektisüsteemid_internetis ehk http://www.lambda.ee/index/itv9170<br>
Lektor: Tanel Tammet<br>
Lektor: Tanel Tammet<br>
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>
6. rida: 7. rida:


NB! Kursus on esmajoones iseõppekursus doktorandidele ja magistrandidele.
NB! Kursus on esmajoones iseõppekursus doktorandidele ja magistrandidele.
Lektor peab loenguid kord kuus, eraldi kokkulepitud ajal. Praktikumitööde
juhendamine on individuaalne, ühiseid praktikumiaegu pole.


Semester: sügis<br>
Semester: sügis<br>
Tulemus: kirjalik eksam, mille eelduseks ja peamiseks punktiosaks on praktikumiülesanded.<br>
Tulemus: kirjalik eksam, mille üheks  punktiosaks on praktikumiülesanded.<br>
Punkte: 5<br>
Punkte: 5<br>
<p>
== Eksamikorraldus  ==
<b>Eelnädala järeleksam:</b> 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 '''
* [http://cs.ttu.ee/kursused/wav4130/Xml/index.html  xml baaskursuse materjalid]
* [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]
'''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
<!-- ** [http://www.tcs.hut.fi/~ini/ soome projekt] -->
'''Semantiline võrk: sissejuhatavad materjalid'''
* 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
*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


Kursuse materjalid siin lehel on üpris esialgsed!
*  RDFS, OWL:
** [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdf.zip Detailne RDF tutorial]
** [http://sise.ttu.ee/it/vorgutarkvara/wav4130/rdfs.zip Detailne RDFS tutorial]
** [http://sise.ttu.ee/it/vorgutarkvara/wav4130/owl.zip Detailne OWL tutorial]
** [http://www.hpl.hp.com/semweb/index.html Jena: reaalne soft]

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