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 条

[21] 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
[22] Abstract interpretation of probabilistic semantics
Monniaux, D
STATIC ANALYSIS, 2000, 1824 : 322 - 339
[23] PROBABILISTIC LOGIC PROGRAMS AND THEIR SEMANTICS
DANTSIN, E
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 152 - 164
[24] Semantics of probabilistic belief logic
2000, Sci Press (37):
[25] Semantics of the probabilistic Lambda Calculus
Loreti, Michele
FORMAL ASPECTS OF COMPUTING, 2021, 33 (03) : 457 - 458
[26] A Probabilistic Semantics for Abstract Argumentation
Thimm, Matthias
20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 750 - 755
[27] Probabilistic Semantics and Program Analysis
Di Pierro, Alessandra
Hankin, Chris
Wiklicky, Herbert
FORMAL METHODS FOR QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES, 2010, 6154 : 1 - +
[28] Commutative Semantics for Probabilistic Programming
Staton, Sam
PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 855 - 879
[29] A Probabilistic Semantics for Cognitive Maps
Le Dorze, Aymeric
Duval, Beatrice
Garcia, Laurent
Genest, David
Leray, Philippe
Loiseau, Stephane
AGENTS AND ARTIFICIAL INTELLIGENCE, ICAART 2014, 2015, 8946 : 151 - 169
[30] PROBABILISTIC SEMANTICS, IDENTITY AND BELIEF
SEAGER, W
CANADIAN JOURNAL OF PHILOSOPHY, 1983, 13 (03) : 353 - 364

← 1 2 3 4 5 →