Verovatnosne logike, 25. maj 2017.

• 23. Maj,  2017
• Komentari (0)

Naredni sastanak Seminara biće održan u četvrtak, 25. maja 2017. u sali 301f Matematičkog instituta SANU sa početkom u 15 časova.

Predavači: Tjitze Rienstra, University of Luxembourg

Naslov predavanja: RankPL - A QUALITATIVE PROBABILISTIC PROGRAMMING LANGUAGE

Apstrakt:
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.

---