文献

J-GLOBAL ID：201702287328134625   整理番号：17A1357447

Markov過程のための非制限石双対性【Powered by NICT】

Unrestricted stone duality for Markov processes

著者 (5件)： Furber Robert (Aalborg University, Denmark) ,  Kozen Dexter (Cornell University, USA) ,  Larsen Kim (Aalborg University, Denmark) ,  Mardare Radu (Aalborg University, Denmark) ,  Panangaden Prakash (McGill University, Montreal, Canada)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： LICS  ページ： 1-9  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Stone双対性は,ブール代数の形で,空間への論理を関係づける。石型双対性は計算機科学における多くと計算モデル間の関係とそれらに関する推論に用いられる言語を理解することに大いに利用されてきた。確率的プロセスに関する最近の研究は,制限されたクラスMarkov過程のための石型双対性を確立した。二重カテゴリーのAumann代数 これは合理的な確率によって指数付け様式の可算ファミリーを備えたBoole代数である新しい概念であった。本論文では,実際に生じる多くの測定可能な空間のための双対性であることをマルコフ過程のための二重付加をもたらすことをAumann代数の代替定義を考察した。Sikorskiに起因する測定可能な空間のための双対性を拡張した。特に,確率的方法はclopen集合の識別塩基を保存する,Markov過程の射はそのことを必要としない。余分な一般性をAumann代数上の事象バイシミュレーションの明快な定義を与えることを可能にした。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 言語 ,  Boole代数 ,  確率過程 ,  *Markov過程 ,  普遍性 ,  計算機科学 ,  代数学 ,  *双対性 ,  計算モデル ,  重付加
準シソーラス用語： バイシミュレーション ,  確率的方法 , 【Automatic Indexing@JST】

分類 (4件)： 人工知能  (JE08000Z) ,  システム・制御理論一般  (IA02010H) ,  信頼性  (KB04040H) ,  論理代数  (JB03000H)

タイトルに関連する用語 (3件)： Markov過程 ,  制限 ,  双対性