Tehisintellektisüsteemid internetis: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
Resümee puudub
 
Resümee puudub
 
(ei näidata sama kasutaja 37 vahepealset redaktsiooni)
1. rida: 1. rida:
Kursuse sisu on hetkel esialgne
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>
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>
 
== Aeg, koht, tulemus ==
 
NB! Kursus on esmajoones iseõppekursus doktorandidele ja magistrandidele.
 
Semester: sügis<br>
Tulemus: kirjalik eksam, mille üheks  punktiosaks on praktikumiülesanded.<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
 
*  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

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