Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
← Vanem muudatusUuem muudatus →
41. rida: 41. rida:


See also:
See also:
* [http://en.wikipedia.org/wiki/Knowledge_representation Overview of knowledge representation]
* [http://en.wikipedia.org/wiki/Knowledge_representation Short wiki overview of knowledge representation]
* [http://groups.csail.mit.edu/medg/ftp/psz/k-rep.html Long and philosophical MIT overview of knowledge representation]
* [http://www.cse.buffalo.edu/~rapaport/676/F01/proc.decl.html Pointers to classical papers]
* [http://www.cse.buffalo.edu/~rapaport/676/F01/proc.decl.html Pointers to classical papers]
* [http://www.cogarch.org/index.php/Main_Page A Survey of Cognitive and Agent Architectures]
* [http://www.cogarch.org/index.php/Main_Page A Survey of Cognitive and Agent Architectures]

Redaktsioon: 31. jaanuar 2011, kell 03:37

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=5179"