본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

Journal of logic and computation v.27 no.1, 2017년, pp.357 - 394  

Stochastic non-determinism and effectivity functions

Doberkat, Ernst-Erich ; Sá ; nchez Terraf, Pedro ;
  • 초록  

    This article investigates stochastic non-determinism on continuous state spaces by relating non-deterministic kernels and stochastic effectivity functions to each other. Non-deterministic kernels are functions assigning each state a set of subprobability measures, and effectivity functions assign to each state an upper-closed set of subsets of measures. Both concepts are generalizations of Markov kernels used for defining two different models: non-deterministic labelled Markov processes and stochastic game models, respectively. We show that an effectivity function that maps into principal filters is given by an image-countable non-deterministic kernel, and that image-finite kernels give rise to effectivity functions. We define state bisimilarity for the latter, considering its connection to morphisms. We provide a logical characterization of bisimilarity in the finitary case. A generalization of congruences (event bisimulations) to effectivity functions and its relation to the categorical presentation of bisimulation are also studied.


  • 주제어

    Stochastic effectivity function .   non-deterministic labelled Markov process .   state bisimilarity .   coalgebra.  

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • 원문이 없습니다.
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 출판된 논문 + 더보기