Teadmiste formaliseerimine
 |
Code: ITV0060 |
Time, place, result
Lectures: Wednesdays 12:00-13:30 room U06A-229
Practical work: Wednesdays 14:00-15:30, room ICT-121, ICT-122
Practical work will give 40% and exam 60% of points underlying the final grade.
The exam will consist of several small excercises.
Assumed background
You should have studied the course "Basics of AI and Machine Learning" or get acquinted with the logic and probabilities parts of the course yourself.
Focus
The main focus of the course is on KR (knowledge representation), on a spectrum from simple to very complex: representing and using knowledge in databases, sentences in natural language and commonsense knowledge. A subfocus is on what it takes to build a question answering system for natural language.
The course contains the following blocks:
- Background and basics. Representing and using simple facts and rules.
- Knowledge conveyed by natural sentences: both statistical methods like word2vec and logic-based methods.
- General-knowledge databases: wikidata, wordnet, yago, conceptnet, nell, cyc.
- Reasoners and question answering systems.
- Context, time, location, events, causality and uncertain knowledge.
- Indexes and search.
Check out this description of the whole KR area.
Books to use:
- Ca half of the course themes are covered in this book with freely accessible pdf-s.
- The freely accesible pdf of the handbook if knowledge representation gives a detailed and thorough coverage of the subject; far more than necessary for the course.
- Interesting to browse: recent conference proceedings
- Interesting to browse: course materials, course materials
Observe that a noticeable part of the course contents are not covered by these books: use the course materials and links to papers, standards and tutorials provided.
Practical work
There are three labs: the first two are obligatory, third is optional. The labs have to be presented to the prof and all students present at labwork.
The labs can be prepared alone or by teams of two people.
First lab
Deadline: 16. March (after this there will be a penalty).
See also notes for KR lab 1.
Second lab
See details for KR lab 2.
Third lab
This lab is optional and will simply give as many points as lab 1 or 2 towards the final result and the grade: practical wotrk 60% and exam 40%.
Lab ideas
Student ideas are also welcome: have to agree with Tanel first.
Lecture block 1: basics and representing simple facts.
Lecture 1: Overview of the course. Background and basics. First lab.
Lecture materials:
- Intro lecture: declarative and procedural representations
- Core logic refresher.
- Details of the first lab.
Lecture 2: Programming and databases. SQL: meaning and representation of facts
- Encoding data in programming languages.
- relation of plain data in databases to logic & representing complex structures in databases
- Core ideas of non-relational databases, mostly RDF
Lecture materials: