Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs.
Yusuke KawamotoTetsuya SatoKohei SuenagaPublished in: Artif. Intell. (2024)
Keyphrases
- statistical hypothesis testing
- modal logic
- dynamic logic
- set of inference rules
- sample size
- truth values
- provably correct
- probability theory
- logic programming
- modal operators
- inference rules
- predicate logic
- multi valued
- computational properties
- data mining
- formal theory
- computer programs
- agent programming
- belief set
- functional programs
- propositional variables
- belief revision