Details
Original language | English |
---|---|
Title of host publication | Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 |
Editors | Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner |
Pages | 75-85 |
Number of pages | 11 |
ISBN (electronic) | 9781956792027 |
Publication status | Published - 2023 |
Event | 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 - Rhodes, Greece Duration: 2 Sept 2023 → 8 Sept 2023 |
Publication series
Name | Proceedings 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.
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
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 proceeding › Conference contribution › Research › 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 - 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 -