Hauptinhalt
Topinformationen
Knowledge Representation
Allgemeine Informationen
- Veranstaltungsart
- Seminar
- Semester
- SoSe 2004
- ECTS-Punkte
- 4
- Veranstaltungsnummer
- 8.3020
- Voraussetzungen
- Methods of AI
- Details
- Link zur Veranstaltung in StudIP
Dozent*innen
Beschreibung
The purpose of this course is to discuss and evaluate some major difficulties and constraints for introducing a knowledge representation formalism for different applications. Classical examples of such frameworks are natural language, FOL, Prolog, semantic nets, frames, KL-ONE, formal concept analysis, channel theory, situation calculus, situation theory, tense logic, description logics etc. The choice is dependent on what we want to model. In this course, we will primarily read chapters from textbooks to get an overview what knowledge representation is, how knowledge representation can be used, and what the problems of knowledge representation are.
Studienbereiche
- Cognitive Science > Bachelor-Programm
