文献

J-GLOBAL ID：201802262679071456   整理番号：18A2157923

確率論的モデル検査を用いたDegroot影響問題の形式的解析【JST・京大機械翻訳】

Formal analysis of DeGroot Influence Problems using probabilistic model checking

著者 (3件)： Gyftopoulos Sotirios (Department of Electrical & Computer Engineering Democritus University of Thrace Office 4, Building A, University Campus, Xanthi 67100, Greece) ,  Efraimidis Pavlos S. (Department of Electrical & Computer Engineering Democritus University of Thrace Office 4, Building A, University Campus, Xanthi 67100, Greece) ,  Katsaros Panagiotis (Department of Informatics, Aristotle University of Thessaloniki, Thessaloniki 54124, Greece)
資料名： Simulation Modelling Practice and Theory  (Simulation Modelling Practice and Theory)
巻： 89  ページ： 144-159  発行年： 2018年 
JST資料番号： W0733A  ISSN： 1569-190X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： DeGrot学習は,社会ネットワークにおける意見拡散と形成のモデルである。著者らは,意見形成過程に影響を及ぼすことを目的とする外部戦略的プレイヤーが導入されたときのDeGrot学習モデルの挙動を調べた。より具体的には,単一意思決定者の場合と2つの競合するプレイヤーの場合を考慮し,それらの各々に対して一定数の可能な影響を持つ。前者の場合,DeGrootモデルはMarkov決定過程(MDP)の形をとるが,後者の場合は確率ゲーム(SG)の形をとる。これらのモデルは,モデル検査を超えた他の解法と同様に,確率論的モデル検査技術を用いて解いた。著者らの解析の実行可能性を良く知られたソーシャルネットワーク,Zacharyのkarateクラブについて試験した。最後に,意思決定者のコストと同時にソーシャルネットワークにおける影響の評価をサポートして,それを多目的モデル検査問題としてコード化した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *モデル検査 ,  学習 ,  *確率モデル ,  学習モデル ,  意思決定者 ,  *モデル
準シソーラス用語： 影響評価 ,  確率ゲーム ,  Markov決定過程 ,  プレイヤ ,  社会的ネットワーク , 【Automatic Indexing@JST】

著者キーワード (6件)： ソーシャルネットワーク ,  意見動力学 ,  Degrootモデル ,  確率ゲーム ,  確率モデル検査 ,  Zachary Karateクラブ

分類 (1件)： ゲーム理論  (KA03060T)

タイトルに関連する用語 (4件)： 確率論的モデル ,  検査 ,  問題 ,  解析