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.

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

News:

• First lecture: October 9, 14:00, in Seminarroom Gödel.
• No lecture October 16!
• No lecture November 6!
• No lecture November 13!
• Next lecture: Npvember 27, 14:00.
• Changed lecture times on December 4: 10-12, 13-15.
• No lecture and exercises January 8!
• No lecture on January 22; last lecture January 24, 13:00-15:00!

ECTS breakdown: 3 ECTS = 75 Hours

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

oral

Slides will be made available for download.