Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
18 декабря 2023 г. 18:30, г. Москва, Zoom
 


Logics with Probability Operators. Completeness and Decidability

Z. Ognjanović

Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrad
Видеозаписи:
MP4 415.9 Mb

Количество просмотров:
Эта страница:135
Видеофайлы:51



Аннотация: The problems of representing, and working with, uncertain knowledge are ancient problems dating, at least, from Leibnitz. In the last decades there is a growing interest in the field connected with applications to computer science and artificial intelligence. Researchers from those areas have studied uncertain reasoning using different methods. Some of the proposed formalisms for handling uncertain knowledge are based on logics with probability operators. The aim of this presentation is to provide an introduction to such formal systems. The main focus is related to mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues: axiomatizations, completeness, compactness, decidability.

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024