Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
Resümee puudub
Resümee puudub
53. rida: 53. rida:
== Lectures  ==
== Lectures  ==


=== Declarative and procedural representations ===
=== Declarative and procedural representations. Notes on relational databases. ===


Lecture materials:
Lecture materials:
59. rida: 59. rida:
* [[Media:Kr_plain_data_db_logic.ppt | relation of plain data in databases to logic & representing complex structures in databases ]]
* [[Media:Kr_plain_data_db_logic.ppt | relation of plain data in databases to logic & representing complex structures in databases ]]


=== Databases: meaning and representation of facts ===
=== Databases: SQL and NoSQL: meaning and representation of facts ===


Lecture materials:
Lecture materials:
* [[Media:Kr_schemaless.pdf|key/value pairs and rdf, compared to the relational model]]  
* [[Media:Kr_schemaless.pdf|key/value pairs and rdf, compared to the relational model]]  
=== NoSQL databases ===
Not for exam.
* [[Nosql links and notes]]
* [[Nosql links and notes]]


=== HTML annotations. RDFa, reading and using RDF data from web pages. Starting RDFs ===
=== HTML annotations. Microformats, microdata, RDFa, Starting RDFs ===
 
For exam: no xml syntax necessary. Syntax
unimportant, except for RDFa.


Lecture materials:
Lecture materials:
85. rida: 77. rida:
* [http://www.w3.org/TR/xhtml-rdfa-primer/ w3c rdfa primer (for exam: understand the basics, not all details)
* [http://www.w3.org/TR/xhtml-rdfa-primer/ w3c rdfa primer (for exam: understand the basics, not all details)


=== RDFs and owl OWL ===
=== RDFs and OWL ===


* [[Notes about RDF and OWL: logical meaning]] (for exam: you should understand this!)
* [[Notes about RDF and OWL: logical meaning]]


Understand RDFS:
Understand RDFS:
(for exam: you should understand the core principles of rdfs)


Lecture material:
Lecture material:
101. rida: 91. rida:


Understand basics of owl:
Understand basics of owl:
(for exam: you should understand the core principles of owl, not the details below here)


* [http://en.wikipedia.org/wiki/Web_Ontology_Language OWL wikipedia]
* [http://en.wikipedia.org/wiki/Web_Ontology_Language OWL wikipedia]
115. rida: 103. rida:
Start looking at interesting ontologies:
Start looking at interesting ontologies:


* [http://www.ontologyportal.org/ SUMO] (not necessary for exam)
* [http://www.ontologyportal.org/ SUMO]
 
<!--
 
=== RDF, RDFS, OWL and conversion to 1st order logic ===
 
Lecture material:
* [[Media:Kr_rdfs.pdf|RDFS: rdf schema]] and as [[Media:Kr_rdfs.ppt|ppt]]
 
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]
 
Notes from lecture about RDF relation to logic:
* [[Notes about RDF and OWL: logical meaning]]
 
Understand a bit of:
* [http://www.w3.org/TR/2003/NOTE-lbase-20031010/ Hayes & Guha Lbase]
 
-->


=== Rules in logic: apps in planning, robotics, ... ===
=== Rules in logic: apps in planning, robotics, ... ===
For exam: you should be able to encode a small blocks world planning example and solve it. The details below "see also" are not necessary, but the last example is useful.


Lecture material:
Lecture material:
154. rida: 115. rida:
* [http://www.ee.pdx.edu/~mperkows/May4/005.Ch11-planning.ppt planning and blocks world]
* [http://www.ee.pdx.edu/~mperkows/May4/005.Ch11-planning.ppt planning and blocks world]
* [[blocks world axiom/query examples from lecture]]
* [[blocks world axiom/query examples from lecture]]
<!--
===  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]]
-->


=== Logic for uncertain knowledge ===
=== Logic for uncertain knowledge ===
For the exam: you should be able to create and solve small examples with default logic.


* [http://plato.stanford.edu/entries/logic-nonmonotonic/ nonmonotonic logic] Not necessary for exam.
* [http://plato.stanford.edu/entries/logic-nonmonotonic/ nonmonotonic logic] Not necessary for exam.
* [http://en.wikipedia.org/wiki/Default_logic default logic] For exam: main material for default logic.
* [http://en.wikipedia.org/wiki/Default_logic default logic] For exam: main material for default logic.
* [http://sc.snu.ac.kr/courses/2008/spring/pg/krr/Lectures/Lecture11/Lec11.ppt Reasoning with Conflicting Knowledge] Helpful additional material.
* [http://sc.snu.ac.kr/courses/2008/spring/pg/krr/Lectures/Lecture11/Lec11.ppt Reasoning with Conflicting Knowledge] Helpful additional material.
For the exam: you should be able to create and solve small examples with default logic.


=== Fuzzy and probabilistic logic ===
=== Fuzzy and probabilistic logic ===
For the exam: understand the differences between fuzzy and probabilistic logic and be able to present small examples.


* [[Media:Uncertain_prob_fuzzy.ppt‎|Uncertain_prob_fuzzy.ppt‎]] Intro.
* [[Media:Uncertain_prob_fuzzy.ppt‎|Uncertain_prob_fuzzy.ppt‎]] Intro.
* [[Media:Vienna_tanel.pdf|Vienna_tanel_2.pdf]] Additional examples and combining.
* [[Media:Vienna_tanel.pdf|Vienna_tanel_2.pdf]] Additional examples and combining.
For the exam: understand the differences between fuzzy and probabilistic logic and be able to present small examples.


=== Logic of belief and knowledge ===
=== Logic of belief and knowledge ===
* [[Media:Ijcai93.pdf|Ijcai93.pdf]] Overview.


For the exam: understand referential transparency and core ideas about encoding belief and knowledge. Modal logic not necessary for the exam.
For the exam: understand referential transparency and core ideas about encoding belief and knowledge. Modal logic not necessary for the exam.
* [[Media:Ijcai93.pdf|Ijcai93.pdf]] Overview.


=== Indexes: intro and mainstream ===
=== Indexes: intro and mainstream ===


Traditional database indexes incl B+ tree:
Traditional database indexes incl B+ tree:
197. rida: 148. rida:
* [http://en.wikipedia.org/wiki/Bitmap_index wiki]. For exam: understand the core usage scenario of bitmap indexes.
* [http://en.wikipedia.org/wiki/Bitmap_index wiki]. For exam: understand the core usage scenario of bitmap indexes.


== Multi-field and geoindexes, Fulltext and term indexes ==


== Fulltext and term indexes ==
A few words about both multi-field indexes and geoindexes.


Fulltext indexes:
Fulltext indexes:
204. rida: 156. rida:


* Term indexes
* Term indexes
== Fancier term indexes ==


* Path indexes
* Path indexes
* On from here.


=== Data extraction ===
=== Data extraction ===
213. rida: 169. rida:
Web mining by Nell:
Web mining by Nell:
* [http://rtw.ml.cmu.edu/rtw/ Nell]
* [http://rtw.ml.cmu.edu/rtw/ Nell]


===  Restricted english ===
===  Restricted english ===
232. rida: 187. rida:


Not necessary for the exam.
Not necessary for the exam.


Several languages:
Several languages:
272. rida: 226. rida:


[[Category:Kursus]]
[[Category:Kursus]]
<!--
<pre>
<owl:Class rdf:ID="sugu">
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="sugu" />
      <owl:allValuesFrom rdf:resource="sugu" />
    </owl:Restriction>
  </rdfs:subClassOf>
</owl:Class> 
</pre>
-->

Redaktsioon: 1. veebruar 2014, kell 22:12

teadmised
teadmised

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: tanel.tammet@ttu.ee, 6203457, TTÜ AK223
Archives of previous years: 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, [http:/cs.ttu.ee/kursused/wav4130/ older].

Time, place, result

Semester: spring
Grading: exam

Lectures: every Wedesday 16:00-17.30, room ICT-A2
Practical work: Fridays on odd weeks (7. Feb, 21 Feb, ...) 12:00-13:30 room ICT-403
Practical work will give 40% and exam 60% of points underlying the final grade.


Practical work

There are three labs. All labs have to be presented to the prof and all students present at labwork.

First lab 2014

Second lab 2014

Third lab 2014

Lectures

Declarative and procedural representations. Notes on relational databases.

Lecture materials:

Databases: SQL and NoSQL: meaning and representation of facts

Lecture materials:

HTML annotations. Microformats, microdata, RDFa, Starting RDFs

Lecture materials:

Understand main parts:

RDFs and OWL

Understand RDFS:

Lecture material:

Understand basics of owl:

Owl background: description logics

Start looking at interesting ontologies:

Rules in logic: apps in planning, robotics, ...

Lecture material:

See also:

Logic for uncertain knowledge

For the exam: you should be able to create and solve small examples with default logic.

Fuzzy and probabilistic logic

For the exam: understand the differences between fuzzy and probabilistic logic and be able to present small examples.

Logic of belief and knowledge

For the exam: understand referential transparency and core ideas about encoding belief and knowledge. Modal logic not necessary for the exam.

Indexes: intro and mainstream

Traditional database indexes incl B+ tree:

Hash indexes:

  • wiki. Understand the core usage scenario and be able to create a small example.

Bitmap indexes:

  • wiki. For exam: understand the core usage scenario of bitmap indexes.

Multi-field and geoindexes, Fulltext and term indexes

A few words about both multi-field indexes and geoindexes.

Fulltext indexes:

  • Term indexes

Fancier term indexes

  • Path indexes
  • On from here.

Data extraction

Not necessary for the exam.

Web mining by Nell:

Restricted english

Not necessary for the exam.


Various rule/logic languages

Not necessary for the exam.

Several languages:

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

See also:

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