Gaining exptertise about relevant logics for knowledge representation.
Didactic procedure:lecture presentation using slides.
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. t
In this course we deal with different logics for knowledge representation as well as with computational aspects. The topics of the course include the following:
- Foundations and aspects of classical logic (modelling of natural language);
- Methods to deal with limitations of classical logic (nonmonotonic and paraconsistent logics);
- belief revision;
- logic-based abduction;
- computational complexity;
- quantified propositional logic.