Вероватносне логике, 25. мај 2017.

Наредни састанак Семинара биће одржан у четвртак, 25. маја 2017. у сали 301ф Математичког института САНУ са почетком у 15 часова.

Предавач: Tjitze Rienstra, University of Luxembourg

Наслов предавања: RankPL – A QUALITATIVE PROBABILISTIC PROGRAMMING LANGUAGE

Апстракт: In this talk I discuss RankPL, a qualitative variant of a probabilistic programming language with a semantics based on Spohn’s ranking theory. RankPL can be used to represent and reason about processes that exhibit uncertainty expressible by distinguishing “normal” from “surprising” events. RankPL allows (iterated) revision of rankings over alternative program states and supports various types of reasoning, including abduction and causal inference. I discuss the language, its semantics, and a number of practical examples.