文献

J-GLOBAL ID：202002241524222567   整理番号：20A1927895

有限トレース上のLDLK仕様に対するモデル検査マルチエージェントシステム【JST・京大機械翻訳】

Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces

著者 (2件)： Kong Jeremy (Imperial College London, London, United Kingdom) ,  Lomuscio Alessio (Imperial College London, London, United Kingdom)
資料名： ACM Proceedings  (ACM Proceedings)
号： AAMAS ’18  ページ： 166-174  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： マルチエージェントシステムの有限トレースで解釈された,エピステリック論理LDLKのバリアントである論理LDL_fKを導入した。LDL_fK仕様に対するマルチエージェントシステムの検証問題を検討し,異なるモデルと異なる仕様でのLDLK検証に対するLDL_fKモデル検査の縮小のためのアルゴリズムを与えた。得られた複雑性を解析し,PSPACE完全であることを示した。アルゴリズムの完全な実装について報告し,多数の例についてその性能を評価した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *マルチエージェントシステム ,  *モデル検査
準シソーラス用語： 複雑性 , 【Automatic Indexing@JST】

著者キーワード (4件)： 認識論的論理 ,  ldl ,  モデル検査 ,  検証

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (4件)： トレース ,  仕様 ,  モデル検査 ,  マルチエージェントシステム