Probabilistic Team Semantics

被引：25

作者：

Durand, Arnaud ^{[1
]}

Hannula, Miika ^{[2
]}

Kontinen, Juha ^{[3
]}

Meier, Arne ^{[4
]}

Virtema, Jonni ^{[5
]}

机构：

[1] Univ Paris Diderot, Inst Math Jussieu Paris Rive Gauche, CNRS UMR 7586, Paris, France

[2] Univ Auckland, Dept Comp Sci, Auckland, New Zealand

[3] Univ Helsinki, Dept Math & Stat, Helsinki, Finland

[4] Leibniz Univ Hannover, Inst Theoret Informat, Hannover, Germany

[5] Hasselt Univ, Databases & Theoret Comp Sci, Hasselt, Belgium

来源：

FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2018 | 2018年 / 10833卷

基金：

芬兰科学院;

关键词：

CONDITIONAL-INDEPENDENCE; LOGIC; DEPENDENCE; INCLUSION; FINITE;

D O I：

10.1007/978-3-319-90050-6_11

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies. In this article we study a variant of probabilistic team semantics and relate this framework to a Tarskian two-sorted logic. We also show that very simple quantifier-free formulae of our logic give rise to NP-hard model checking problems.

引用

下载

页码：186 / 206

页数：21

共 50 条

[1] Facets of Distribution Identities in Probabilistic Team Semantics
Hannula, Miika
Hirvonen, Asa
Kontinen, Juha
Kulikov, Vadim
Virtema, Jonni
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 304 - 320
[2] Logics with Probabilistic Team Semantics and the Boolean Negation
Hannula, Miika
Hirvonen, Minna
Kontinen, Juha
Mahmood, Yasir
Meier, Arne
Virtema, Jonni
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 665 - 680
[3] Probabilistic Semantics
Pileggi, Salvatore F.
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE 2016 (ICCS 2016), 2016, 80 : 1834 - 1845
[4] Compactness in team semantics
Puljujarvi, Joni
Quadrellaro, Davide Emilio
MATHEMATICAL LOGIC QUARTERLY, 2024, 70 (02) : 142 - 161
[5] Dimension in team semantics
Hella, Lauri
Luosto, Kerkko
Vaananen, Jouko
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024, 34 (05) : 410 - 454
[6] Continuous Team Semantics
Hirvonen, Asa
Kontinen, Juha
Pauly, Arno
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2019, 2019, 11436 : 262 - 278
[7] Probabilistic approaches to semantics
Cohen, A
PROBABILISTIC LINGUISTICS, 2003, : 343 - 379
[8] Probabilistic game semantics
Danos, V
Harmer, R
15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 204 - 213
[9] Probabilistic Graded Semantics
Thimm, Matthias
Cerutti, Federico
Rienstra, Tjitze
COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2018), 2018, 305 : 369 - 380
[10] SEMANTICS OF PROBABILISTIC PROGRAMS
KOZEN, D
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 22 (03) : 328 - 350

← 1 2 3 4 5 →