Automatically assigned DDC number: 005116

Manually assigned DDC number: 005116

Number of references: 0

Title: Implementing Randomised Algorithms in Constraint Logic Programming




Subject: Nicos Angelopoulos,Ra Di Pierro,Herbert Wiklicky Implementing Randomised Algorithms in Constraint Logic Programming

Description: We propose a declarative-based implementation of randomised algorithms, which exploits the Constraint Logic Programming (CLP) paradigm. For the high-level formalisation of probabilistic programs expressing such algorithms we actually refer to a generalisation of CLP, namely the Probabilistic Concurrent Constraint Programming (PCCP) language, previously introduced in [DW97]. This language provides a construct for probabilistic choice which allows us to express randomness in a program. PCCP also includes synchronisation and concurrency aspects. However, for the purpose of this work, the (probabilistic) CLP fragment of PCCP is sufficient. We present a meta-interpreter for this language. This is just a standard prolog meta-interpreter, suitably extended so as to deal with probabilistic choice. For the constraint solving, the meta-interpreter exploits existing constraint handling facilities (and in more concrete terms to the SICStus 3.#6 system). This is possible because the design of PCCP ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-10-08

Pubyear: 1998

Format: ps



Language: en

Rights: unrestricted


<?xml   version="1.0"   encoding="UTF-8"?>


      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Implementing   Randomised   Algorithms   in   Constraint   Logic   Programming">

            <identifier   Org="ISBN:0262600315"   Paper_ID="SELF"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540678859"   Paper_ID="SELF"   Extracted="3540678859"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540749691"   Paper_ID="SELF"   Extracted="3540749691"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.3333333333333333"   />