Teadmiste otsing, formaliseerimine ja hoidmine
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
- RDF wikipedia
- w3c RDF primer
- wiki intro
- Media:portaalidekoosvoime.ppt or as pdf Media:portaalidekoosvoime.pdf
- w3c rdfa primer
- microformats: a similar technology
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