Two Remarks on Counting Propositional Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Two Remarks on Counting Propositional Logic

Résumé

Counting propositional logic was recently introduced in relation to randomized computation and shown able to logically characterize the full counting hierarchy [1 ]. This paper aims to clarify the nature and expressive power of its univariate fragment. On the one hand, we make the connection of our logic with stochastic experiments explicit, proving that any (and only) event(s) associated with dyadic distribution can be simulated in this formalism. On the other, we provide an effective procedure to measure the probability of counting formulas.
Fichier non déposé

Dates et versions

hal-03921654 , version 1 (04-01-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-03921654 , version 1

Citer

Melissa Antonelli. Two Remarks on Counting Propositional Logic. BEWARE 2022 - 1st Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming, Dec 2022, Udine, Italy. ⟨hal-03921654⟩
33 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More