In this paper, we present a logic FPL (Frequentist Probability Logic) to reason about probabilities with a relative frequency interpretation. We show that it is possible to interpret the language of FPL with the standard semantics for propositional logic. FPL can give a peculiar frequentist interpretation of a probability operator. We then give a proof system for the language, prove that the traditional theorems of probability hold, and prove soundness and completeness.
Frequentist Probability Logic
Aldini, Alessandro
;Graziani, Pierluigi
;Tagliaferri, Mirko
2024
Abstract
In this paper, we present a logic FPL (Frequentist Probability Logic) to reason about probabilities with a relative frequency interpretation. We show that it is possible to interpret the language of FPL with the standard semantics for propositional logic. FPL can give a peculiar frequentist interpretation of a probability operator. We then give a proof system for the language, prove that the traditional theorems of probability hold, and prove soundness and completeness.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
