A logical duality for underspecified probabilistic systems (Q532396): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
(One intermediate revision by one other user not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.ic.2010.12.005 / rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.IC.2010.12.005 / rank | |||
Normal rank |
Latest revision as of 20:42, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A logical duality for underspecified probabilistic systems |
scientific article |
Statements
A logical duality for underspecified probabilistic systems (English)
0 references
4 May 2011
0 references
A simple structure, infLMP (essentially partial specification of labeled Markov processes), that encodes non-determinism and probabilistic behaviour (its transitions satisfy super-additivity instead of additivity) is introduced. A Stone-type duality between specifications and imfLMP is established. The duality puts in relation the category of infLMPs and a category of abstract representations of them based on properties only. A Galois connection between these categories is exhibited. The duality also shows that an imfLMP can be considered as a demonic representative of a system's information. Moreover, it carries forward a view where states are less important, and events, or properties, become the main characters, as it should be in probability theory. It is shown that bisimulation and simulation are naturally interpreted in this setting, and the interesting relationship between infLMPs and the usual probabilistic modal logics is exhibited.
0 references
probabilistic processes
0 references
duality
0 references
modal logic
0 references
underspecified processes
0 references
bisimulation
0 references
Galois connection
0 references