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.
The first practical work time on 30. January at 14:00 will be used as a secord conventional lecture of the day.
Some of the last lecture times at the end of the course may be used as additional seminars/labs.
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.
In particular, it is useful to read these course materials and exercises: logic AIMA book, wumpus world in AIMA book, uncertainty in AIMA book, probability models in AIMA book, prolog lab, bayes lab
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.
- Different kinds and dimensions of 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.
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 course teachers and all students present at labwork time.
The labs can be prepared alone or by teams of two people. The first lab task will be given on 6. February.
First lab
Second lab
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%.
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: