Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
Resümee puudub
Resümee puudub
5. rida: 5. rida:
Kursuse materjalid eelmisest aastast [[itv0060 2006 arhiiv|leiad siit]] ja veel varasemad [http://cs.ttu.ee/kursused/wav4130/ leiad siit].
Kursuse materjalid eelmisest aastast [[itv0060 2006 arhiiv|leiad siit]] ja veel varasemad [http://cs.ttu.ee/kursused/wav4130/ leiad siit].


== <font color="red">Eksam</font> ==
Konsultatsioon:
* 15. mai kell 12.00 ruumis VI-122
Eksamiajad:
* 22. mai (esmaspäev)  kell 10.00 ruumis VI-122
* 29. mai (esmaspäev)  kell 10.00 ruumis VI-122




22. rida: 13. rida:
Punkte: 3.5<br>
Punkte: 3.5<br>


Loengud: Igal kolmapäeval kell 14.00-15.30, esialgu ruumis VI-122. <br>
Loengud: Igal kolmapäeval kell 10.00-11.30 arvutuskeskuse ruumis IT-140. <br>
<b>NB!</b> Alates 8. veebruarist toimuvad loengud <b>AK arvutiklassis IT-213h</b>, mitte ruumis VI-122.<br>
Harjutused: igal kolmapäeval paaritutel nädalatel kell 12.00-13.30
Harjutused: igal kolmapäeval paaritutel nädalatel kell 17.45-19.15, AK arvutiklassides IT-213d.
Paaritud nädalad algavad: 1 veebruar, 12 veebruar, 26 veebruar jne
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 eesmärk ja lühikokkuvõte ==


Kursuse fookus on semantilise webi tehnoloogiatel, ning kursus jaotub kolme suurde ossa:
Kursuse fookus on loogikareeglitega seostatud andmebaaside ja semantilise webi tehnoloogiatel. Teemad:
* Sem web baastehnoloogiad: andmete esitamise põhimõtted üldiselt, URL-kui-nimi, RDF, RDFS, OWL.
* andmebaaside ja loogika seos
* Lisavõimalustega loogikad (mittemonotoonne loogika, teadmiste loogika, tõenöosuslik loogika jms), muud täendavad peatükid, konkreetsed rakenduslikud aspektid.
* rdf(s), owl jms semantilise veebi keeled, nende seos xml-i ja html-ga
* Teksti-, RDF- ja XML-põhised viisid teadmiste baasdata hoidmisteks, indeksid, reeglite ja päringute kasutamine
* 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


== Loengud ==
== Loengud ==


;1. Loeng. Sissejuhatus ja ülevaade.
;1. Loeng. Sissejuhatus ja ülevaade.
:Aeg: 25 jaanuar.
RDFa ja sissejuhatus esimesse pratkikumiülesandesse.
 
: Aeg: 7. veebruar.
 
;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
:* Info harilikus relatsioonilises andmebaasis ja selle "harilik" tähendus
:* Relatsioonilises andmebaasis oleva info "harilik" tähendus loogika mõttes.
:* Relatsioonilises andmebaasis oleva info "harilik" tähendus loogika mõttes.
:* Keerukama info (disjunktsioonid, eitus, valemid) hoidmise viise relatsioonilises andmebaasis.
:* Keerukama info (disjunktsioonid, eitus, valemid) hoidmise viise relatsioonilises andmebaasis.


;2. Loeng. XML
:Aeg: 1. veebruar.
:* [http://cs.ttu.ee/kursused/itv0030/loeng/xmlbaas1.PPT XML sissejuhatav loeng]
:* [http://cs.ttu.ee/kursused/itv0030/loeng/xmlbaas2.PPT  XML loeng 2]
:* [http://www.w3.org/TR/2004/REC-xml-20040204/ XML 1.0 standard].
:* [http://www.w3.org/TR/REC-xml-names/  XML namespaces]
:* [http://www.w3schools.com/xml/default.asp XML õpetus (w3schools)]
:* [http://www.zvon.org/xxl/XMLTutorial/General/book.html  XML õpetus (zvon)]


;3. Loeng. RDF.
: Aeg: 8. 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]


; Praktikum
: Aeg: 8. veebruar
: Vaatasime: [http://www.xmlsoft.org libxml2]


;4. Loeng. RDFS ja tema teisendus 1st järku loogikasse.
 
: Aeg: 15. veebruar.
;3.  Andmete lugemine ja seostamine annoteeritud veebilehtedelt.
: Olulisi linke:
 
:* [http://www.w3.org/TR/rdf-primer/#rdfschema  RDF õpiku rdf schema peatükk] 
 
:* [http://www.w3.org/TR/rdf-schema/ eraldi rdfs tekst]
 
:* [http://www.w3.org/TR/2003/NOTE-lbase-20031010/  Lbase: üks RDF(S) teisendusviis loogikasse]
;4. Erinevad 1st järku loogika süntaksid ja täiendused: KIF, CL, restricted english jms.
:* [http://www.w3.org/TandS/QL/QL98/pp/metalog.html varasemaid RDF(S)i  loogikasse teisendamise ideid (Metalog)]
 
:* [http://www.w3.org/RDF/Metalog/docs/2.0b/guide/index.html lisainfot Metalogi kohta]
 
 
;5. Loeng. RDFS, OWL ja nende teisendus 1st järku loogikasse.
 
 




;5. Loeng. Loogika ja rakendamine blocks worldi näitel.
: Aeg: 22. 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/ vana gandalf], [http://www-unix.mcs.anl.gov/AR/otter/ vana otter]


;6. Loeng. Loogika ja rakendamine blocks worldi näitel. Jätk.
;6. Mitu loengut: roboti baasnäide, selle juures vajalikud andmed, reeglid, teisendused, keeled jne.
: Aeg: 1. märts.
: Näitena [[otteri süntaksis planeerimisülesanne]] [http://www.tptp.org TPTP kogumikust] ja [[väike võrdusloogika näide listidega]]
: Loe lisaks [http://aima.cs.berkeley.edu/newchap11.pdf 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, [[Media:defaul_logic_tutorial.pdf| 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 <font color="red">lükkub edasi</font> õppejõu haigestumise tõttu.
;7. Mitu loengut: reegleid kasutavate ja xml-rdf andmebaaside tehnoloogia küsimused.
: Aeg: 22. märts.




;11. Loeng.
Edasiste loengute sisu ja edasiliikumise tempo täpsustub jooksvalt.
: Aeg: 12 aprill.
: Sissejuhattus teise praktikumi: [[Teadmised praktikum 2]]
: Stringiotsing: Boyer-Moore, vt http://en.wikipedia.org/wiki/Boyer-Moore


;Teadmiste loogika.
; Materjal: [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]




Redaktsioon: 12. veebruar 2007, kell 16:57

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 ja veel varasemad leiad siit.


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


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

Loengud

1. Loeng. Sissejuhatus ja ülevaade.
RDFa ja sissejuhatus esimesse pratkikumiülesandesse.
Aeg: 7. veebruar.
2. Loeng. Hariliku relatsioonilise baasi semantika.
Aeg: 14. veebruar.
  • 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. Andmete lugemine ja seostamine annoteeritud veebilehtedelt.


4. Erinevad 1st järku loogika süntaksid ja täiendused
KIF, CL, restricted english jms.


5. Loeng. RDFS, OWL ja nende teisendus 1st järku loogikasse.



6. Mitu loengut
roboti baasnäide, selle juures vajalikud andmed, reeglid, teisendused, keeled jne.



7. Mitu loengut
reegleid kasutavate ja xml-rdf andmebaaside tehnoloogia küsimused.


Edasiste loengute sisu ja edasiliikumise tempo täpsustub jooksvalt.


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: 10. mai.

Töö sisuks on realiseerida süsteem, mis kasutab esimeses töös realiseeritud komponente ja suudab vastata (sisseloetud fakte ja reegleid kasutades) kasutaja antud päringule.

Sisendiks on (striped) XML, RDF, RDFS ja ELM failid, mis tuleb enne tõestajale andmist teisendada ELM failideks ja siis üheks suureks failiks kokku konkateneerida.

Konkreetsemalt loe Teadmised praktikum 2 lehelt.

Olulised materjalid lugemiseks

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