Universität Wien

052413 VU Logical Foundations of Knowledge Engineering (2023W)

3.00 ECTS (2.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik
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

This course is part of the module Knowledge Engineering, which is split into two parts: (i) Logical Foundations of Knowledge Engineering including all sessions until 23.11.23, and (ii) Concepts and Models of Knowledge Engineering starting from 29.11.23. Both courses share the first session (04.10.23), for which you must be present to stay registered.

  • Wednesday 04.10. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 05.10. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 11.10. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 12.10. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 18.10. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 19.10. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 25.10. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
    Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 08.11. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 09.11. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 15.11. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 16.11. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 22.11. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 23.11. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
    Hörsaal 33 Hauptgebäude, 1.Stock, Stiege 7
  • Wednesday 29.11. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 30.11. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 06.12. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 07.12. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 13.12. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 14.12. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 10.01. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 11.01. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 17.01. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 18.01. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 24.01. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 25.01. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 31.01. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG

Group 2

max. 25 participants
Language: English
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 04.10. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 05.10. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 11.10. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 12.10. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 18.10. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 19.10. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 25.10. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
    Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 08.11. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 09.11. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 15.11. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 16.11. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 22.11. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 23.11. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
    Hörsaal 33 Hauptgebäude, 1.Stock, Stiege 7
  • Wednesday 29.11. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 30.11. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 06.12. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 07.12. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 13.12. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 14.12. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 10.01. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 11.01. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 17.01. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 18.01. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 24.01. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Thursday 25.01. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 31.01. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG

Information

Aims, contents and method of the course

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

Changes to lectures and exams (on-site or online) may be necessary at short notice.

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 tests will contain theory questions and applied problems. The material to be examined is that which was covered in the lecture. During the test, unauthorized materials or communication with colleagues is not allowed. If unauthorized aids are used or the examination is not written independently, the examination will not be assessed and documented with an X in the collective report. Within the assessment period of four weeks, the examiner may make random oral inquiries about the subject matter of the examination.

Based on the current regulations, the tests can be held physically in a university building (Scenario 1) or online (Scenario 2). The exact mode will be announced in due time before the exam. The language of the examination is English in both cases.

Scenario 1:
The physical examination must be held individually without unauthorized aids. The exam time is one and a half hours (90 minutes).

Scenario 2:
The online exam will be given individually via Moodle in open-book mode, which means you may use the lecture notes and additional literature or materials listed on Moodle. The exam paper will be unlocked on the Moodle course at the beginning of the exam. You must upload your paper to Moodle as a PDF file at the end of the exam period. Your submission will be subjected to a plagiarism check. The exam time is one hour (60 minutes).

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 - 30 % (first test) + 40 % (second test)
* Homework assignments (Exercises) - 30%
Overall at least 50% of points need to be achieved.

The grade is calculated from the total points as follows:
>= 87% very good (1)
>= 75% good (2)
>= 62% satisfactory (3)
>= 50% sufficient (4)
< 50% not sufficient (5)

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: Th 12.10.2023 09:47