Programarea probabilista este o paradigma noua (primul articol care introduce aceasta paradigma a fost publicat in 1997) ce a cunoscut o dezvoltare rapidă în ultimii ani, fiind o componenta principala de cercetare-dezvoltare a marilor companii ca Meta, Microsoft, Uber, IBM, Amazon.

Limbajele de programare probabilista (LPP) unifica tehnicile de programare generala cu modelarea probabilista. Ideea principala a paradigmei de programare este următoarea: utilizatorul specifica un model probabilist, de exemplu scriind code care genereaza esantioane din distributia combinata, apoi răspunsul la interogări este obtinut printr-un sistem de inferența generat automat pe baza modelului. 

LPP-urile utilizeaza puterea deplina a limbajelor de programare pentru a descrie distribuții complexe, pentru a oferi suport pentru modelare interactiva si verificare formala, și furnizeaza o barieră de abstractizare pentru a permite inferente eficiente și generice în clase de modele universale. Lista domeniilor în care sunt aplicate modelarea și inferență probabilistă include: algoritmi de invatare, statistica, robotica, biologie, neurostiinte, inteligenta  artificiala,  stiinte cognitive.

Cursul nu presupune cunoștințe avansate despre raționamente probabiliste, toate conceptele utilizate fiind explicate la curs.

Scopul este ca la absolvirea cu succes a acestui curs, studentul sa dobandeasca o anumita familiaritate in utilizarea limbajelor probabiliste, sa aiba capabilitatea de a proiecta modele probabiliste și de a le integra în aplicații.

prezentari