Logics for Reasoning about Uncertainty

SS 2019

Aktuelles

  • Next semester we will give a seminar on topics related to this course: Seminar Logic, Complexity, Games: Logics for Reasoning about Uncertainty, Dependence and Independence.
  • The exam for this lecture will be an oral exam. Please write an e-mail to Prof. Grädel and suggest a date in July or in September. There will be no examinations in August.
  • There is no lecture on monday 13th May.
  • There is no L2P room for this lecture. Learning materials will be published on this website.
  • Please remember to register for the exam. If you are unable to register in RWTHonline, please write an e-mail to dannert@logic.rwth-aachen.de.

Diese Vorlesung wird in englischer Sprache gehalten.

Termine

ArtTerminOrt Veranstalter
V2Mo 12:30 – 14:00AH IBeginn 8. AprilE. Grädel

Inhalt

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.

Lernziele

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.

Literatur

[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.

Voraussetzungen

  • Mathematische Logik

Zuordnung

  • 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

Rückfragen

Erich Grädel