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

Paradigms of knowledge representation

• Procedural
• Declarative
  • logic
  • relational, network, object databases
  • frame systems
  • property/value pairs
  • rule/expert systems
  • rdfs and owl

Logic

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

Different property/value pair representations and their relations

• association lists
• google base
• RDF
• XML

Specific versions of 1st order logic

• KIF
• CL
• restricted english systems