Наредни састанак Семинара биће одржан у петак, 31. марта 2023, у сали 301ф Математичког института САНУ са почетком у 14.15.

Предавач: Шејла Даутовић, Математички институт САНУ

Наслов предавања: ЛОГИЧКО МОДЕЛОВАЊЕ БАЈЕСИЈАНСКЕ ТЕОРИЈЕ ПОТВРЂИВАЊА

Апстракт: У бајесијанској теорији разликују се квалитативни и квантитативни појам потврђивања. Према првом од ова два појма, догађај B вероватносно потврђује други догађај А ако је условна вероватноћа догађаја А (са условом B) већа од безусловне вероватноће. Са друге стране, квантитативни приступ изучава у ком степену B потврђује А. На предавању ће бити представљена једна вероватносна логика са операторима потврђивања која формализује квантитативни приступ. Описаћемо њену синтаксу и семантику, а затим ћемо формулисати основна тврђења која важе за ову логику. На крају ћемо представити и резултате одлучивости.

Напомена: Предавања се могу пратити на даљину преко линка:
https://miteam.mi.sanu.ac.rs/call/T9XDGChhq8aDcNqmz/qw7wIwci2jv2rdg9I9CrXkm7OJhF_LB8DfjXZp4jTFV

Регистрациона форма је доступна на:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N