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 条

[41] Probabilistic Semantics for a Discussive Temporal Logic
Ciuni, Roberto
Proietti, Carlo
LOGICA YEARBOOK 2012, 2013, : 1 - 13
[42] Probabilistic Semantics and Pragmatics for the Language of Uncertainty
Kaufmann, Stefan
SOFT METHODS FOR DATA SCIENCE, 2017, 456 : 285 - 291
[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] STABLE SEMANTICS FOR PROBABILISTIC DEDUCTIVE DATABASES
NG, R
SUBRAHMANIAN, VS
INFORMATION AND COMPUTATION, 1994, 110 (01) : 42 - 83
[45] A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART A
Leitgeb, Hannes
REVIEW OF SYMBOLIC LOGIC, 2012, 5 (01): : 26 - 84
[46] QUANTITATIVE AUTOMATA UNDER PROBABILISTIC SEMANTICS
Chatterjee, Krishnendu
Henzinger, Thomas A.
Otop, Jan
LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (03)
[47] On the Semantics and Complexity of Probabilistic Logic Programs
Cozman, Fabio Gagliardi
Maua, Denis Deratani
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017, 60 : 221 - 262
[48] Towards a Probabilistic Semantics for Vague Adjectives
Sutton, Peter R.
BAYESIAN NATURAL LANGUAGE SEMANTICS AND PRAGMATICS, 2015, : 221 - 246
[49] A probabilistic data model and its semantics
Zhang, SC
Zhang, CQ
JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, 2003, 35 (04): : 237 - 256
[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 →