본문 바로가기
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의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

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

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