Home >

news Help

Publication Information


Title
Japanese:Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic 
English:Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic 
Author
Japanese: 川本裕輔, 佐藤哲也, 末永 幸平.  
English: Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga.  
Language English 
Journal/Book name
Japanese:Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning 
English:Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning 
Volume, Number, Page        
Published date Sept. 2021 
Publisher
Japanese: 
English: 
Conference name
Japanese: 
English:18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) 
Conference site
Japanese: 
English: 
Official URL http://dx.doi.org/10.24963/kr.2021/39
 
DOI https://doi.org/10.24963/kr.2021/39
Abstract <jats:p>We propose a new approach to formally describing the requirement for statistical inference and checking whether the statistical method is appropriately used in a program. Specifically, we define belief Hoare logic (BHL) for formalizing and reasoning about the statistical beliefs acquired via hypothesis testing. This logic is equipped with axiom schemas for hypothesis tests and rules for multiple tests that can be instantiated to a variety of concrete tests. To the best of our knowledge, this is the first attempt to introduce a program logic with epistemic modal operators that can specify the preconditions for hypothesis tests to be applied appropriately.</jats:p>

©2007 Tokyo Institute of Technology All rights reserved.