みなさま
来週木曜日に京都大学にて下記の講演があります。 よろしければ、皆様お誘いあわせの上ご参加ください。
数理解析研究所 照井一成
Dear all,
There will be a seminar talk next Thursday at Kyoto University. See below for the detail.
Best regards, Kazushige Terui
----------------------------- Date: February 8th, starting at 11.00am
Venue: Room 478 in the Research Building No.2, Main Campus of Kyoto University (#34 on the map below) https://www.kyoto-u.ac.jp/en/access/main-campus-map
場所：京都大学本部構内 総合研究２号館４７８号室（下記リンク３４番の建物です） https://www.kyoto-u.ac.jp/ja/access/campus/yoshida/map6r-y
Speaker: Bakh Khoussainov (UESTC, China and The University of Auckland, New Zealand)
Title: Probability structures
Abstract: We develop a framework for reasoning about statistical properties in relational structures. To achieve this, we introduce smooth probability structures defined as relational structures equipped with a sequence of probability distributions. We design a language, termed LSPS, which is dedicated to reasoning about statistical properties in relational structures. Given a smooth probability structure, with each formula $\phi(\bar{x})$ in the LSPS language we associate a family of probability spaces that encapsulate the statistical information about all tuples that satisfy $\phi$. This fusion of connecting relational structures and statistics is a novel concept. We study the questions of axiomatizability, decidability, and undecidability of valid LSPS formulas. Finally, if time permits, we initiate the investigation of algorithmic questions suited for smooth probability structures.