Distributing probability over non-determinism

نویسندگان

  • Daniele Varacca
  • Glynn Winskel
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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