文献

J-GLOBAL ID：202002222599719027   整理番号：20A1928044

MASにおける定性的および定量的推論のためのパリティエネルギーATL【JST・京大機械翻訳】

Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS

著者 (2件)： Della Monica Dario (Istituto Nazionale di Alta Matematica, Rome, Italy) ,  Murano Aniello (Univeristy of Naples Federico II, Naples, Italy)
資料名： ACM Proceedings  (ACM Proceedings)
号： AAMAS ’18  ページ： 1441-1449  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,(チーム)エージェントが定性的(パリティ)および定量的(エネルギー)制約を受けるマルチエージェントシステムの戦略的能力に関する理由に適切な新しい論理を導入し,そして,目標を時間特性によって通常として表現する。パリティ-エネルギー-ATL(pe-ATL)と名付けたそのような論理を形式的に定義し,そのモデル検査問題を研究し,エネルギー範囲に対する異なる選択に依存して,異なる複雑性上限で決定可能であることを証明した。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件)： モデル検査 ,  定性 ,  定量 ,  戦略的推論

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (6件)： MAS ,  定量 ,  推論 ,  パリティ ,  エネルギー ,  ATL