Barlag, T., Hannula, M., Kontinen, J. et al. (2 more authors) (2023) Unified foundations of team semantics via semirings. In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. 20th International Conference on Principles of Knowledge Representation and Reasoning, 02-08 Sep 2023, Rhodes, Greece. IJCAI Organization , pp. 75-85. ISBN 9781956792027
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.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2023 International Joint Conferences on Artificial Intelligence Organization. This is an author-produced version of a paper subsequently published in Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | Uncertainty; vagueness; many-valued and fuzzy logics; Computational aspects of knowledge representation; Applications that combine KR with other areas |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Funding Information: | Funder Grant number DEUTSCHE FORSCHUNGSGEMEINSCHAFT 432788559 |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 07 Jul 2023 11:10 |
Last Modified: | 24 Aug 2023 10:33 |
Status: | Published |
Publisher: | IJCAI Organization |
Refereed: | Yes |
Identification Number: | 10.24963/kr.2023/8 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:201296 |