Ljubljana, Slovenia

Logics with Probability Operators and Quantifiers

when 31 July 2023 - 11 August 2023
language English
duration 2 weeks
fee EUR 490

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

EUR 490: Early student registration
EUR 690: Early non-academic registration

Scholarships

There are several scholarship options which you can read about on our website.