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

08/15/2022
by   Yusuke Kawamoto, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/07/2020

New Upper Bounds in the Hypothesis Testing Problem with Information Constraints

We consider a hypothesis testing problem where a part of data cannot be ...
research
01/26/2023

Permutation-based Hypothesis Testing for Neural Networks

Neural networks are powerful predictive models, but they provide little ...
research
06/14/2022

50 shades of Bayesian testing of hypotheses

Hypothesis testing and model choice are quintessential questions for sta...
research
06/24/2021

A fuzzy take on the logical issues of statistical hypothesis testing

Statistical Hypothesis Testing (SHT) is a class of inference methods whe...
research
03/31/2016

A New Approach for Revising Logic Programs

Belief revision has been studied mainly with respect to background logic...
research
11/19/2021

History and Nature of the Jeffreys-Lindley Paradox

The Jeffreys-Lindley paradox exposes a rift between Bayesian and frequen...
research
02/17/2018

Statistical Reasoning: Choosing and Checking the Ingredients, Inferences Based on a Measure of Statistical Evidence with Some Applications

The features of a logically sound approach to a theory of statistical re...

Please sign up or login with your details

Forgot password? Click here to reset