Distributing probability over non-determinism
نویسندگان
چکیده
We study the combination of probability and nondeterminism from a categorical point of view. In category theory, nondeterminism and probability are represented by suitable monads. Those two monads do not combine well, as they are. To overcome this problem we introduce the notion of indexed valuations. This notion is used to define a new monad that can be combined with the usual nondeterministic monad via a categorical distributive law. We give an equational characterization of our construction. We discuss the computational meaning of indexed valuations, and we show how they can be used by giving a denotational semantics of a simple imperative language.
منابع مشابه
Physical Probability
By “physical probability” I mean the empirical concept of probability in ordinary language. It can be represented as a function of an experiment type and an outcome type, which explains how non-extreme physical probabilities are compatible with determinism. Two principles, called specification and independence, put restrictions on the existence of physical probabilities, while a principle of di...
متن کاملNon-deterministic approximation of photon number discriminating detectors using non-discriminating detectors
We present a scheme for non-deterministically approximating photon number resolving detectors using non-discriminating detectors. The model is simple in construction and employs very few physical resources. Despite its non-determinism, the proposal may nonetheless be suitable for use in some quantum optics experiments in which non-determinism can be tolerated. We analyze the detection scheme in...
متن کاملResource-Distribution via Boolean Constraint (Extended Abstract)
Proof-search (the basis of logic programming) with multiplicative inference rules, such as linear logic's R and OL, is problematic because of the required non-deterministic splitting of resources. Similarly , searching with additive rules such as NL and R requires a non-deterministic choice between two formulae. Many strategies which resolve such non-determinism, either locally or globally, are...
متن کاملProbability, Modality and Triviality
Many philosophers accept the following three theses: (1) that probability is amodal concept; (2) that, if determinism is true, therewould still be objective modal facts; and (3) that if determinism is true, there are no genuine objective probabilities (chances). I argue that these 3 claims are inconsistent, and that their widespread acceptance is thus quite troubling. I suggest, as others have,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 16 شماره
صفحات -
تاریخ انتشار 2006