Statistical Epistemic Logic

DOI10.1007/978-3-030-31175-9_20MaRDI QIDQ6322040zbMATH OpenFDO

Authors Yusuke Kawamoto

Publication date 12 July 2019

Full work available at URL https://doi.org/10.1007/978-3-030-31175-9_20

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Foundations and philosophical topics in statistics (62A01) Privacy of data (68P27)

Abstract: We introduce a modal logic for describing statistical knowledge, which we call statistical epistemic logic. We propose a Kripke model dealing with probability distributions and stochastic assignments, and show a stochastic semantics for the logic. To our knowledge, this is the first semantics for modal logic that can express the statistical knowledge dependent on non-deterministic inputs and the statistical significance of observed results. By using statistical epistemic logic, we express a notion of statistical secrecy with a confidence level. We also show that this logic is useful to formalize statistical hypothesis testing and differential privacy in a simple and abstract manner.

Recommendations

• scientific article; zbMATH DE number 4189217
• Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
• A logical approach to multilevel security of probabilistic systems
• Towards Logical Specification of Statistical Machine Learning
• Towards Statistical Reasoning in Description Logics over Finite Domains

Cited in

(3)

• Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
• Towards Logical Specification of Statistical Machine Learning
• Formalizing statistical causality via modal logic

This page was built for publication: Statistical Epistemic Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6322040)