Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel
Resümee puudub |
Resümee puudub |
||
| 4. rida: | 4. rida: | ||
Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br> | Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br> | ||
Kursuse materjalid eelmisest aastast [http://cs.ttu.ee/kursused/wav4130/ leiad siit]. | Kursuse materjalid eelmisest aastast [http://cs.ttu.ee/kursused/wav4130/ leiad siit]. | ||
== NB! == | |||
22 märtsi loeng <font color="red">lükkub edasi</font> õppejõu haigestumise tõttu. Asendusaja lepime kokku 29 märtsi loengul. | |||
== Aeg, koht, tulemus == | == Aeg, koht, tulemus == | ||
| 75. rida: | 79. rida: | ||
: Vaata ja katseta: http://www.dbai.tuwien.ac.at/proj/dlv/ | : Vaata ja katseta: http://www.dbai.tuwien.ac.at/proj/dlv/ | ||
: [[dlv näiteid loengust]] | : [[dlv näiteid loengust]] | ||
;8. Loeng. Default loogika ja DLV süsteemi kasutamine blocks worldi näitel. | |||
: Aeg: 15. märts. | |||
: Vaata ja katseta blocks world näidete ja aksiomaatikaga saidilt: http://www.dbai.tuwien.ac.at/proj/dlv/ | |||
: | |||
;9. Loeng <font color="red">lükkub edasi</font> õppejõu haigestumise tõttu. | |||
: Aeg: 22. märts. | |||
: Asendusaja lepime kokku 29 märtsi loengul. | |||
== Praktikumiülesanded == | == Praktikumiülesanded == | ||
Redaktsioon: 22. märts 2006, kell 10:43
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 leiad siit.
NB!
22 märtsi loeng lükkub edasi õppejõu haigestumise tõttu. Asendusaja lepime kokku 29 märtsi loengul.
Aeg, koht, tulemus
Semester: kevad
Tulemus: eksam
Punkte: 3.5
Loengud: Igal kolmapäeval kell 14.00-15.30, esialgu ruumis VI-122.
NB! Alates 8. veebruarist toimuvad loengud AK arvutiklassis IT-213h, mitte ruumis VI-122.
Harjutused: igal kolmapäeval paaritutel nädalatel kell 17.45-19.15, AK arvutiklassides IT-213d.
Paaritud nädalad algavad: 23 jaanuar, 6 veebruar, 20 veebruar, ...
NB! 23. jaanuaril harjutust ei toimu: toimub ainult loeng, kell 14.00-15.30.
Kursuse eesmärk ja lühikokkuvõte
Kursuse fookus on semantilise webi tehnoloogiatel, ning kursus jaotub kolme suurde ossa:
- Sem web baastehnoloogiad: andmete esitamise põhimõtted üldiselt, URL-kui-nimi, RDF, RDFS, OWL.
- Lisavõimalustega loogikad (mittemonotoonne loogika, teadmiste loogika, tõenöosuslik loogika jms), muud täendavad peatükid, konkreetsed rakenduslikud aspektid.
- Teksti-, RDF- ja XML-põhised viisid teadmiste baasdata hoidmisteks, indeksid, reeglite ja päringute kasutamine
Loengud
- 1. Loeng. Sissejuhatus ja ülevaade.
- Aeg: 25 jaanuar.
- 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.
- 2. Loeng. XML
- Aeg: 1. veebruar.
- 3. Loeng. RDF.
- Aeg: 8. veebruar.
- Praktikum
- Aeg: 8. veebruar
- Vaatasime: libxml2
- 4. Loeng. RDFS ja tema teisendus 1st järku loogikasse.
- Aeg: 15. veebruar.
- Olulisi linke:
- 5. Loeng. Loogika ja rakendamine blocks worldi näitel.
- Aeg: 22. veebruar.
- Olulisi linke: blocks Dave saidil, McCarthy blocks world ja situatsioonid, vana gandalf, vana otter
- 6. Loeng. Loogika ja rakendamine blocks worldi näitel. Jätk.
- Aeg: 1. märts.
- Näitena otteri süntaksis planeerimisülesanne TPTP kogumikust ja väike võrdusloogika näide listidega
- Loe lisaks planeerimise peatükki Russelli ja Norvigi õpikust.
- 7. Loeng. Default loogika.
- Aeg: 8. märts.
- Loe http://en.wikipedia.org/wiki/Default_logic, http://en.wikipedia.org/wiki/Closed_World_Assumption, tutorial default logicust.
- Vaata ja katseta: http://www.dbai.tuwien.ac.at/proj/dlv/
- dlv näiteid loengust
- 8. Loeng. Default loogika ja DLV süsteemi kasutamine blocks worldi näitel.
- Aeg: 15. märts.
- Vaata ja katseta blocks world näidete ja aksiomaatikaga saidilt: http://www.dbai.tuwien.ac.at/proj/dlv/
- 9. Loeng lükkub edasi õppejõu haigestumise tõttu.
- Aeg: 22. märts.
- Asendusaja lepime kokku 29 märtsi loengul.
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: 15 märts. Töö sisuks on realiseerida süsteem, mis suudab lugeda sisse
- nn. 'striped' XML-i ja teisendada seda XML süntaksis RDF-i.
- RDFS-i XML süntaksis (või selle mõistlikku alamhulka) ja teisendada loetud fail elm keeles olevasse faili, mida tõestaja elmgandalf suudab sisse lugeda. elmgandalfi pole antud töös esialgu vaja.
Soovitusi:
- Dijkstrasse sisselogimise õpetus (sqlite pole vaja installeerida!) on antud siin
- Elm keele kirjeldus on antud siin.
- C keelest tasutb kasutada " libxml2 teeki.
- Naiteprogramm, mis kasutab xpathi. Proovi näiteks:
./xpath2 'http://www.w3.org/TR/2004/REC-owl-guide-20040210/wine.rdf' '/rdf:RDF' minutekst
NB! RDFS ja XML teisendamine kasutab ainult väga piiratud osa elm keelest.
Teine praktiline töö
Tähtaeg: 1. mai.
Töö sisuks on realiseerida süsteem, mis kasutab esimeses töös realiseeritud komponente ja suudab:
- lugeda võrgust sisse metareeglite faili: millised teadmisbaasid kus URL-del on antud.
- lugeda kasutajalt päringut.
- analüüsida päringut metareeglite faili abil ja tuvastada, millistelt URL-delt tuleks datat ja reegleid just selle küsimuse jaoks kasutada.
- lugeda sisse eelmises punktis tuvastatud URL-del antud faktid ja reeglid.
- vastata (sisseloetud fakte ja reegleid kasutades) kasutaja antud päringule.
Detailsem info, vajalikud tõestajate versioonid ja täiendused antakse märtsikuus.