Teadmiste otsing, formaliseerimine ja hoidmine: erinevus redaktsioonide vahel
| 58. rida: | 58. rida: | ||
The lab depends on your background. Concretely, choose the first case which applies to you: | The lab depends on your background. Concretely, choose the first case which applies to you: | ||
* You are studying in the IT department and have never programmed a turn-based two-player thinking game. In this case you should program the five-in-a-row game as explained in [Praktikumitöö: mõtlemismäng 2005]. | * You are studying in the IT department and have never programmed a turn-based two-player thinking game. In this case you should program the five-in-a-row game as explained in [[Praktikumitöö: mõtlemismäng 2005]]. | ||
* You are studying in the IT department and have programmed a turn-based two-player thinking game. In this case you should experiment with the [http://attempto.ifi.uzh.ch/site/ Attempto system] in the following way: | * You are studying in the IT department and have programmed a turn-based two-player thinking game. In this case you should experiment with the [http://attempto.ifi.uzh.ch/site/ Attempto system] in the following way: | ||
** Create a set of English sentences which covers the meaning of your rules from the second lab as closey as possible. | ** Create a set of English sentences which covers the meaning of your rules from the second lab as closey as possible. | ||
Redaktsioon: 27. märts 2009, kell 10:53
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
- For ITV0060 and ITT0020: two labs on the same theme.
- For ITX8075: same two labs plus a third lab below.
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:
- http://www.w3.org/TR/rdf-primer/ RDF tutorial first parts
- http://en.wikipedia.org/wiki/RDFa wikipedia article on RDFa
- 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 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:
- You are studying in the IT department and have never programmed a turn-based two-player thinking game. In this case you should program the five-in-a-row game as explained in Praktikumitöö: mõtlemismäng 2005.
- You are studying in the IT department and have programmed a turn-based two-player thinking game. In this case you should experiment with the Attempto system in the following way:
- Create a set of English sentences which covers the meaning of your rules from the second lab as closey as possible.
- Use the Attempto system to transform these sentences into a formal rule system.
- Write a program which would transform the sentences from the Attempto-given rule system into the form acceptable by Otter or Prover9.
- All the other cases: you will have to do a project from the similar MIT course. Choose one of the following:
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
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