Tammet – 30. jaanuar 2008, kell 16:22

2008-01-30T16:22:34Z

Uus lehekülg

== NB! Tegu on 2007 aasta kevadsemestri arhiiviga, mitte hetkel loetava kursusega! ==

Ainekood: ITV0060 
Link: http://www.lambda.ee/index.php/Teadmiste_otsing,_formaliseerimine_ja_hoidmine ehk http://www.lambda.ee/index/itv0060 
Lektor: Tanel Tammet 
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223 
Kursuse materjalid eelmisest aastast [[itv0060 2006 arhiiv|leiad siit]] ja veel varasemad [http://cs.ttu.ee/kursused/wav4130/ leiad siit].

== Eksam ==

Järeleksam toimub neljapäeval 30 augustil ruumis VI-224 kell 10-13. Eksamile pääsemiseks on hiljemalt 29 augustil vaja registreerida ennast instituudi sekretäri Varje Vainu juures arvutuskeskus hoones ruumis 224.

Eksam toimus 23. mail kell 10.00.

Eksami teemad ja materjalid:

* RDF [http://www.w3.org/TR/rdf-primer/ RDF õpik], [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf ühe rdf tutoriali lisa: tabelid ja loogika], XML süntaksit ei pea peast teadma, peamised põhimõtted peaks olema selged
* RDFa: [[Media:portaalidekoosvoime.ppt]], http://www.w3.org/TR/xhtml-rdfa-primer/ või uuem http://www.w3.org/2006/07/SWD/RDFa/primer/
* Microformats: mis asi on, detaile ei pea mäletama, vt http://www.microformats.org
* Järelduste tegemine resolutsioonimeetodi näitel: http://wwwhomes.doc.ic.ac.uk/~sgc/teaching/v231/lecture8.html ja http://wwwhomes.doc.ic.ac.uk/~sgc/teaching/v231/lecture9.html, lisaks võib lugeda (ei ole otse kohustuslik) http://www.cs.miami.edu/~geoff/Courses/CS63S-05M/CS63SNotes.pdf
* SCL kiirülevaade: mis asi on. Vt http://www.ihmc.us/users/phayes/SCL_for_Harry.ppt
* Praktikumiülesande sisu oskamine: lihtsa andmebaasi-tüüpi teadmiste info kodeerimine RDFa-s ja mõne mõtestatud reegli lisamine: ise formaliseerida reeglid ja faktid, mis eksamil ette antakse.
* Freimiprobleem: kus tekib ja miks, mõni näide (kasvõi blocks worldi näitel). Blocks worldi ja freimiprobleemi näide otsi ise (abiks: Hayes ja McCarthy)
* Default loogika näited.
* Stringiotsingu klassikaline algoritm: Boyer Moore.
* Stringide indekseerimine otsingu jaoks.
* Termide indekseerimine.
* Kuidas kodeerida ja kasutada infot selle kohta, et keegi teab midagi.

== Aeg, koht, tulemus ==

Semester: kevad 
Tulemus: eksam 
Punkte: 3.5 

Loengud: Igal kolmapäeval kell 10.00-11.30 arvutuskeskuse ruumis IT-140. 
Harjutused: igal kolmapäeval paaritutel nädalatel kell 12.00-13.30
Paaritud nädalad algavad: 1 veebruar, 12 veebruar, 26 veebruar jne

Praktikumid annavad hinde aluseks olevatest punktidest kumbki 1/3, eksam samuti 1/3.

== Kursuse eesmärk ja lühikokkuvõte ==

Kursuse fookus on loogikareeglitega seostatud andmebaaside ja semantilise webi tehnoloogiatel. Teemad:
* andmebaaside ja loogika seos
* rdf(s), owl jms semantilise veebi keeled, nende seos xml-i ja html-ga
* erinevate mittestandardsete loogikasüsteemide kasutamine
* konkreetsed, praktiliseks kasutuseks mõeldud reeglikeeled ja -mootorid

Kursuses toodavad probleemid, lahendusvariandid, süsteemid jms baseeruvad kahel konkreetsel valdkonnal:

* infovahetus robotiparvedes.
* andmete lugemine, automaatne täiendamine, päringud annoteeritud veebilehtedelt

== Praktikumiülesanded ==

Praktilisi töid on kaks. Eksamile lubatakse ainult neid tudengeid, kes on mõlemad tööd realiseerinud. Hilinemine vähendab töö
väärtust eksamil poole võrra. Töid võtab juhendaja vastu praktikumiaegadel AK arvutiklassis: need tuleb töötavana ette näidata, ning veidi selgitada lähtekoodi.

Töid võib teha kas üksi või kaheinimeselistes gruppides.

=== Esimene praktiline töö ===

Tähtaeg: 14 märts. Soovitav teha varem.

Töö sisuks on realiseerida süsteem, mis suudab lugeda sisse
RDFa standardi põhiosade järgi annoteeritud html-i ja teisendada seda
rdf kolmikuteks. Näitelehtede tegemine on ülesande üks osa: selleks tuleb
valida vähemalt kolm erinevat reaalset veebilehte ja need (vähemalt osaliselt)
ära annoteerida. Rdf kolmikute süntaks on csv.

Loe:
* [[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/

=== Teine praktiline töö ===

Teise praktilise töö sisuks on esimesele praktilisele tööle täiendavalt
reeegli- ja päringusüsteemi ehitamine. Detailid ilmuvad veebruari lõpuks.

Loe siit: [[Teadmiste teine praktiline töö]]

== Loengud ==

;1. Loeng. Sissejuhatus ja ülevaade. RDFa ja sissejuhatus esimesse praktikumiülesandesse.
: Aeg: 7. veebruar.
:Loe
:* [[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/

;2. Loeng. Hariliku relatsioonilise baasi semantika.
: Aeg: 14. veebruar.
:* [http://www.w3.org/TR/rdf-primer/ RDF õpik]
;:* [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf ühe rdf tutoriali lisa: tabelid ja loogika]
:* Info harilikus relatsioonilises andmebaasis ja selle "harilik" tähendus
:* Relatsioonilises andmebaasis oleva info "harilik" tähendus loogika mõttes.
:* Keerukama info (disjunktsioonid, eitus, valemid) hoidmise viise relatsioonilises andmebaasis.

;3. Loeng. Andmete lugemine ja seostamine annoteeritud veebilehtedelt.
: Aeg: 22. veebruar.
: microformats ja nende sarnasused/erisused rdfa-ga
: loe: http://www.microformats.org

;4. Loeng. Esimest järku loogika kasutamine päringumootorites: resolutsioonimeetod kui põhialus
: Aeg: 29. veebruar.
:* Sissejuhatus: http://www.cs.miami.edu/~geoff/Courses/CS63S-05M/CS63SNotes.pdf
:* Alternatiivne sissejuhatus: Simon Coltoni kursuse materjalid http://wwwhomes.doc.ic.ac.uk/~sgc/teaching/v231/

;5. Loeng. Erinevad 1st järku loogika süntaksid ja täiendused: KIF, CL, restricted english jms.
: [http://logic.stanford.edu/kif/dpans.html KIF]
: [http://cl.tamu.edu/ CL üldlehekülg], [http://www.ihmc.us/users/phayes/SCL_for_Harry.ppt SCL vana presekas], [http://www.jfsowa.com/talks/clprop.htm kontekst] ja [http://xml.coverpages.org/ni2002-04-08-a.html ajalooline taust]
: [http://www.jfsowa.com/cg/index.htm CG]
: Draftid: [http://deepthought.ttu.ee/it/xstone/manuals/ecl.html ECL] ja [http://deepthought.ttu.ee/it/xstone/manuals/elm.html ELM]

;6. Loeng. Reeglimootorid, teisendajad, vahetükid andmebaasidele.
: Alustame teise praktikumiülesandega.
: Jätkame teise praktikumiülesandega.

;RDFS, OWL ja nende teisendus 1st järku loogikasse: keerukamad detailid.

X. Mitu loengut: roboti baasnäide, selle juures vajalikud andmed, reeglid, teisendused, keeled jne.
X. Mitu loengut: reegleid kasutavate ja xml-rdf andmebaaside tehnoloogia küsimused.

;8. Materjale täisteksti indeksite kohta

* Taust: stringiotsing: Boyer-Moore, vt http://en.wikipedia.org/wiki/Boyer-Moore
* Täistektsi otsingumeetodid pikemalt: http://www.lambda.ee/index.php/Pilt:Stringsearch2.ppt
* Täisteksti-indeksid: http://www.lambda.ee/index.php/Pilt:Fulltext_indexes.ppt
* Pikem presentatsioon erienvate indeksimeetodite kohta: http://www.lambda.ee/index.php/Pilt:String_Indexing.ppt

;9. Materjale termide indekseerimise kohta:

* Sissejuhatus http://www.lambda.ee/index.php/Pilt:Schulz_indexing_overview.pdf
* Path indexing http://www.lambda.ee/index.php/Pilt:Pathindexingcspp20.pdf
* Subsumption and context trees http://www.lambda.ee/index.php/Pilt:FastindexingctreesJAR.pdf
* Skip lists http://www.lambda.ee/index.php/Pilt:Skipliststpugh90skip.pdf

;10 Materjale teadmiste loogika kohta
* [http://sise.ttu.ee/it/vorgutarkvara/wav4130/ijcai93.ps pikk versioon] ja [http://sise.ttu.ee/it/vorgutarkvara/wav4130/ijcaitxt.ps lühem versioon], vaata ka [http://www.cs.wisc.edu/~ghost/ ghostscripti saiti .ps jaoks]

Abimaterjalid disjunktide kujule viimiseks (ei ole kohustuslik lugeda):

* Hea ülevaade: http://www.cs.miami.edu/~geoff/Papers/Journal/1996_SM96_SACJ.pdf
* FLOTTERi kohta master thesis http://www.dfki.de/vse/papers/rock95.ps.gz
* FLOTTERi kohta artikkel: http://www.dfki.de/vse/papers/nrw98.ps.gz



[[Category:Kursus]]

Itv0060 2007 arhiiv - Redigeerimiste ajalugu

Tammet – 30. jaanuar 2008, kell 16:22