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 on the same theme.

First lab

Date: 13 February.

Implement a system which can read html annotated according to the RDFa standard. The data read should be saved and printed in several formats:

• csv
• rdf xml syntax

You will have to either find suitable annotated html pages or annotate some existing pages yourself (at least three pages).

Additional reading:

• http://www.w3.org/TR/rdf-primer/ first parts
• http://www.youtube.com/watch?v=ldl0m-5zLz4 and http://www.youtube.com/watch?v=mxE3FeOyS-E video tutorials of rdfa
• http://www.w3.org/TR/xhtml-rdfa-primer/
• http://www.w3.org/2006/07/SWD/RDFa/syntax/
• Media:portaalidekoosvoime.ppt või pdf kujul Media:portaalidekoosvoime.pdf (Estonian)

You may also look at some practical non-obligatory programming suggestions in Estonian: rdfa esimese praksi soovitusi.

Second lab

Using the results of first lab for rule-based derivation of new information. Details will be given in the beginning of March.

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

Lecture notes: http://www.lambda.ee/index.php/Pilt:Search.ppt

Additional material:

• wikipedia article on search algorithms
• wikipedia article on the A* algorithm
• Norvig AIMA constraint satisfaction chapter
• Minimax & alpha-beta: minimax wikipedias, a-b in wikipedia, applet demo, a-b ok explanation with
• Chinook: http://www.cs.ualberta.ca/~chinook/
• Ph.D. thesis about game programming: http://fragrieu.free.fr/SearchingForSolutions.pdf

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