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
Alternative names and codes:

• Tehisintellekti algoritmid ITT0020
• Intelligent Systems ITX8075

Lecturer: Tanel Tammet
Contact: tammet@staff.ttu.ee, 6203457, TTÜ AK223
Archives of previous years: 2008, 2007, 2006, [http:/cs.ttu.ee/kursused/wav4130/ older].

Time, place, result

Semester: spring
Grading: exam
Points: 3.5

Lectures: Every friday 8.00, room IT-140
Practical work: every second (even weeks) Friday 10.00 room IT-213D

Practical work will give %40% and exam 60% of points underlying the final grade.

Practical work

Two labs. Tasks/materials given at the second lecture.

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

Core search, search in game trees

1 lecture

Logic

2 lectures

• propositional, first order, higher order
• semantics/models
• proofs and deriving new information
• automated reasoning
• relational data and rdf in first order logic

Planning

1 lecture

logic- and reasoning-based methods

Different property/value pair representations

Methods and their relations

1 lecture

• association lists
• google base
• RDF
• XML

Details of RDF, RDFS, RDFa

1 lecture

Specific versions of 1st order logic and rule systems

1 lecture

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

OWL

1 lecture

Representing time, probability, epistemics, context

1 lecture

Search and indexing

2 lecture

Learning

1 lecture