Itv0060 2009 arhiiv

Allikas: Lambda

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].

NB! Siin on 2009 aasta arhiiv, mitte uus ja kehtiv info!


Eksamitulemus

Nimi    Matrikk Prax    Eksam   Kokku   Hinne
SJ	40602	40	75	85	4
RP	50606	40	78	86,8	4
MM	50947	35	65	74	3
AK	90206	20	20	32	0
AH	20576	20	50	50	1
RA	990746	40	90	94	5
SK	81897	40	40	64	2
DT	81928	35	42	60,2	2
TO	30633	40	90	94	5
RL	930711	40	60	76	3
KO	40980	40	30	58	1
MA	20446	40	82	89,2	4
KP	40645	40	67	80,2	4
DK	41008	40	40	64	2
AS	81889	35	80	83	4
AN		40	75	85	4
AV	50668	40	90	94	5
JS	50658	40	82	89,2	4
JV	81900	30	70	72	3


Materials for exam

Use and read the following

Philosophy around AI

Just for background, no questions during the exam:

RDF, RDFS, OWL and conversion to 1st order logic

Understand RDF and RDFS:

Understand basics of owl:

RDFa, reading and using RDF data from web pages

Understand main parts:

RDF relation to logic

Understand a bit of:

Semantics of ordinary relational base

First order logic in query engines and planning

Different languages for 1st order logic: KIF, CL, restricted english jms

Representing knowledge and belief

Fulltext indexes

Term indexes

Understand basics of discrimination tree trie-type term indexes from

Game playing search (only for ITX8075)

Learning (only for ITX8075)

Understand basics from detailed intros:

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. NB! Course ITV0060 and ITT0020 attendees may optionally do the third lab and get 60% from labs and 40% from exam.

Practical work

  • For ITV0060 and ITT0020: two labs on the same theme.
  • For ITX8075: same two labs plus a third lab below.
  • As noted above, course ITV0060 and ITT0020 attendees may optionally do the third lab and get 60% from labs and 40% from exam.


First lab

Date: 13 March.

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:

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 of the second lab: rule system

Third lab

This lab is obligatory only for the ITX8075 students obtaining 5 AP from the course! You can do it alone or together with another student: pairs are OK, three or more persons not. Both students must be present while presenting the result.

The lab depends on your background. Concretely, choose the first case which applies to you:

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:

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

Specific versions of 1st order logic and rule systems

1 lecture

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


Details of RDF, RDFS, RDFa

1 lecture

OWL

1 lecture

Representing time, probability, epistemics, context

1 lecture

Search and indexing

2 lecture

Learning

1 lecture

Useful materials: