KursbeschreibungKnowledge is undoubtably one of the most important components for
devising intelligent systems. Representing knowledge and reasoning about
it is a tough problem, let alone deal with knowledge dynamics. In this
seminar, you will have contact with several topics related to knowledge
dynamics such as Epistemic Logic (to represent and reason about
knowledge), Doxastic Logic (to deal with beliefs) and Dynamic Logics (to
deal with epistemic/doxastic changes). We will also address topics
related to the theory of Belief Change: a field within AI that studies
how an agent should change its knowledge in the light of new information
(possibly contradictory with its current beliefs).