Bayesian Propositional Logic | Zendy

Tomasz Jarmużek | Zendy; Mateusz Klonowski | Zendy; Jacek Malinowski | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Bayesian Propositional Logic

Author(s) -

Tomasz Jarmużek,

Mateusz Klonowski,

Jacek Malinowski

Publication year - 2017

Publication title -

bulletin of the section of logic

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.225

H-Index - 13

eISSN - 2449-836X

pISSN - 0138-0680

DOI - 10.18778/0138-0680.46.3.4.01

Subject(s) - intersection (aeronautics) , probabilistic logic , propositional calculus , propositional formula , mathematics , discrete mathematics , propositional variable , computer science , theoretical computer science , intermediate logic , artificial intelligence , description logic , engineering , aerospace engineering

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research