Vorlesung: Knowledge Representation and Reasoning - Details

Vorlesung: Knowledge Representation and Reasoning - Details

Nachrichtenbox schließen
Sie sind nicht in Stud.IP angemeldet und können sich daher nicht in die Veranstaltung eintragen.

Allgemeine Informationen

Veranstaltungsname Vorlesung: Knowledge Representation and Reasoning
Untertitel
Veranstaltungsnummer 8.3498
Semester SoSe 2021
Aktuelle Anzahl der Teilnehmenden 86
Heimateinrichtung LE Cognitive Science
Veranstaltungstyp Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin Donnerstag, 15.04.21, 10:00 - 12:00 Uhr
Art/Form
SWS 2
Primäre Unterrichtssprache Englisch / English
ECTS-Punkte 4

Räume und Zeiten

Ohne Raum

  • Donnerstag, 10:00 - 12:00, Wöchentlich (ab dem 15.04.21)

Online

  • Donnerstag, 22.07.21, 10:00 - 12:00 Uhr
  • Donnerstag, 29.07.21, 10:00 - 12:00 Uhr

Kommentar/Beschreibung

The course provides an introduction to the principles of logic-based knowledge representation and reasoning. To formalize knowledge, various formalisms from propositional logic and first-order logic to specialised description logics will be considered. The notion of ontology will also be introduced.
Based on such formalisms, algorithms and techniques for automated reasoning will be described and analyzed.

Prerequisites:
Basic notions of artificial intelligence (AI) and logic. The course is more suitable for students that have already taken the courses Introduction to AI and Methods of AI.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.