052413 VU Logical Foundations of Knowledge Engineering (2022W)
Prüfungsimmanente Lehrveranstaltung
Labels
GEMISCHT
Zusammenfassung
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
- Anmeldung von Mi 14.09.2022 09:00 bis Mi 21.09.2022 09:00
- Abmeldung bis Fr 14.10.2022 23:59
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.
Gruppen
Gruppe 1
max. 25 Teilnehmer*innen
Sprache: Englisch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Kickoff meeting (online): 05.10.22 13:15
Link: https://moodle.univie.ac.at/mod/bigbluebuttonbn/guestlink.php?gid=njkgTUpyCe5Y
Mittwoch
05.10.
13:15 - 14:45
Digital
(Vorbesprechung)
Donnerstag
06.10.
09:45 - 11:15
Digital
Mittwoch
12.10.
13:15 - 14:45
Digital
Donnerstag
13.10.
09:45 - 11:15
Digital
Mittwoch
19.10.
13:15 - 14:45
Digital
Donnerstag
20.10.
09:45 - 11:15
Digital
Donnerstag
27.10.
09:45 - 11:15
Digital
Hörsaal 3, Währinger Straße 29 3.OG
Hörsaal 3, Währinger Straße 29 3.OG
Donnerstag
03.11.
09:45 - 11:15
Digital
Mittwoch
09.11.
13:15 - 14:45
Digital
Donnerstag
10.11.
09:45 - 11:15
Digital
Mittwoch
16.11.
13:15 - 14:45
Digital
Donnerstag
17.11.
09:45 - 11:15
Digital
Hörsaal 3, Währinger Straße 29 3.OG
Hörsaal 3, Währinger Straße 29 3.OG
Gruppe 2
max. 25 Teilnehmer*innen
Sprache: Englisch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
05.10.
13:15 - 14:45
Digital
(Vorbesprechung)
Donnerstag
06.10.
09:45 - 11:15
Digital
Mittwoch
12.10.
13:15 - 14:45
Digital
Donnerstag
13.10.
09:45 - 11:15
Digital
Mittwoch
19.10.
13:15 - 14:45
Digital
Donnerstag
20.10.
09:45 - 11:15
Digital
Donnerstag
27.10.
09:45 - 11:15
Digital
Hörsaal 3, Währinger Straße 29 3.OG
Hörsaal 3, Währinger Straße 29 3.OG
Donnerstag
03.11.
09:45 - 11:15
Digital
Mittwoch
09.11.
13:15 - 14:45
Digital
Donnerstag
10.11.
09:45 - 11:15
Digital
Mittwoch
16.11.
13:15 - 14:45
Digital
Donnerstag
17.11.
09:45 - 11:15
Digital
Hörsaal 3, Währinger Straße 29 3.OG
Hörsaal 3, Währinger Straße 29 3.OG
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
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.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.
Art der Leistungskontrolle und erlaubte Hilfsmittel
The aim of the course is to learn and understand the logical foundations of 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 tests, 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 hour (60 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.
The physical examination must be held individually without unauthorized aids. The exam time is one hour (60 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.
Mindestanforderungen und Beurteilungsmaßstab
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.
* 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.
Prüfungsstoff
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
Knowledge Representation
Propositional & First-Order Logic: Introduction
Propositional Logic: Reasoning and Proof
First-Order Logic: Reasoning and Proof
Rule Based Systems
Fuzzy Logic
Literatur
Script with lecture content
Moodle courseDimitris Karagiannis, Rainer Telesko (2001), Wissensmanagement: Konzepte der künstlichen Intelligenz und des SoftcomputingStuart J. Russell, Peter Norvig (2009), Artificial Intelligence - A Modern Approach
Moodle courseDimitris Karagiannis, Rainer Telesko (2001), Wissensmanagement: Konzepte der künstlichen Intelligenz und des SoftcomputingStuart J. Russell, Peter Norvig (2009), Artificial Intelligence - A Modern Approach
Zuordnung im Vorlesungsverzeichnis
Module: KE WI2
Letzte Änderung: Do 11.05.2023 11:27