Teadmiste otsing, formaliseerimine ja hoidmine
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!
19 aprilli loeng lükkub edasi, kuna õppejõud on USA-s NATO IST paneeli koosolekul.
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.
- 11. Loeng.
- Aeg: 12 aprill.
- Sissejuhattus teise praktikumi: Teadmised praktikum 2
- Stringiotsing: Boyer-Moore, vt http://en.wikipedia.org/wiki/Boyer-Moore
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.
Konkreetsemalt loe Teadmised praktikum 2 lehelt.