Classical previous termConstraint Handling Rulesnext term (CHR) provide a powerful tool for specifying and implementing previous termconstraintnext term solvers and programs. The previous termrulesnext term of CHR rewrite previous termconstraintsnext term (non-deterministically) into simpler ones until they are solved.
In this paper we introduce an extension of previous termConstraint Handling Rulesnext term (CHR), namely previous termProbabilisticnext term CHRs (PCHR). These allow the previous termprobabilisticnext term "weighting" of previous termrules,next term specifying the probability of their application. In this way we are able to formalise various randomised algorithms such as for example Simulated Annealing.
The implementation is based on source-to-source transformation (STS). Using a recently developed prototype for STS for CHR, we could implement previous termprobabilisticnext term CHR in a concise way with a few lines of code in less than one hour.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.