Вероватносне логике, 25. мај 2017.
- 23. Мај, 2017
- Коментари (0)
Наредни састанак Семинара биће одржан у четвртак, 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.
Коментари(0)