Probabilistic Team Semantics

被引：26

作者：

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 条

[21] A Probabilistic Semantics for the Pure λ-Calculus
Di Pierro, Alessandra
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2017, 2017, 10580 : 70 - 76
[22] PROBABILISTIC SEMANTICS OF TERMINATING PROGRAMS
KAZMINA, EA
USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1988, 28 (02): : 82 - 88
[23] Probabilistic Semantics and Program Analysis
Di Pierro, Alessandra
Hankin, Chris
Wiklicky, Herbert
FORMAL METHODS FOR QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES, 2010, 6154 : 1 - +
[24] Symbolic Semantics for Probabilistic Programs
Voogd, Erik
Johnsen, Einar Broch
Silva, Alexandra
Susag, Zachary J.
Wasowski, Andrzej
QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2023, 2023, 14287 : 329 - 345
[25] Abstract interpretation of probabilistic semantics
Monniaux, D
STATIC ANALYSIS, 2000, 1824 : 322 - 339
[26] PROBABILISTIC LOGIC PROGRAMS AND THEIR SEMANTICS
DANTSIN, E
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 152 - 164
[27] Semantics of probabilistic belief logic
2000, Sci Press (37):
[28] Semantics of the probabilistic Lambda Calculus
Loreti, Michele
FORMAL ASPECTS OF COMPUTING, 2021, 33 (03) : 457 - 458
[29] A Probabilistic Semantics for Abstract Argumentation
Thimm, Matthias
20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 750 - 755
[30] Commutative Semantics for Probabilistic Programming
Staton, Sam
PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 855 - 879

← 1 2 3 4 5 →