Tehisintellektisüsteemid internetis: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatus
PResümee puudub
Resümee puudub
 
(ei näidata sama kasutaja 29 vahepealset redaktsiooni)
7. 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>


Kursuse materjalid siin lehel on üpris esialgsed!


== Eksamikorraldus  ==


== Soovitav kirjandus ==
<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 '''
''' Kursuseid taustaks '''


* [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]


'''Tehisintellektindus üldiselt'''
* 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] -->


* MIT open courseware: [http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-034Artificial-IntelligenceSpring2003/Readings/index.htm      artificial intelligence] loengumaterjalid
'''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


'''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

Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Tehisintellektisüsteemid_internetis&oldid=7787"