文献

J-GLOBAL ID：201702262209011660   整理番号：17A1346409

ファジィゲームグラフにおける到達可能性【Powered by NICT】

Reachability in Fuzzy Game Graphs

著者 (4件)： Pan Haiyu (College of Computer Science and Technology, Taizhou University, Taizhou, China) ,  Li Yongming (College of Computer Science, Shaanxi Normal University, Xi’an, China) ,  Cao Yongzhi (Key Laboratory of High Confidence Software Technologies, School of Electronics Engineering and Computer Science, Ministry of Education, and the Institute of Software, Peking University, Beijing, China) ,  Li Dechao (School of Mathematics, Physics and Information Science, Zhejiang Ocean University, Zhoushan, China)
資料名： IEEE Transactions on Fuzzy Systems  (IEEE Transactions on Fuzzy Systems)
巻： 25  号： 4  ページ： 972-984  発行年： 2017年 
JST資料番号： W0509A  ISSN： 1063-6706  CODEN： IEFSEV  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： グラフ(または略してゲームグラフ)およびそれらの確率的バージョンに二人,ベースゲームは計算機科学における注目,特に反応性システムの形式的検証を受けている。しかし,ファジィ環境における,ゲームグラフはいまだ取り組まれていない,それらの環境と相互作用するモデリングファジィシステムのような,いくつかの実用的な応用は,そのようなモデルに注目した。ギャップを埋めるために,本論文では,ゲームグラフのファジィ版を提案し,可到達性目的,ファジィ可到達性ゲーム(FRGs)を参照するファジィゲームグラフに焦点を当てた。西ドイツでは,一人のプレーヤの目標は,与えられた目標集合への到達の真理値を最大化することであるが,他のプレーヤは反対のことを目的とした。このフレームワークでは,FRGsは全ての状態では,二人の両方が同じ値であるという意味で決定した,両方のプレイヤの最適無記憶戦略が存在することを示した。さらに,すべての状態の値と選手の最適無記憶戦略を計算するために,西ドイツのサイズの多項式時間複雑性を達成する,アルゴリズムを設計した。FRGsの特別なクラスのために,状態の値を計算するための線形-対数実行時間を達成する改良アルゴリズムを提案した。加えて,著者らの動機づけと理論的展開を説明するいくつかの例。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： アルゴリズム ,  *曖昧さ ,  動機づけ ,  計算機科学 ,  線形性 ,  相互作用 ,  反応性 ,  対数 ,  *ゲーム
準シソーラス用語： 実行時間 ,  複雑性 ,  多項式時間 ,  プレイヤ ,  形式的検証 , 【Automatic Indexing@JST】

分類 (2件)： 制御工学一般  (IC01000V) ,  システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (1件)： 到達可能性