Hydrogen-like atom: Difference between revisions
en>Helpful Pixie Bot m ISBNs (Build KC) |
|||
| Line 1: | Line 1: | ||
In [[theoretical computer science]], '''probabilistic bisimulation''' is an extension of the concept of [[bisimulation]] for fully probabilistic [[state transition system|transition systems]] first described by [[K.G. Larsen]] and [[A. Skou]].<ref>K. G. Larsen and A. Skou and appeared in the article ''Bisimulation through Probabilistic Testing'', published in Information and Computation, vol 94, pages 1-28, 1991</ref> | |||
A discrete probabilistic transition system is a triple | |||
: <math>S = (\operatorname{St}, \operatorname{Act}, \tau:\operatorname{St} \times \operatorname{Act}\times \operatorname{St}\rightarrow [0,1])</math> | |||
where <math>\tau(s,a,t)</math> gives the probability of starting in the state ''s'', performing the action ''a'' and ending up in the state ''t''. The set of states is assumed to be countable. There is no attempt to assign probabilities to actions. It is assumed that the actions are chosen nondeterministically by an adversary or by the environment. This type of system is fully probabilistic, there is no other indeterminacy. | |||
The definition of a probabilistic bisimulation on a system ''S'' is an equivalence relation ''R'' on the state space St, such that for every pair ''s'',''t'' in St with sRt and for every action a in Act and for every equivalence class ''C'' of ''R'' | |||
<math>\tau(s,a,C) = \tau(t,a,C).</math> Two states are said to be probabilistically bisimilar if there is some such ''R'' relating them. | |||
When applied to [[Markov chains]], probabilistic bisimulation is the same concept as [[lumpability]].<ref>[http://ieeexplore.ieee.org/ielx5/8606/27273/01212701.pdf?arnumber=1212701 Probabilistic Noninterference through Weak Probabilistic Bisimulation] by Geoffrey Smith Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW’03) 1063-6900/03</ref><ref> | |||
{{cite book | |||
| first = John G. | |||
| last = Kemeny | |||
| author-link = John George Kemeny | |||
| first2 = J. Laurie | |||
| last2 = Snell | |||
| editor-first = F. W. | |||
| editor-last = Gehring | |||
| editor2-first = P. R. | |||
| editor2-last = Halmos | |||
| title = Finite Markov Chains | |||
| edition = Second | |||
| origyear = 1960 | |||
| year = 1976 | |||
| month = July | |||
| publisher = Springer-Verlag | |||
| location = New York Berlin Heidelberg Tokyo | |||
| language = English | |||
| isbn = 978-0-387-90192-3 | |||
| pages = 224 | |||
}}</ref> | |||
==References== | |||
{{Reflist}} | |||
[[Category:Theoretical computer science]] | |||
Revision as of 11:03, 27 December 2013
In theoretical computer science, probabilistic bisimulation is an extension of the concept of bisimulation for fully probabilistic transition systems first described by K.G. Larsen and A. Skou.[1]
A discrete probabilistic transition system is a triple
![{\displaystyle S=(\operatorname {St} ,\operatorname {Act} ,\tau :\operatorname {St} \times \operatorname {Act} \times \operatorname {St} \rightarrow [0,1])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae60ca20339445218324dd38425e9b48555babed)
where gives the probability of starting in the state s, performing the action a and ending up in the state t. The set of states is assumed to be countable. There is no attempt to assign probabilities to actions. It is assumed that the actions are chosen nondeterministically by an adversary or by the environment. This type of system is fully probabilistic, there is no other indeterminacy.
The definition of a probabilistic bisimulation on a system S is an equivalence relation R on the state space St, such that for every pair s,t in St with sRt and for every action a in Act and for every equivalence class C of R Two states are said to be probabilistically bisimilar if there is some such R relating them.
When applied to Markov chains, probabilistic bisimulation is the same concept as lumpability.[2][3]
References
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
- ↑ K. G. Larsen and A. Skou and appeared in the article Bisimulation through Probabilistic Testing, published in Information and Computation, vol 94, pages 1-28, 1991
- ↑ Probabilistic Noninterference through Weak Probabilistic Bisimulation by Geoffrey Smith Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW’03) 1063-6900/03
- ↑
20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534