Logics for Reasoning about Uncertainty
SS 2017
News
- A (preliminary) version of the script has been published.
- There is no L2P room for this lecture. Learning materials will be published on this website.
Schedule
| Type | Date | Location | Organizer | ||||
|---|---|---|---|---|---|---|---|
| V2 | Tu 08:30 – 10:00 | AH I | Start 25th April | E. Grädel | |||
Coursework
Lecture Notes
- All chapters [pdf]
Content
Description of various logical systems for reasoning about issues that arise when the available data and/or observed events are uncertain, unknown, or unreliable. This includes aspects of quite different nature such as knowledge, dependence and independence, imperfect information, randomness. Connections to decision theory, probabilistic databases, provenance, and games.Learning Objectives
Understanding of the differences between various forms of uncertainty and the logical methods for dealing with them. Mastering the methods for analyzing the expressive power and algorithmic properties of the appropriate logical systems.Literature
| [1] | R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995. |
| [2] | J. Y. Halpern. Reasoning About Uncertainty. MIT Press, Cambridge, MA, USA, 2003. |
Prerequisites
- Mathematical Logic
Classification
- Informatik (GYM+GS,SII)/Hauptstudium/C. Mathematische Methoden der Informatik
- Informatik (M.Sc.)/Theoretische Informatik
- Mathematik (M.Sc.)/Mathematik/Reine Mathematik
- Software Systems Engineering (M.Sc.)/Theoretical Foundations of Software Systems Engineering
- Software Systems Engineering (M.Sc.)/[MPO2010] Theoretical Computer Science
- Technik-Kommunikation (M.A.)/2. Hauptfach (Technisches Fach)/Grundlagen der Informatik/Hauptstudium/Spezialisierung Informatik
Contact
Erich Grädel, Matthias Hoelzel