Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
Resümee puudub
Resümee puudub
63. rida: 63. rida:
;5. Loeng. Loogika ja rakendamine blocks worldi näitel.
;5. Loeng. Loogika ja rakendamine blocks worldi näitel.
: Aeg: 15. veebruar.
: Aeg: 15. veebruar.
: Olulisi linke: [http://www.cs.cf.ac.uk/Dave/AI2/node116.html#SECTION000133000000000000000 blocks Dave saidil], [http://www-formal.stanford.edu/jmc/approximate/node6.html McCarthy blocks world ja situatsioonid], [http://www.ttu.ee/it/gandalf/ gandalf]
: Olulisi linke: [http://www.cs.cf.ac.uk/Dave/AI2/node116.html#SECTION000133000000000000000 blocks Dave saidil], [http://www-formal.stanford.edu/jmc/approximate/node6.html McCarthy blocks world ja situatsioonid], [http://www.ttu.ee/it/gandalf/ vana gandalf]


== Praktikumiülesanded ==
== Praktikumiülesanded ==

Redaktsioon: 22. veebruar 2006, kell 16:59

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.

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: 15. veebruar.
Olulisi linke: blocks Dave saidil, McCarthy blocks world ja situatsioonid, vana gandalf

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: 

  ./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.


Olulised materjalid lugemiseks

Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Teadmiste_otsing,_formaliseerimine_ja_hoidmine&oldid=845"