Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs

DOI10.1016/j.artint.2023.104045arXiv2208.07074OpenAlexW4388571844MaRDI QIDQ6152664

No author found.

Publication date: 13 February 2024

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2208.07074

zbMATH Keywords

knowledge representationKripke modelepistemic logicprogram logicstatistical hypothesis testing

Mathematics Subject Classification ID

Foundations and philosophical topics in statistics (62A01) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• From knowledge-based programs to graded belief-based programs. I: On-line reasoning
• A logic for default reasoning
• Reasoning about noisy sensors and effectors in the situation calculus
• Deductive software verification: from pen-and-paper proofs to industrial tools
• Architecture-guided test resource allocation via logic
• Fifty years of Hoare's logic
• An essay in modal logic
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
• Dynamic Epistemic Logic and Knowledge Puzzles
• The Undecidability of Monadic Modal Quantification Theory
• Soundness and Completeness of an Axiom System for Program Verification
• GOLOG: A logic programming language for dynamic domains
• A First Course in Fuzzy Logic
• Logical Foundations of Cyber-Physical Systems
• IX. On the problem of the most efficient tests of statistical hypotheses
• Knowledge-based programs
• Fuzzy sets
• An axiomatic basis for computer programming
• The ASA Statement on p-Values: Context, Process, and Purpose