Logics with Probability Operators and Quantifiers

About

Many formalisms for representing, and reasoning with, uncertain knowledge are based on probabilistic logics that extend classical logic calculus with probability operators or quantifiers. The main goal of this course is to provide a solid foundation for students that want to use results and ideas from probabilistic logics in their own field of study. We will introduce inductive logic, predicate logic with probability quantifiers and several logics with probability operators through a variety of examples from different fields (philosophy, decision theory, artificial intelligence, game theory etc.), and a more detailed presentation of related research problems (Specify some principles of rational belief and find their mathematical representation; Investigate logical consequence of the law of large number; Axiomatize propositional logic related to Markov processes). We will present an overview of main results and show that all those approaches are essentially connected. We will also present probabilistic extensions of various other logic systems.

Course leader

Nebojša Ikodinović and Dragan Doder

Target group

Students

Fee info