Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
Resümee puudub
30. rida: 30. rida:
TBA
TBA


=== Third lab ===
=== Optional third lab ===


TBA
TBA


== Course structure ==
== Course structure ==

Redaktsioon: 31. jaanuar 2011, kell 01:17

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

Optional 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=5175"