Unified Foundations of Team Semantics via Semirings

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

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

External Research Organisations

  • University of Helsinki
  • The University of Sheffield
View graph of relations

Details

Original languageEnglish
Title of host publicationProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023
EditorsPierre Marquis, Tran Cao Son, Gabriele Kern-Isberner
Pages75-85
Number of pages11
ISBN (electronic)9781956792027
Publication statusPublished - 2023
Event20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 - Rhodes, Greece
Duration: 2 Sept 20238 Sept 2023

Publication series

NameProceedings of the International Conference on Knowledge Representation and Reasoning
ISSN (Print)2334-1025
ISSN (electronic)2334-1033

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.

ASJC Scopus subject areas

Cite this

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, KR 2023. ed. / Pierre Marquis; Tran Cao Son; Gabriele Kern-Isberner. 2023. p. 75-85 (Proceedings of the International Conference on Knowledge Representation and Reasoning).

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

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, KR 2023. Proceedings of the International Conference on Knowledge Representation and Reasoning, pp. 75-85, 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, 2 Sept 2023. https://doi.org/10.48550/arXiv.2303.07926, https://doi.org/10.24963/kr.2023/8
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, KR 2023 (pp. 75-85). (Proceedings of the International Conference on Knowledge Representation and Reasoning). https://doi.org/10.48550/arXiv.2303.07926, https://doi.org/10.24963/kr.2023/8
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, KR 2023. 2023. p. 75-85. (Proceedings of the International Conference on Knowledge Representation and Reasoning). doi: 10.48550/arXiv.2303.07926, 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, KR 2023. editor / Pierre Marquis ; Tran Cao Son ; Gabriele Kern-Isberner. 2023. pp. 75-85 (Proceedings of the International Conference on Knowledge Representation and Reasoning).
Download
@inproceedings{a8667d49d0fb4e7bae4c89b9d6bb9c52,
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.",
author = "Timon Barlag and Miika Hannula and Juha Kontinen and Nina Pardal and Jonni Virtema",
note = "Funding Information: Miika Hannula has been supported by the ERC grant 101020762. Juha Kontinen was partially funded by Academy of Finland grants 338259 and 345634. Nina Pardal was supported by the DFG grant VI 1045-1/1. Jonni Virtema was partially supported by the DFG grant VI 1045-1/1 and by Academy of Finland grant 345634. ; 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 ; Conference date: 02-09-2023 Through 08-09-2023",
year = "2023",
doi = "10.48550/arXiv.2303.07926",
language = "English",
series = "Proceedings of the International Conference on Knowledge Representation and Reasoning",
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, KR 2023",

}

Download

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 - Funding Information: Miika Hannula has been supported by the ERC grant 101020762. Juha Kontinen was partially funded by Academy of Finland grants 338259 and 345634. Nina Pardal was supported by the DFG grant VI 1045-1/1. Jonni Virtema was partially supported by the DFG grant VI 1045-1/1 and by Academy of Finland grant 345634.

PY - 2023

Y1 - 2023

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.

UR - http://www.scopus.com/inward/record.url?scp=85174212784&partnerID=8YFLogxK

U2 - 10.48550/arXiv.2303.07926

DO - 10.48550/arXiv.2303.07926

M3 - Conference contribution

AN - SCOPUS:85174212784

T3 - Proceedings of the International Conference on Knowledge Representation and Reasoning

SP - 75

EP - 85

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

A2 - Marquis, Pierre

A2 - Son, Tran Cao

A2 - Kern-Isberner, Gabriele

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

Y2 - 2 September 2023 through 8 September 2023

ER -

By the same author(s)