DeepAI AI Chat
Log In Sign Up

Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs

by   Yusuke Kawamoto, et al.

We propose a new approach to formally describing the requirement for statistical inference and checking whether a program uses the statistical method appropriately. Specifically, we define belief Hoare logic (BHL) for formalizing and reasoning about the statistical beliefs acquired via hypothesis testing. This program logic is sound and relatively complete with respect to a Kripke model for hypothesis tests. We demonstrate by examples that BHL is useful for reasoning about practical issues in hypothesis testing. In our framework, we clarify the importance of prior beliefs in acquiring statistical beliefs through hypothesis testing, and discuss the whole picture of the justification of statistical inference inside and outside the program logic.


page 1

page 2

page 3

page 4


New Upper Bounds in the Hypothesis Testing Problem with Information Constraints

We consider a hypothesis testing problem where a part of data cannot be ...

Permutation-based Hypothesis Testing for Neural Networks

Neural networks are powerful predictive models, but they provide little ...

A fuzzy take on the logical issues of statistical hypothesis testing

Statistical Hypothesis Testing (SHT) is a class of inference methods whe...

Randomness and Statistical Inference of Shapes via the Smooth Euler Characteristic Transform

In this paper, we provide the mathematical foundations for the randomnes...

A New Approach for Revising Logic Programs

Belief revision has been studied mainly with respect to background logic...

History and Nature of the Jeffreys-Lindley Paradox

The Jeffreys-Lindley paradox exposes a rift between Bayesian and frequen...