Tammet – 12. veebruar 2007, kell 14:03

2007-02-12T14:03:01Z

Uus lehekülg

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 [http://cs.ttu.ee/kursused/wav4130/ leiad siit].

NB! Tegu on 2006 kevadsemestri materjalide arhiiviga, mitte kehtivate kursusematerjalidega!!

== Eksam ==

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

== 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.
:* [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.
: 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]
:* [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. 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.
: 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 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

;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]

== 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

* [http://www.w3.org/2001/10/stripes/ nn. 'striped' XML-i] ja teisendada seda XML süntaksis [http://www.w3.org/TR/rdf-primer/ RDF-i].
* [http://www.w3.org/TR/rdf-primer/ 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 [[Ab admin praktikum 1 | antud siin]]
* Elm keele kirjeldus [http://deepthought.ttu.ee/it/xstone/manuals/elm.html on antud siin].
* C keelest tasutb kasutada [http://www.xmlsoft.org" libxml2] teeki.
* [[Teadmiste kursuse naiteprogramm 1 | Naiteprogramm]], mis kasutab xpathi. Proovi näiteks:
<pre>
./xpath2 'http://www.w3.org/TR/2004/REC-owl-guide-20040210/wine.rdf' '/rdf:RDF' minutekst
</pre>

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 ==

* [http://www.w3.org/TR/rdf-primer/ RDF õpik]
* [http://www.w3.org/2001/10/stripes/ nn. 'striped' XML]
* [http://www.mulberrytech.com/Extreme/Proceedings/html/2004/Sperberg-McQueen01/EML2004Sperberg-McQueen01.html On mapping from colloquial XML to RDF using XSLT]
* [http://www.xml.com/pub/a/2004/09/01/tr.html XML to RDF]

[[Category:Kursus]]

Itv0060 2006 arhiiv - Redigeerimiste ajalugu

Tammet – 12. veebruar 2007, kell 14:03