Teaching Sommersemester 2014

Lecture - The Logic of Knowledge Bases SS 2014

Submitted by Jens Cla├čen on 1. April 2014 - 19:07
This course is about the logic of knowledge bases, in two distinct but related senses. On the one hand, a knowledge base is a collection of sentences in a representation language that entails a certain picture of the world represented. On the other hand, having a knowledge base entails being in a certain state of knowledge where a number of other epistemic properties hold. One of the principal aims of this course is to develop a detailed account of the relationship between symbolic representations of knowledge and abstract states of knowledge. Students wishing to attend the course should be familiar with first-order predicate logic.

Proseminar Artificial Intelligence SS 2014

Submitted by stf on 6. January 2014 - 3:05

The SS 2014 proseminar will be on different (sub-)topics from artificial intelligence. We largely follow the lines of the well known textbook by Stuart Russell and Peter Norvig "Artificial Intelligence - A Modern Approach".

We plan to implement a peer review process for this seminar. That is, every student will read some other students' term paper and provide feedback in form of a written review. This shall not only deepen your understanding of the other topics, but it also introduces you to the academic review process.

Seminar Dynamics of Knowledge and Belief SS 2014

Submitted by Christoph Schwering on 6. January 2014 - 0:08

In this seminar we will study several modeling and reasoning techniques for knowledge and belief in dynamic systems. Knowledge is an important aspect of intelligent programs: while most of today's systems assume a closed world, i.e., everything they don't know to be true is assumed to be false, an intelligent system needs to consider possible that there are truths not known to the system. In a dynamic environment, i.e., an environment where one or multiple agents (inter)act, the system will usually have to acquire new knowledge through sensing. Potentially it may even revise its beliefs when it realizes some beliefs were wrong. In this seminar we will study various aspects of action, knowledge, and belief.

We plan to implement a peer review process for this seminar. That is, every student will read some other students' term paper and provide feedback in form of a written review. This shall not only deepen your understanding of the other topics, but it also introduces you to the academic review process.