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 条

[41] A Double Team Semantics for Generalized Quantifiers
Kuusisto, Antti
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2015, 24 (02) : 149 - 191
[42] Separation logic and logics with team semantics
Haase, Darion
Graedel, Erich
Wilke, Richard
ANNALS OF PURE AND APPLIED LOGIC, 2022, 173 (10)
[43] Semantics and inference for probabilistic description logics
Zese, Riccardo
Bellodi, Elena
Lamma, Evelina
Riguzzi, Fabrizio
Aguiari, Fabiano
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8816 : 79 - 99
[44] Probabilistic Semantics for a Discussive Temporal Logic
Ciuni, Roberto
Proietti, Carlo
LOGICA YEARBOOK 2012, 2013, : 1 - 13
[45] Probabilistic Semantics and Pragmatics for the Language of Uncertainty
Kaufmann, Stefan
SOFT METHODS FOR DATA SCIENCE, 2017, 456 : 285 - 291
[46] STABLE SEMANTICS FOR PROBABILISTIC DEDUCTIVE DATABASES
NG, R
SUBRAHMANIAN, VS
INFORMATION AND COMPUTATION, 1994, 110 (01) : 42 - 83
[47] QUANTITATIVE AUTOMATA UNDER PROBABILISTIC SEMANTICS
Chatterjee, Krishnendu
Henzinger, Thomas A.
Otop, Jan
LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (03)
[48] PROBABILISTIC SEMANTICS FOR NONMONOTONIC REASONING - A SURVEY
PEARL, J
PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 505 - 516
[49] Towards a Probabilistic Semantics for Vague Adjectives
Sutton, Peter R.
BAYESIAN NATURAL LANGUAGE SEMANTICS AND PRAGMATICS, 2015, : 221 - 246
[50] Semantics of Ranking Queries for Probabilistic Data
Jestes, Jeffrey
Cormode, Graham
Li, Feifei
Yi, Ke
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2011, 23 (12) : 1903 - 1917

← 1 2 3 4 5 →