A logic to reason about likelihood |
| |
| Affiliation: | 1. Department of Mathematics, Hebrew University, Jerusalem, Israel;2. Aiken Computation Laboratory, Harvard University, Cambridge, MA 02138, U.S.A.;1. Institute of Nanoscience and Nanotechnology, Department of Physics, Central China Normal University, 430079, Wuhan, PR China;2. The Department of Physics and Electronic Engineering, Yancheng Teachers College, 224002, Yancheng, PR China;1. Division of Cardiothoracic Surgery, Department of Surgery, Washington University in St. Louis School of Medicine, St. Louis, Missouri;2. Department of Pathology and Immunology, Washington University in St. Louis School of Medicine, St. Louis, Missouri |
| |
| Abstract: | We present a logic LL which uses a modal operator L to help capture the notion of being likely. Despite the fact that likelihood is not assigned quantitative values through probabilities, LL captures many of the properties of likelihood in an intuitively appealing way. We give a possible-worlds style semantics to LL, and, using standard techniques of modal logic, we give a complete axiomatization for LL and show that satisfiability of LL formulas can be decided in exponential time. We discuss how the logic might be used in areas such as medical diagnosis, where decision making in the face of uncertainties is crucial. We conclude by using LL to give a formal proof of correctness of some aspects of a protocol for exchanging secrets. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
