184.208 Logic for Knowledge Representation
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2019W, VO, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture

Learning outcomes

After successful completion of the course, students are able to

  • to name and explain different logics and logic-based formalisms for knowledge representation,
  • to select suitable methods and techniques for a given problem, and
  • to critically assess relevant solutions and formalisms.

Subject of course

Knowledge representation is a part of AI dealing with suitable methods to make knowledge about a certain domain accessible to computers. The area of knowledge representation comprises techniques from different disciplines, in particular from logic and ontology.

In this course we deal with different logics for knowledge representation.

Content:

  1. Introduction
    • Overview
    • Logic
  2. Knowledge Representation using Classical Logic
    • Elements of Propositional Logic
    • Propositional Logic for Modelling Natural-Language Arguments
    • Elements of Predicate Logic
    • Predicate Logic and Natural Language
    • Ontological Aspects
  3. Nonmonotonic Reasoning
    • Problems of Classical Logic
    • Methods of Nonmonotonic Reasoning
    • Circumscription
    • Default Logic
  4. Dealing with Inconsistent Knowledge
    • Parakonsistent Reasoning
    • Belief Revision

Teaching methods

Communication of the course contents through a traditional frontal lecture.

Mode of examination

Oral

Additional information

News:

  • First lecture: October 4, 14:00, in lecture hall EI 5.
  • No lecture October 11!
  • At November 8, the lecture will be held from 14:00 to 16:00 in EI 5 and from 16:00 to 17:00 in EI 11!

ECTS breakdown: 3 ECTS = 75 hours

  • Lecture 24h
  • Lecture introduction 0.5h
  • Preparation for exam 50h
  • Oral exam 0.5h

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri14:00 - 16:0004.10.2019 - 24.01.2020EI 5 Hochenegg HS Vorlesung
Mon14:00 - 16:0014.10.2019 - 02.12.2019Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Fri10:00 - 13:0018.10.2019 - 25.10.2019EI 5 Hochenegg HS Vorlesung
Fri16:00 - 19:0018.10.2019 - 13.12.2019EI 11 Geodäsie HS FINK
Fri10:00 - 13:0022.11.2019 - 06.12.2019EI 5 Hochenegg HS Vorlesung
Fri11:00 - 13:0013.12.2019GM 8/9 - Hörsaal des Internationalen Wiener Motorensymposiums Vorlesung
Fri17:00 - 18:0013.12.2019EI 5 Hochenegg HS Vorlesung
Fri10:00 - 13:0010.01.2020EI 5 Hochenegg HS Vorlesung
Fri16:00 - 19:0010.01.2020EI 5 Hochenegg HS Vorlesung
Logic for Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Fri04.10.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Fri11.10.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Mon14.10.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Fri18.10.201910:00 - 13:00EI 5 Hochenegg HS Vorlesung
Fri18.10.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Fri18.10.201916:00 - 19:00EI 11 Geodäsie HS Vorlesung
Mon21.10.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Fri25.10.201910:00 - 13:00EI 5 Hochenegg HS Vorlesung
Fri25.10.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Fri25.10.201916:00 - 19:00EI 11 Geodäsie HS Vorlesung
Mon28.10.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon04.11.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Fri08.11.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Fri08.11.201916:00 - 19:00EI 11 Geodäsie HS Vorlesung
Mon11.11.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Mon18.11.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Fri22.11.201910:00 - 13:00EI 5 Hochenegg HS Vorlesung
Fri22.11.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Fri22.11.201916:00 - 19:00EI 11 Geodäsie HS Vorlesung
Mon25.11.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Course is held blocked

Examination modalities

Oral exam.

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Thu14:00 - 16:0028.01.2021 Online mit BigBlueButtonoral13.01.2021 19:00 - 27.01.2021 23:55TISSHaupttermin

Course registration

Begin End Deregistration end
01.10.2019 23:00 13.12.2019 23:00 13.12.2019 23:00

Curricula

Study CodeSemesterPrecon.Info
033 533 Medical Informatics STEOP
Course requires the completion of the introductory and orientation phase
033 534 Software & Information Engineering STEOP
Course requires the completion of the introductory and orientation phase
066 933 Information & Knowledge Management STEOP
Course requires the completion of the introductory and orientation phase

Literature

Slides will be made available for download.

Accompanying courses

Continuative courses

Language

German