Teadmiste otsing, formaliseerimine ja hoidmine

Allikas: Lambda
Redaktsioon seisuga 31. jaanuar 2011, kell 02:43 kasutajalt Tammet (arutelu | kaastöö) (→Course structure)
Mine navigeerimisribale Mine otsikasti

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

  • 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=5178"