Hannula, M., Hirvonen, M., Kontinen, J. et al. (3 more authors) (2023) Logics with probabilistic team semantics and the Boolean negation. In: Gaggl, S., Martinez, M.V. and Ortiz, M., (eds.) Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), 20-22 Sep 2023, Dresden, Germany. Lecture Notes in Computer Science (LNAI 14281). Springer Cham , pp. 665-680. ISBN 9783031436185
Abstract
We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic independence logic with the Boolean negation, and a recently introduced logic FOPT. We give a comprehensive picture of the relative expressivity of these logics together with the most studied logics in probabilistic team semantics setting, as well as relating their expressivity to a numerical variant of second-order logic. In addition, we introduce novel entropy atoms and show that the extension of first-order logic by entropy atoms subsumes probabilistic independence logic. Finally, we obtain some results on the complexity of model checking, validity, and satisfiability of our logics.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG. This is an author-produced version of a paper subsequently published in Logics in Artificial Intelligence. JELIA 2023. Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | Probabilistic Team Semantics; Model Checking; Satisfiability; Validity; Computational Complexity; Expressivity of Logics |
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: | 13 Jul 2023 12:02 |
Last Modified: | 24 Sep 2024 00:13 |
Status: | Published |
Publisher: | Springer Cham |
Series Name: | Lecture Notes in Computer Science |
Refereed: | Yes |
Identification Number: | 10.1007/978-3-031-43619-2_45 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:201484 |