Universität Wien FIND

Due to the COVID-19 pandemic, changes to courses and exams may be necessary at short notice (e.g. cancellation of on-site teaching and conversion to online exams). Register for courses/exams via u:space, find out about the current status on u:find and on the moodle learning platform.

Further information about on-site teaching and access tests can be found at https://studieren.univie.ac.at/en/info.

Warning! The directory is not yet complete and will be amended until the beginning of the term.

052413 VU Logical Foundations of Knowledge Engineering (2020W)

Continuous assessment of course work

Summary

1 Karagiannis , Moodle
2 Karagiannis , Moodle

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Registration information is available for each group.

Groups

Group 1

max. 25 participants
Language: English
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Thursday 08.10. 17:45 - 19:15 Digital (Kickoff Class)
Thursday 08.10. 19:30 - 21:00 Digital
Thursday 15.10. 17:45 - 19:15 Digital
Thursday 15.10. 19:30 - 21:00 Digital
Thursday 22.10. 17:45 - 19:15 Digital
Thursday 22.10. 19:30 - 21:00 Digital
Thursday 29.10. 17:45 - 19:15 Digital
Thursday 29.10. 19:30 - 21:00 Digital
Thursday 05.11. 17:45 - 19:15 Digital
Thursday 05.11. 19:30 - 21:00 Digital
Thursday 12.11. 17:45 - 19:15 Digital
Thursday 12.11. 19:30 - 21:00 Digital

Group 2

max. 25 participants
Language: English
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Thursday 08.10. 17:45 - 19:15 Digital (Kickoff Class)
Thursday 08.10. 19:30 - 21:00 Digital
Thursday 15.10. 17:45 - 19:15 Digital
Thursday 15.10. 19:30 - 21:00 Digital
Thursday 22.10. 17:45 - 19:15 Digital
Thursday 22.10. 19:30 - 21:00 Digital
Thursday 29.10. 17:45 - 19:15 Digital
Thursday 29.10. 19:30 - 21:00 Digital
Thursday 05.11. 17:45 - 19:15 Digital
Thursday 05.11. 19:30 - 21:00 Digital
Thursday 12.11. 17:45 - 19:15 Digital
Thursday 12.11. 19:30 - 21:00 Digital

Information

Aims, contents and method of the course

In this lecture, the goal is to gain expertise in basics knowledge engineering. Therefore, students explore the relevant theory and reinforce their knowledge in exercises where approaches for knowledge representation and knowledge processing are employed. Topics like propositional logic, first-order logic and rule based systems are covered in this lecture.

The lecture will be held online.

Due to the COVID-19 pandemic, changes to lectures and exams (on site or online) may be necessary at short notice.

There is a joint online Kickoff with VU Concepts and Models of Knowledge Engineering.

Assessment and permitted materials

The aim of the course is to learn and understand the logical foundations for knowledge engineering and how they can be applied.

Twice during the semester a written test has to be passed. The test will contain theory questions and applied problems. The test will be held digitally and open-book. During the test the use of unauthorized material or communication with colleagues is not allowed.

During the semester, homework assignments have to be submitted. Solutions have to be independent for each student.

Minimum requirements and assessment criteria

In detail, the grade is constituted by:
* Written tests - 40 % + 40 %
* Homework assignments (Exercises) - 20%
Missing class more than three times results in a negative grade.

Examination topics

Information, Knowledge & Knowledge Engineering
Knowledge Representation
Propositional & First-Order Logic: Introduction
Propositional Logic: Reasoning and Proof
First-Order Logic: Reasoning and Proof
Rule Based Systems
Fuzzy Logic

Reading list

Script with lecture content

Moodle course

Dimitris Karagiannis, Rainer Telesko (2001), Wissensmanagement: Konzepte der künstlichen Intelligenz und des Softcomputing

Stuart J. Russell, Peter Norvig (2009), Artificial Intelligence - A Modern Approach

Association in the course directory

Module: KE WI2

Last modified: Mo 05.10.2020 10:08