dc.contributor.author | BUTTERFIELD, ANDREW | en |
dc.contributor.author | BRESCIANI, RICCARDO | en |
dc.date.accessioned | 2010-12-09T14:40:55Z | |
dc.date.available | 2010-12-09T14:40:55Z | |
dc.date.created | August | en |
dc.date.issued | 2011 | en |
dc.date.submitted | 2011 | en |
dc.identifier.citation | Riccardo Bresciani, Andrew Butterfield, Towards a UTP-style framework to deal with probabilities, Dublin, Ireland, TCD-CS Technical Reports, August, 2011 | en |
dc.identifier.other | N | en |
dc.identifier.uri | http://hdl.handle.net/2262/41255 | |
dc.description | PUBLISHED | en |
dc.description | Dublin, Ireland | en |
dc.description.abstract | We present an encoding of the semantics of the probabilistic guarded command language (pGCL) in the Unifying Theories of Programming (UTP) framework. Our contribution is a UTP encoding that captures pGCL programs as predicate-transformers, on predicates over probability distributions on before- and after-states: these predicates capture the same information as the models traditionally used to give semantics to pGCL; in addition our formulation allows us to de?ne a generic choice construct, that covers conditional, probabilistic and non-deterministic choice. We introduce the concept of probabilistic re?nement in this framework. This technical report gives a rigourous presentation of our framework, along with a variety of proofs and examples (including the well-known Monty Hall problem), that help to explain it. | en |
dc.format.extent | 1-29 | en |
dc.language.iso | en | en |
dc.publisher | TCD-CS Technical Reports | en |
dc.rights | Y | en |
dc.subject | Computer Science | en |
dc.title | Towards a UTP-style framework to deal with probabilities | en |
dc.type | Report | en |
dc.type.supercollection | scholarly_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | en |
dc.identifier.rssinternalid | 69715 | en |
dc.status.publicpolicy | N | en |
dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
dc.contributor.sponsorGrantNumber | 03/CE2/1303 | en |
dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
dc.contributor.sponsorGrantNumber | 08/RFP/CMS1277 | en |