Teadmiste otsing, formaliseerimine ja hoidmine

Allikas: Lambda
Redaktsioon seisuga 31. jaanuar 2011, kell 03:54 kasutajalt Tammet (arutelu | kaastöö) (→Course structure)
Mine navigeerimisribale Mine otsikasti
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: 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

We start with representing and converting facts, continue to rules, first monotonic, then probabilistic and nonmonotonic, then look into search and indexing of complex information, and finally, some learning.

Intro and paradigms of knowledge representation

  • Declarative and procedural representations

See also:

Databases: meaning and representation of facts

See also:

Scraping semistructured data

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

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

See also:

Various rule/logic languages

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

See also:

Time, context, metainformation

Probabilistic and nonmonotonic reasoning

See also:

Personalized search and recommendations

Fast search of facts and rules using indexing

Learning

See also:


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