Facets of Distribution Identities in Probabilistic Team Semantics
Facets of Distribution Identities in Probabilistic Team Semantics
复制标题
概率团队语义中的分布恒等式的各个方面
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Jonni Virtema
中科院分区：
文献类型：
--
作者：
Miika Hannula;Åsa Hirvonen;J. Kontinen;V. Kulikov;Jonni Virtema
我们研究概率团队语义，这是一个语义框架，允许同时研究逻辑依赖和概率依赖。我们考察和分类了不同的概率原子产生的逻辑形式化的表达能力，如条件独立性和边际分布等价的不同变体。我们还将该框架与实数的一阶理论联系起来，并将我们的方法应用于关于条件独立性蕴涵问题的复杂性的公开问题。
We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different probabilistic atoms such as conditional independence and different variants of marginal distribution equivalences. We also relate the framework to the first-order theory of the reals and apply our methods to the open question on the complexity of the implication problem of conditional independence.
影响因子：
0.7
作者：
S. Abramsky
通讯作者：
S. Abramsky