文献

J-GLOBAL ID：201902273945443812   整理番号：19A1938955

双類似性のための共密度ゲーム【JST・京大機械翻訳】

Codensity Games for Bisimilarity

著者 (5件)： Komorida Yuichi (The Graduate University for Advanced Studies (SOKENDAI), Hayama, Japan) ,  Katsumata Shin-ya (National Institute of Informatics, Tokyo, Japan) ,  Hu Nick (University of Oxford, United Kingdom) ,  Klin Bartek (University of Warsaw, Poland) ,  Hasuo Ichiro (The Graduate University for Advanced Studies (SOKENDAI), Hayama, Japan)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： LICS  ページ： 1-13  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： システムの等価性概念としての双類似性は,プロセス理論の中心となっている。定量的システム(確率論的,重みづけ,ハイブリッドなど)における最近の関心の高まりにより,双類似性は様々な方法で拡張されている。すなわち,確率システム間のバイシミュレーション計量である。双類似性の重要な特徴はそのゲーム理論的特性化であり,そこではSpoilerとDuplicatorが互いに対抗する。定量的設定への双類似性ゲームの拡張も活発に追求されている。本論文において,著者らは,双類似性のような概念のゲーム特性化を一様に記述する一般的フレームワークを提示した。著者らのフレームワークは,fibrationsと共代数学を用いて分類的に形式化される。特に,融合述語変圧器に関する双類似性の特性化により,共密度双類似性ゲームを導出することができる。すなわち,双類似性の一般的カテゴリーゲーム特性化である。著者らのフレームワークは,新しいもの(バイシミュレーショントポロジーと呼ぶものを含む)と同様に,既知の双類似性のような概念(バイシミュレーションメトリックのような)をカバーする。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *類似性 ,  重みづけ ,  *ゲーム ,  ゲーム理論 ,  確率論 ,  変圧器 ,  確率系 ,  等価性 ,  キャラクタリゼーション ,  代数学
準シソーラス用語： 述語 ,  バイシミュレーション , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (3件)： 類似性 ,  密度 ,  ゲーム