| 研究課題/領域番号 |
26280092
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
井上 克巳 国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
|
|---|
| 研究分担者 |
沖本 天太 神戸大学, 海事科学研究科(研究院), 准教授 (10632432)
NICOLAS Schwind 大学共同利用機関法人情報・システム研究機構, 新領域融合センター, 特任助教 (60646397)
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2018-03-31
|
| キーワード | 探索 / 論理 / 推論 / レジリエンス / 制約最適化 / 多目的最適化 / ロバスト性 |
|---|
| 研究実績の概要 |
本研究では、外乱に対して耐性があり、機能が持続的であるようなレジリエントなシステムを定式化し、推論問題を考え、システム設計に役立てることを目指している。当初の研究計画に従い、 A. レジリエントなシステムのモデル化、B. システムのレジリエンス性に関する推論、C. レジリエントなシステムの設計と応用、の3つの研究サブテーマについて研究を進めた。
(A) レジリエンスを議論するための制約モデルとして提案している SRモデル(Schwind et al., AAMAS 2013)では，系が満たすべき様々な評価尺度を定義するための基盤を与えている。平成26年度は SR モデルを拡張・改良する形で(A1) システム・動的システム・擾乱を抽象的にモデル化(A2) レジリエンス性に関係する重要な指標を与えた。
(B) レジリエントなシステムを動的な多目的制約最適化問題のフレームワーク用いて定式化し、耐性がありかつ機能性があるようなすべてのパレート最適解を求めるアルゴリズムを開発した。本アルゴリズムは制約最適化アルゴリズムで広く用いられている擬似木に基づくリアクティブなアルゴリズムである。実験では異なるタイプの動的な変化を用いてその性能を評価した。
(C) レジリエントなシステムの例として、チーム編成におけるロバスト性に着目した研究を行った。どのようにチームを編成するかという問題は、マルチエージェントシステムにおける重要な課題の一つである。本研究ではロバストなチーム編成問題のフレームワークを定義し、チーム編成問題における決定問題及び最適化問題を与え、これらの計算量について議論した。さらにチーム編成問題における決定問題・最適化問題のアルゴリズムを提案・評価、他の応用として、概日リズムなど生体システムにおけるレジリエンスや、ソーシャルネットワークにおける信念翻意のロバスト性について研究を行った。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
A. レジリエントなシステムのモデル化、B. システムのレジリエンス性に関する推論、C. レジリエントなシステムの設計と応用、の3つの研究サブテーマについてそれぞれ順調に進展しており、全体的にも計画通り進行している。具体的には、レジリエントなシステムを動的環境下における制約系として定義し、レジリエンス性能に関係するいくつかの指標を与えるモデル化のところはできている。その上で、これらの指標を決定する計算問題を定義しアルゴリズムまで開発が進んでいる。
|
| 今後の研究の推進方策 |
当初の研究計画に従い、 A. レジリエントなシステムのモデル化、B. システムのレジリエンス性に関する推論、C. レジリエントなシステムの設計と応用、の3つの研究サブテーマについて研究を進める。今後は定義したシステムのモデル検査に関する研究や、レジリエントな性質を持つ応用を考え、具体的なシステムを通して実証していきたい。
|
| 次年度使用額が生じた理由 |
購入したPCの金額が予算より低く抑えられたため。
予定していた大分出張が中止になったため。
|
| 次年度使用額の使用計画 |
ソフトウェア購入費を増額する予定である。
打ち合わせ、合同ミーティングを増やし、より密な連携を取るための出張旅費にあてる予定である。
|
