Facets of Distribution Identities in Probabilistic Team Semantics

Näytä kaikki kuvailutiedot



Pysyväisosoite

http://hdl.handle.net/10138/310088

Lähdeviite

Hannula , M , Hirvonen , Å , Kontinen , J , Kulikov , V & Virtema , J 2019 , Facets of Distribution Identities in Probabilistic Team Semantics . in F Calimeri , N Leone & M Manna (eds) , Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings . vol. 11468 , Lecture Notes in Computer Science , vol. 11468 , Springer , pp. 304-320 , The 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) , 07/05/2019 . https://doi.org/10.1007/978-3-030-19570-0_20

Julkaisun nimi: Facets of Distribution Identities in Probabilistic Team Semantics
Tekijä: Hannula, Miika; Hirvonen, Åsa; Kontinen, Juha; Kulikov, Vadim; Virtema, Jonni
Muu tekijä: Calimeri, Francesco
Leone, Nicola
Manna, Marco
Tekijän organisaatio: Department of Mathematics and Statistics
Julkaisija: Springer
Päiväys: 2019
Kieli: eng
Sivumäärä: 17
Kuuluu julkaisusarjaan: Logics in Artificial Intelligence
Kuuluu julkaisusarjaan: Lecture Notes in Computer Science
ISBN: 9783030195694
9783030195700
ISSN: 0302-9743
DOI-tunniste: https://doi.org/10.1007/978-3-030-19570-0_20
URI: http://hdl.handle.net/10138/310088
Tiivistelmä: We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different probabilistic atoms such as conditional independence and different variants of marginal distribution equivalences. We also relate the framework to the first-order theory of the reals and apply our methods to the open question on the complexity of the implication problem of conditional independence.
Avainsanat: 111 Mathematics
Team semantics
Probabilistic logic
Conditional independence
Vertaisarvioitu: Kyllä
Pääsyrajoitteet: openAccess
Rinnakkaistallennettu versio: acceptedVersion


Tiedostot

Latausmäärä yhteensä: Ladataan...

Tiedosto(t) Koko Formaatti Näytä
1812.05873.pdf 259.1KB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot