Bayesian Propositional Logic

• Autorzy: Tomasz Jarmużek , Mateusz Klonowski , Jacek Malinowski
• Języki publikacji: EN

Abstrakty

EN

We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w , for all w, and give some formal properties of it.

Słowa kluczowe

EN

logical entailment; statistical inference; Bayesian inference; corroboration; confirmation

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2017
• Tom: 46
• Numer: 3/4

Daty

wydano

2017-12-30

Twórcy

autor

Tomasz Jarmużek

autor

Mateusz Klonowski

autor

Jacek Malinowski

Identyfikatory

DOI

10.18778/0138-0680.46.3.4.01