Unified Foundations of Team Semantics via Semirings

Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema

doi:10.24963/kr.2023/8

Unified Foundations of Team Semantics via Semirings

Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

Abstract

Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of dependence and independence in diverse contexts such as databases, quantum mechanics, and statistics by extending first-order logic with atoms that describe dependencies between variables. Combining these two, we propose a unifying approach for analysing the concepts of dependence and independence via a novel semiring team semantics, which subsumes all the previously considered variants for first-order team semantics. In particular, we study the preservation of satisfaction of dependencies and formulae between different semirings. In addition we create links to reasoning tasks such as provenance, counting, and repairs.

Original language	English
Title of host publication	Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning
Editors	Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner
Publisher	IJCAI Organization
Pages	75-85
Number of pages	11
ISBN (Print)	9781956792027
DOIs	https://doi.org/10.24963/kr.2023/8
Publication status	Published - 2 Sept 2023
Externally published	Yes
Event	20th International Conference on Principles of Knowledge Representation and Reasoning - Rhodes, Greece Duration: 2 Sept 2023 → 8 Sept 2023 Conference number: 20

Publication series

Name	International Conference on Principles of Knowledge Representation and Reasoning
Publisher	IJCAI Organization
Volume	2023
ISSN (Print)	2334-1033

Conference

Conference	20th International Conference on Principles of Knowledge Representation and Reasoning
Abbreviated title	KR-2023
Country/Territory	Greece
City	Rhodes
Period	2/09/23 → 8/09/23

Access to Document

10.24963/kr.2023/8Licence: Unspecified

Cite this

Barlag, T., Hannula, M., Kontinen, J., Pardal, N., & Virtema, J. (2023). Unified Foundations of Team Semantics via Semirings. In P. Marquis, T. C. Son, & G. Kern-Isberner (Eds.), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (pp. 75-85). (International Conference on Principles of Knowledge Representation and Reasoning; Vol. 2023). IJCAI Organization. https://doi.org/10.24963/kr.2023/8

Barlag, Timon ; Hannula, Miika ; Kontinen, Juha et al. / Unified Foundations of Team Semantics via Semirings. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. editor / Pierre Marquis ; Tran Cao Son ; Gabriele Kern-Isberner. IJCAI Organization, 2023. pp. 75-85 (International Conference on Principles of Knowledge Representation and Reasoning).

@inproceedings{aeba3add5c014a3fb80d010bc0c677e0,

title = "Unified Foundations of Team Semantics via Semirings",

abstract = "Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of dependence and independence in diverse contexts such as databases, quantum mechanics, and statistics by extending first-order logic with atoms that describe dependencies between variables. Combining these two, we propose a unifying approach for analysing the concepts of dependence and independence via a novel semiring team semantics, which subsumes all the previously considered variants for first-order team semantics. In particular, we study the preservation of satisfaction of dependencies and formulae between different semirings. In addition we create links to reasoning tasks such as provenance, counting, and repairs.",

keywords = "Semiring semantics, Team semantics, Data provenance",

author = "Timon Barlag and Miika Hannula and Juha Kontinen and Nina Pardal and Jonni Virtema",

year = "2023",

month = sep,

day = "2",

doi = "10.24963/kr.2023/8",

language = "English",

isbn = "9781956792027",

series = "International Conference on Principles of Knowledge Representation and Reasoning",

publisher = "IJCAI Organization",

pages = "75--85",

editor = "Pierre Marquis and Son, \{Tran Cao\} and Gabriele Kern-Isberner",

booktitle = "Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning",

note = "20th International Conference on Principles of Knowledge Representation and Reasoning, KR-2023 ; Conference date: 02-09-2023 Through 08-09-2023",

}

Barlag, T, Hannula, M, Kontinen, J, Pardal, N & Virtema, J 2023, Unified Foundations of Team Semantics via Semirings. in P Marquis, TC Son & G Kern-Isberner (eds), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. International Conference on Principles of Knowledge Representation and Reasoning, vol. 2023, IJCAI Organization, pp. 75-85, 20th International Conference on Principles of Knowledge Representation and Reasoning, Rhodes, Greece, 2/09/23. https://doi.org/10.24963/kr.2023/8

Unified Foundations of Team Semantics via Semirings. / Barlag, Timon; Hannula, Miika; Kontinen, Juha et al.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. ed. / Pierre Marquis; Tran Cao Son; Gabriele Kern-Isberner. IJCAI Organization, 2023. p. 75-85 (International Conference on Principles of Knowledge Representation and Reasoning; Vol. 2023).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Unified Foundations of Team Semantics via Semirings

AU - Barlag, Timon

AU - Hannula, Miika

AU - Kontinen, Juha

AU - Pardal, Nina

AU - Virtema, Jonni

N1 - Conference code: 20

PY - 2023/9/2

Y1 - 2023/9/2

N2 - Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of dependence and independence in diverse contexts such as databases, quantum mechanics, and statistics by extending first-order logic with atoms that describe dependencies between variables. Combining these two, we propose a unifying approach for analysing the concepts of dependence and independence via a novel semiring team semantics, which subsumes all the previously considered variants for first-order team semantics. In particular, we study the preservation of satisfaction of dependencies and formulae between different semirings. In addition we create links to reasoning tasks such as provenance, counting, and repairs.

AB - Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of dependence and independence in diverse contexts such as databases, quantum mechanics, and statistics by extending first-order logic with atoms that describe dependencies between variables. Combining these two, we propose a unifying approach for analysing the concepts of dependence and independence via a novel semiring team semantics, which subsumes all the previously considered variants for first-order team semantics. In particular, we study the preservation of satisfaction of dependencies and formulae between different semirings. In addition we create links to reasoning tasks such as provenance, counting, and repairs.

KW - Semiring semantics

KW - Team semantics

KW - Data provenance

UR - https://proceedings.kr.org/2023/

U2 - 10.24963/kr.2023/8

DO - 10.24963/kr.2023/8

M3 - Conference contribution

SN - 9781956792027

T3 - International Conference on Principles of Knowledge Representation and Reasoning

SP - 75

EP - 85

BT - Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning

A2 - Marquis, Pierre

A2 - Son, Tran Cao

A2 - Kern-Isberner, Gabriele

PB - IJCAI Organization

T2 - 20th International Conference on Principles of Knowledge Representation and Reasoning

Y2 - 2 September 2023 through 8 September 2023

ER -

Barlag T, Hannula M, Kontinen J, Pardal N, Virtema J. Unified Foundations of Team Semantics via Semirings. In Marquis P, Son TC, Kern-Isberner G, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization. 2023. p. 75-85. (International Conference on Principles of Knowledge Representation and Reasoning). doi: 10.24963/kr.2023/8

Unified Foundations of Team Semantics via Semirings

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this