Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
Resümee puudub
Resümee puudub
4. rida: 4. rida:
Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>
Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223<br>
Archives of previous years: [[itv0060 20010 arhiiv|2010]], [[itv0060 2009 arhiiv|2009]], [[itv0060 2008 arhiiv|2008]], [[itv0060 2007 arhiiv|2007]],  [[itv0060 2006 arhiiv|2006]], [http:/cs.ttu.ee/kursused/wav4130/ older].
Archives of previous years: [[itv0060 20010 arhiiv|2010]], [[itv0060 2009 arhiiv|2009]], [[itv0060 2008 arhiiv|2008]], [[itv0060 2007 arhiiv|2007]],  [[itv0060 2006 arhiiv|2006]], [http:/cs.ttu.ee/kursused/wav4130/ older].
== <font color="red">Eelnadal</font> ==
Eelnadala jareltood kell 10.00 reedel, 27 augustil ruumis VII-131.
== <font color="red">Exam results</font> ==
Nimi Matr  Eks punkte kokku punkte Hinne
* MM 41 89  4
* RM 11050 47 96  5
* MS 93047 35 82  4
* MT 93033 30 76  3
* AS 93059 47 96  5
* MH 930646 32 78  3
* BS 93046 28 73  3
* AJ 960650 25 70  3
* KU 93038 47 97  5
* SS 993072 18 61  2
* MS 93050 45 96  5
Two alternative dates:
* 28 May: 12.00-15.00 room VI-201
* 4 June: 12.00-15.00 room VI-229


== Time, place, result ==
== Time, place, result ==
37. rida: 11. rida:
Points: 3.5<br>
Points: 3.5<br>


Lectures: every Monday 15.00-16.30, room IT-137a<br>
Lectures: every Monday 12.00-13.30, room IT-137a<br>
Practical work: every Monday after the lecture: 16.45-17.30<br>
Practical work: Mondays on odd weeks 10.00-11.30, room IT-213H<br>


Practical work will give 40% and exam 60% of points underlying the final grade. There will be an optional (hard) third practical work: choosing this will give 60% from labs and 40% from exam.
Practical work will give 40% and exam 60% of points underlying the final grade.  




47. rida: 21. rida:
* two labs on the same theme.
* two labs on the same theme.
* optional third lab
* optional third lab


=== First lab ===  
=== First lab ===  


Date: 10 March.
TBA
 
Implement a system which can read html annotated according to the RDFa standard.
The data read should be saved and printed in several formats:
* csv
* rdf xml syntax
 
NB! You may not use a ready-made RDFa parser/converter. Instead, use a html/xml parser and build the RDFa converter on top of that. Using xslt is also an OK option. Programming language and the html/xml parser choice is free.
 
You will have to find suitable annotated html pages to demonstrate your solution.
 
Additional reading:
 
* http://www.w3.org/TR/rdf-primer/ RDF tutorial first parts: background for RDFa
* http://en.wikipedia.org/wiki/RDFa wikipedia article on RDFa
* http://www.w3.org/TR/xhtml-rdfa-primer/ relatively easy-to-read official RDFa primer
* http://www.youtube.com/watch?v=ldl0m-5zLz4 and http://www.youtube.com/watch?v=mxE3FeOyS-E video tutorials of RDFa
* http://www.w3.org/TR/rdfa-syntax official standard
* [[Media:portaalidekoosvoime.ppt]] või pdf kujul [[Media:portaalidekoosvoime.pdf]]  (Estonian)
 
You may also look at some practical non-obligatory programming suggestions in Estonian: [[rdfa esimese praksi soovitusi]].


=== Second lab ===
=== Second lab ===


Using the results of first lab for rule-based derivation of new information.
TBA
 
[[Details of the second lab: rule system]] for tourist suggestions.


=== Third lab ===
=== Third lab ===


Third lab is optional. If you do it, it will give additional 20% of points underlying the final grade. There are two alternative ways to do the third lab: select yourself:
TBA
 
* First alternative: download and use Wordnet to automatically create additional rules used in the second lab. These rules would mostly probably stem from the Wordnet taxonomies. You do not have to create rules for all the wordnet taxonomies: select a sensible subset which would be usable for the second lab.
* Second alternative: use Attempto to create a system such that you can write rules and/or facts and/or queries for the second lab in restricted english. These restricted english sentences have to be automatically converted to the form usable by Otter/Plan9.
 
== Materials for the exam ==
 
Use and read the following
 
 
=== RDF, RDFS, OWL and conversion to 1st order logic ===
 
Understand RDF and RDFS:
 
* [http://en.wikipedia.org/wiki/Resource_Description_Framework RDF wikipedia]
* [http://www.w3.org/TR/rdf-primer/ w3c RDF primer]
 
Understand basics of owl:
 
* [http://en.wikipedia.org/wiki/Web_Ontology_Language OWL wikipedia]
* [http://www.w3.org/TR/owl-guide/ w3c OWL guide]
 
=== RDFa, reading and using RDF data from web pages ===
 
Understand main parts:
 
* [http://en.wikipedia.org/wiki/RDFa wiki intro]
* [[Media:portaalidekoosvoime.ppt]] or as pdf [[Media:portaalidekoosvoime.pdf]]
* [http://www.w3.org/2006/07/SWD/RDFa/primer/ w3c rdfa primer]
* [http://www.microformats.org microformats: a similar technology]
 
=== RDF relation to logic ===
 
Understand a bit of:
 
* [http://www.w3.org/TR/2003/NOTE-lbase-20031010/ Hayes & Guha Lbase]
 
=== Semantics of ordinary relational base ===
 
* [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf rdf tutorial addendum for logic and dbases]
 
===  First order logic in query engines and planning ===
 
* [[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes: just for background, no questions in exam]]
* [http://www.ee.pdx.edu/~mperkows/May4/005.Ch11-planning.ppt planning and blocks world]
* [[blocks world axiom/query examples from lecture]]
 
===  Different languages for 1st order logic:  KIF, CL, restricted english jms ===
 
* [http://cl.tamu.edu/ CL main page],
* [http://attempto.ifi.unizh.ch/site/pubs/papers/phd_kaljurand.pdf Attempto restricted english]


=== Uncertain knowledge logic ===
* [http://plato.stanford.edu/entries/logic-nonmonotonic/ nonmonotonic logic]
* [http://en.wikipedia.org/wiki/Default_logic default logic]
=== Traditional database indexes ===
* [http://www.lambda.ee/index.php/Pilt:IndexNotes04.ppt G. Molina lecture 4]
* [http://www.lambda.ee/index.php/Pilt:IndexNotes05.ppt G. Molina lecture 5]
===  Fulltext indexes ===
* [http://www.lambda.ee/index.php/Pilt:Fulltext_indexes.ppt good intro and overview]
===  Term indexes ===
Understand basics of discrimination tree trie-type term indexes and path indexes from
* [http://www.lambda.ee/index.php/Pilt:Mccuneindexing.pdf mccune paper]


== Course structure ==
== Course structure ==
173. rida: 55. rida:
Different property/value pair representations
Different property/value pair representations


=== Introduction to RDFa ===
=== Relational databases, logic, RDF and RDFa ===


1 lecture
2 lectures


=== Relational databases, logic and RDF ===
* [http://en.wikipedia.org/wiki/Resource_Description_Framework RDF wikipedia]
* [http://www.w3.org/TR/rdf-primer/ w3c RDF primer]
* [http://en.wikipedia.org/wiki/RDFa wiki intro]
* [[Media:portaalidekoosvoime.ppt]] or as pdf [[Media:portaalidekoosvoime.pdf]]
* [http://www.w3.org/2006/07/SWD/RDFa/primer/ w3c rdfa primer]
* [http://www.microformats.org microformats: a similar technology]


1 lecture
* [http://www.w3.org/TR/2003/NOTE-lbase-20031010/ Hayes & Guha Lbase]
* [http://cs.ttu.ee/kursused/wav4130/rdftutapp.pdf rdf tutorial addendum for logic and dbases]


=== Logic ===
=== Logic ===
187. rida: 75. rida:
* proofs and deriving new information
* proofs and deriving new information
* automated reasoning
* automated reasoning
* [[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes: just for background, no questions in exam]]


=== Planning  ===
=== Planning  ===


With logic and reasoning-based methods.
With logic and reasoning-based methods.
* [http://www.ee.pdx.edu/~mperkows/May4/005.Ch11-planning.ppt planning and blocks world]
* [[blocks world axiom/query examples from lecture]]


=== Specific versions of 1st order logic and rule systems ===
=== Specific versions of 1st order logic and rule systems ===
200. rida: 94. rida:
* cyc
* cyc
* restricted english systems
* restricted english systems
* [http://cl.tamu.edu/ CL main page],
* [http://attempto.ifi.unizh.ch/site/pubs/papers/phd_kaljurand.pdf Attempto restricted english]


=== RDFS and OWL ===
=== RDFS and OWL ===
RDFS
* [http://en.wikipedia.org/wiki/Resource_Description_Framework RDF wikipedia]
* [http://www.w3.org/TR/rdf-primer/ w3c RDF primer]
Understand basics of owl:
* [http://en.wikipedia.org/wiki/Web_Ontology_Language OWL wikipedia]
* [http://www.w3.org/TR/owl-guide/ w3c OWL guide]


=== Probabilistic and default reasoning ===
=== Probabilistic and default reasoning ===
* [http://plato.stanford.edu/entries/logic-nonmonotonic/ nonmonotonic logic]
* [http://en.wikipedia.org/wiki/Default_logic default logic]


=== Practical reasoning with procedural attachments: robot example ===
=== Practical reasoning with procedural attachments: robot example ===
213. rida: 123. rida:
=== Search and indexing ===
=== Search and indexing ===


* [http://www.lambda.ee/index.php/Pilt:IndexNotes04.ppt G. Molina lecture 4]
* [http://www.lambda.ee/index.php/Pilt:IndexNotes05.ppt G. Molina lecture 5]
* [http://www.lambda.ee/index.php/Pilt:Fulltext_indexes.ppt good intro and overview]
* [http://www.lambda.ee/index.php/Pilt:Mccuneindexing.pdf mccune paper about term indexes]
<!--
=== Learning ===
=== Learning ===
-->


<!--
<!--

Redaktsioon: 30. jaanuar 2011, kell 21:39

Code: ITV0060
Link: http://www.lambda.ee/index.php/Teadmiste_otsing,_formaliseerimine_ja_hoidmine or http://www.lambda.ee/index/itv0060
Lecturer: Tanel Tammet
Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223
Archives of previous years: 2010, 2009, 2008, 2007, 2006, [http:/cs.ttu.ee/kursused/wav4130/ older].

Time, place, result

Semester: spring
Grading: exam
Points: 3.5

Lectures: every Monday 12.00-13.30, room IT-137a
Practical work: Mondays on odd weeks 10.00-11.30, room IT-213H

Practical work will give 40% and exam 60% of points underlying the final grade.


Practical work

  • two labs on the same theme.
  • optional third lab

First lab

TBA

Second lab

TBA

Third lab

TBA


Course structure

Intro and paradigms of knowledge representation

1 lecture.

Overview of knowledge representation: http://en.wikipedia.org/wiki/Knowledge_representation

  • Procedural
  • Declarative
    • logic
    • relational, network, object databases
    • semantic networks
    • frame systems
    • property/value pairs
    • rule/expert systems
    • rdfs and owl

Different property/value pair representations

Relational databases, logic, RDF and RDFa

2 lectures

Logic

  • propositional, first order, higher order
  • semantics/models
  • proofs and deriving new information
  • automated reasoning


Planning

With logic and reasoning-based methods.

Specific versions of 1st order logic and rule systems

  • KIF
  • CL
  • ontologies
  • wordnet
  • cyc
  • restricted english systems

RDFS and OWL

RDFS

Understand basics of owl:

Probabilistic and default reasoning

Practical reasoning with procedural attachments: robot example

Representing time, epistemics, context

Personalized suggestions with probabilistic rules

Search and indexing


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