Vorlesung: Knowledge Representation and Reasoning - Details

Allgemeine Informationen

Veranstaltungsname	Vorlesung: Knowledge Representation and Reasoning
Untertitel
Veranstaltungsnummer	8.3498
Semester	SoSe 2021
Aktuelle Anzahl der Teilnehmenden	86
Heimat-Einrichtung	LE Cognitive Science
Veranstaltungstyp	Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin	Donnerstag, 15.04.2021 10:00 - 12:00
Art/Form
SWS	2
Sprache	Englisch
ECTS-Punkte	4

Lehrende

• Dr. Marco Volpe

Räume und Zeiten

Keine Raumangabe

Donnerstag: 10:00 - 12:00, wöchentlich

(Online)

Donnerstag, 22.07.2021, Donnerstag, 29.07.2021 10:00 - 12:00

Studienbereiche

• Veranstaltungen > Cognitive Science > Master-Programm
• Veranstaltungen > Cognitive Science > Bachelor-Programm

Modulzuordnungen

• Bachelor of Science Informatik > CS-BWP-AI - Künstliche Intelligenz, gültig ab WiSe 2019/20
• Bachelor of Science Mathematik > CS-BWP-AI - Künstliche Intelligenz, gültig ab WiSe 2019/20
• Bachelor of Science Cognitive Science > CS-BWP-AI - Künstliche Intelligenz, gültig ab WiSe 2019/20
• Master of Science Mathematik > CS-BWP-AI - Künstliche Intelligenz, gültig ab WiSe 2019/20

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.