2013 Fiscal Year Annual Research Report
人と情報の関係マップを使った知識共有型マルチエージェントのセキュリティ
| Project/Area Number |
22500139
|
|---|
| Research Institution | Kanagawa University |
|---|
Principal Investigator |
森住 哲也 神奈川大学, 工学部, その他 (70537422)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
鈴木 一弘 高知大学, 自然科学系, 助教 (50514410)
木下 宏揚 神奈川大学, 工学部, 教授 (70202041)
能登 正人 神奈川大学, 工学部, 准教授 (70299741)
宮田 純子 神奈川大学, 工学部, 助手 (90633909)
|
|---|
| Project Period (FY) |
2010-04-01 – 2015-03-31
|
| Keywords | 群知能 / マルチエージェント / 論理システム / 自己組織化 / 情報セキュリティ / 言語ゲーム / 論理学 / アクセス制御 |
|---|
| Research Abstract |
H25年度は以下の研究成果を得た．
(1) 論理学的意味論，後期ウィトゲンシュタインの言語ゲーム，ドゥルーズの襞という互いに受け入れ難い概念を，振舞いの局所相対的類似と群知能の使用で現前に融合し，異なる意味論の群れが意味の類似の連鎖で構成される仕組み「進化的多元言語ゲーム」の枠組みを示した．それは社会の構成員である個別の＜私＞と，＜私＞以外の他者の非対称な相互作用「振舞い」によって作られる社会の調和を与える新しいシステム理念（哲学）である．それはまた，複数のセキュリティモデルをアプリオリに規定してそれらを結合するのではなく振舞いの進化の中で柔軟に変動するアクセス制御を実現するビジョンに繋がる．人と情報リソースの関係は振舞いの「自然演繹様式」として表現される．関係性は「自然演繹様式」の部分である．群知能で集められた振舞いの群れの中核は意味が局所的に類似する領域である．その領域はセキュリティ規則が色濃く混入する可能性を持つと思われる．したがって今後の研究に於いて，群れの中核領域に対してアクセス制御行列分析を行えばよい．この成果をミニブログTumblrで公開した．
(2) 上記「進化的多元言語ゲーム」の概念が工学的に実現可能な仕組みであることを実証した．即ち，群れの構成員，particleを振舞いに見立て，局所相対的類似の状態を模擬的に計算するシンプルな群れモデルを仮定し，更にparticleに進化的アルゴリズムを導入した．Particleの動作環境としてMason multi agent simulatorを使用することにより進化的多元言語ゲームの規則によってparticleが群れる状況が示された．Particleが群れる条件を抽出する仕組みをMasonのプローブ機能で作動させるところまで達成済みである．
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
この研究のテーマ『情報共有を目的とするWebシステムに於いて，人と情報の関係を記述したマップから情報漏洩・情報改竄を引き起こす情報流（covert channel）を分析・制御するマルチエージェントシステム』は，「初めから複数の意味論（モデル）が在りそれらを接続する」という前提から始めるのではなく，「意味論とは人と情報リソースが関与する振舞いの群れの中核あたりに浮かび上がってくるもの」として捉えられなければならないことが明らかになった．意味論の外部世界を柔軟に表現し，その柔軟な表現の中に意味論を埋め込むイメージである．したがって，意味論の外部の表現方法を探究することが重要である．即ち，振舞いの群れを作り，その群れの中核付近に意味論を関係づけ，異質の意味論を振舞いの連鎖で接続する．その構造は論理的階層ではなくリゾームである．その様なシステムの全体像が浮かび上がってきたのである．考察の結果は「進化的多元言語ゲーム」の概念の提唱に結びつきつつあり，その概念を実証するシミュレーションモデルが工学的成果である．また，システム理念（哲学）をミニブログで徐々に公開する活動を開始した．
|
| Strategy for Future Research Activity |
最終年度は，「進化的な振舞いの群れを護るマクロな条件」を探究する．科研費テーマの最終年度であることを踏まえ，更なるテーマの飛躍に向けて実用化の青写真を描くことを目指す．そのための最終的到達点は，A. 現前の実体を検索して群れをsimulationし，論理学的意味論のセキュリティモデルに基づいて群れの安全性を証明する．B.そのためには現前の観測対象とは何かを明確にして，個々の個人の主観によるデータを取得する意味と仕組みを解明する．C. そして「進化的言語ゲーム」による群れの構造をsimulationから求め，個人個人の安全性判定を支援する意味と仕組みを明らかにする．この時，群れの中核における振舞いの論理的妥当性を計算する自動定理証明器はmulti agent simulatorと共に働かなければならない．
課題は以下のとおりである．
(1) Mason multiagent simulatorとGephi（ビッグデータのソーシャルグラフ化のためのオープンソース）をインタフェースすることの意味の解明とシステム化．(2) 振舞いの単位になる自然演繹様式の定義の明確化とシステム化．(3)自然演繹推論様式で表現される振舞いの群れのsimulationをMasonモデルとして意味あるものにする設計法を解明する．(4)「群れの中核付近の振舞いの自然演繹様式」と「自然演繹『形式』」の関連付けによって「自然演繹様式から意味論への変換」，即ち「セキュリティモデルの生成」を可能とする仕組みを探究する．(5) セキュリティモデルと現前のデータとの差異を計算する自動定理証明器とMason simulatorのインタフェースの可能性を研究する．multi agent simulatorは個別のエージェント同士が個別の規則に従って相互作用し全体として情報漏洩・情報改竄を自律分散制御する．
|
Research Products
(17 results)
-
-
-
-
-
-
-
[Presentation] ACOを用いた検索過程を重視した検索手法2013
Author(s)
小泉 駿，石田克憲，宮田純子，森住哲也，木下宏揚
Organizer
信学技報SITE2013, SITE2013-57, vol.113, no. 355, pp. 163-168
Place of Presentation
琉球大学
Year and Date
20131215-20131215
-
-
-
-
-
-
-
-
-
-
