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 条

[31] 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
[32] PROBABILISTIC SEMANTICS, IDENTITY AND BELIEF
SEAGER, W
CANADIAN JOURNAL OF PHILOSOPHY, 1983, 13 (03) : 353 - 364
[33] A Probabilistic Semantics for Belief Logic
He, Jiaqi
Liu, Hu
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2021, 62 (04) : 643 - 659
[34] THE IMPORTANCE OF TRIVIALITY + PROBABILISTIC SEMANTICS
APPIAH, A
PHILOSOPHICAL REVIEW, 1986, 95 (02): : 209 - 231
[35] Probabilistic belief logic and its probabilistic Aumann semantics
ZiNing Cao
ChunYi Shi
Journal of Computer Science and Technology, 2003, 18 : 571 - 579
[36] Probabilistic belief logic and its probabilistic Aumann semantics
Cao, ZN
Shi, CY
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003, 18 (05) : 571 - 579
[37] Upwards closed dependencies in team semantics
Galliani, Pietro
INFORMATION AND COMPUTATION, 2015, 245 : 124 - 135
[38] Upwards Closed Dependencies in Team Semantics
Galliani, Pietro
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (119): : 93 - 106
[39] A Double Team Semantics for Generalized Quantifiers
Antti Kuusisto
Journal of Logic, Language and Information, 2015, 24 : 149 - 191
[40] Computational Aspects of Logics in Team Semantics
Kontinen, Juha
34TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2017), 2017, 66

← 1 2 3 4 5 →