群知能
群知能(ぐんちのう、むれちのう、Swarm Intelligence, SI)は、分権化し自己組織化されたシステムの集合的ふるまいの研究に基づいた人工知能技術である。「群知能」という用語は、1989年 Beni および Wang が提唱したもので、セルラーロボットシステムに関して使ったのが最初である(セル・オートマトン、進化的計算も参照されたい)。
SIシステムは一般に単純なエージェントやボイドの個体群から構成され、各個体はローカルに互いと、そして彼らの環境と対話する。個々のエージェントがどう行動すべきかを命じている集中的な制御構造は通常存在しないが、そのようなエージェント間の局所相互作用はしばしば全体の行動の創発(emergence)をもたらす。このようなシステムの自然界の例として、アリの巣、鳥の群れ、動物の群れ、細菌のコロニー、魚の群れなどがある。
群ロボット工学は群知能の考え方を多数の安価なロボット群に適用するものである。
スイスの研究者らは、血縁選択説のハミルトン則に基づくアルゴリズムを開発した。このアルゴリズムは、群における利他的行動が時間とともにどのように発展し、群としてのより効果的な行動を生じるかを示す。
蟻コロニー最適化(ACO)は難しい組み合わせ最適化問題の近似解を探索するのに使われるメタヒューリスティックな最適化アルゴリズムである。ACOでは、現実の蟻を真似た人工蟻が問題のグラフ上を移動することで解を構築しようとする。このとき、グラフ上に人工のフェロモンを置くことでその後の人工蟻がよりよい解を探索できるようにする。ACOは多数の最適化問題で効力を発揮してきた。
人工蜂コロニーアルゴリズム (ABC) は、2005年 Karaboga が提案したアルゴリズムで、ミツバチの採餌行動に基づいている。ABCアルゴリズムは、収穫蜂、追従蜂、偵察蜂の行動に基づいた3フェーズからなる。収穫蜂と追従蜂のフェーズでは、解候補近傍の局所探索を行うが、収穫蜂は決定論的に解候補を選択し、追従蜂は蓋然論的に解候補を選択する。偵察蜂フェーズは、採餌行動において尽きた食糧源を捨てる行動を真似たもので、探索の進捗において有益ではなくなった解候補を捨て、探索空間の新たな領域を探索するための新たな解候補を挿入する。このアルゴリズムは知識利用と探査のバランスをうまくとっている。
人工免疫システム (AIS) は、免疫系の抽象構造と機能をコンピュータシステムに応用したもので、数学/工学/情報技術などの問題を解くのに使われる。
荷電系探索 (Charged System Search, CSS) は物理学と力学の法則に基づいた新たなアルゴリズムである。CSSで活用する物理法則は、クーロンの法則とガウスの法則とニュートン力学の諸法則である。CSSはマルチエージェント式で、各エージェントは荷電粒子 (CP) である。CP同士は個々が持つ適応度の値と距離に基づいて相互に影響を及ぼす。それによって生じる力の大きさはクーロンの法則やガウスの法則で計算し、それによってどれだけ動くかはニュートン力学で計算する。CSSはあらゆる最適化問題を扱えるが、特に滑らかでも凸でもない領域に適している。知識利用と探査のバランスがよい。
カッコウ探索 (CS) は、カッコウの托卵行動(他の鳥の巣に卵を産みつけて育てさせる行動)にヒントを得たものである。カッコウ探索アルゴリズムは、レヴィ分布から得られるジャンプステップを伴うレヴィフライトによって強化される。最近の研究によれば、CSは粒子群最適化などの他のアルゴリズムを凌駕しているという。例えば、カッコウ探索とPSO、DE、ABCとの比較で、PSOやABCに比べてCSとDEの結果がより頑健だとされた。
ホタルアルゴリズム (Firefly Algorithm, FA) はホタルの点滅にヒントを得た群知能アルゴリズムの一種である。光の強さがホタルの誘引度を表し、その誘引によって群が小グループに分割され、それぞれ局所的モードに集まる。したがってホタルアルゴリズムは多峰性の最適化問題に特に適している。実際には、連続的最適化、巡回セールスマン問題、クラスタリング、と特徴抽出などに適用されている。
重力探索アルゴリズム (Gravitational Search Algorithm, GSA) は万有引力の法則と質量の相互作用に基づいている。GSAはニュートン力学を用い、探索エージェントとして質量群を使う。質量群の孤立した系を想定する。系内の質量は周辺の質量との重力の影響を受ける。GSAにおけるエージェントは物体であり、その質量は適応度に対応している。万有引力の法則に従ってエージェント同士が互いに引き付け合い、あらゆる物体がより大きな質量を持つ物体へと引き付けられるように運動することになる。よりよい解がより大きな質量に対応する。エージェントの位置が問題の解に対応し、適応度関数によって質量が求められる(解空間内の位置によって適応度は異なるので、エージェントの移動に伴ってその質量も変化する)。時間経過に伴い、個々の質量は最も重い質量に引き付けられることになる。この質量が探索空間の最適解を表していることが望まれる。
非優越ソート重力探索アルゴリズム (NSGSA) はGSAの複数目的関数版で、2011年に Nobahari と Nikusokhan が提案した。
Intelligent Water Drops (IWD) アルゴリズムは群知能ベースの最適化アルゴリズムで、自然界の河川がほぼ常に最適な経路を見つける様子にヒントを得たものである。その最適(に近い)経路は、低い方へと流れる水と川床の間の作用と反作用によって生まれる。IWDアルゴリズムでは、複数の人工的な川が環境に働きかけるように最適解を明らかにする。IWDアルゴリズムは徐々に解へと近づいていく。
マルチスウォーム最適化は、粒子群最適化 (PSO) の粒子群を複数の部分群にしたものである。マルチスウォーム最適の一般的手法は、個々の部分群を特定の分割法に基づいて場所と時期を決めて特定領域に割り当てていく。多峰性の最適化問題に適している。
粒子群最適化(PSO)は n次元空間での解が点や面で表される問題の最適解を探索する汎用的な極小化技術である。仮説に基づいて粒子群が空間内にばらまかれ、それぞれに初期速度が与えられる。また、同時に粒子間の通信路も用意される。粒子群は空間内を移動し、一定時間間隔で適応度に基づいて評価される。時間と共に、粒子は通信を行うことで、よりよい適応度を持つ粒子を中心として群れを構成するよう加速を行う。焼きなまし法などの他のグローバルな極小化戦略と比較したときのPSOの利点は、ローカルな極小値がある問題に対して非常に強いことである。
河川形成力学 (River Formation Dynamics, RFD)は、蟻コロニー最適化 (ACO) に似た技法で、ACOの勾配版と見ることができる。水の流れが土地を侵食し、その土などを堆積物として積み重ね、川を形成する様子を真似たものである。水が環境を変えていくように、各地点の高度が動的に変化し、下降する勾配が形成される。その勾配に沿って新たな水が流れ、新たな勾配が形成され、最適解へと近づいていく。最短経路問題など様々なNP完全問題を解くのに使われている。解のよさと計算時間のトレードオフがよい。最小全域木問題にも適している。
自己駆動粒子群 (SPP) はVicsekモデルとも呼ばれ、1995年にVicsekらが提案した。これはReynoldsが1986年に提唱したボイドモデルの特殊ケースである。SPPにおける群は一定速度で移動する粒子群でモデル化されているが、近傍の他の粒子群の移動する方向の平均を求めて、その方向への摂動をランダムに加える。SPPモデルは、動物の群れが動物の種類に関わらず一定のグループレベルの特性を共有するという仮定に基づいている。群れは様々なスケールでの創発を引き起こし、その一部は一般的で頑強だと判明している。そういった振る舞いを説明する最小の統計モデルを見つけることは、理論物理学の挑戦の1つとなった。
確率的拡散探索 (SDS) は、エージェントに基づいた確率的広域探索であり、最適化技法である。目的関数を複数の部分関数に分解可能な問題に適している。各エージェントは現在の仮説に基づいてパラメータ化された部分目的関数を無作為に選択して評価することで、仮説を繰り返し評価する。標準的SDSでは、部分関数の評価結果は2値であり、各エージェントは活性化されるか非活性化されるかのどちらかである。仮説に関する情報はエージェント間通信を通して個体群に拡散される。蟻コロニー最適化で使われる Stigmergy な通信ではなく、SDS ではアリが一列に連なる振る舞いを示すことにヒントを得た1対1の通信戦略で、仮説をエージェント間で伝達する。正のフィードバック機構によって、エージェントの個体群は広域最適解周辺で徐々に安定していくことが保証される。SDS は数学的に記述可能な効率的で頑健な探索法であり、最適化アルゴリズムである。
群知能ベースの技術は様々な応用が可能である。アメリカ軍は無人機を制御するのに群知能技術を使うことを検討中である。欧州宇宙機関は、軌道上の群による自己組み立てと干渉測定を検討している。NASAは惑星の地図を作成するのに群知能技術を使うことを研究中である。M・アンソニー・ルイスとジョージ・A・ベーキーは1992年の論文で、人体内の癌腫瘍を殺すためにナノボットを群知能技術で制御することを論じている。群知能はデータマイニングにも応用されてきた。
芸術作品では、複雑な対話型システムや群集のシミュレーションの作成手段として群知能技術が使われる。
群知能技術を使った世界初のアニメ映画として Stanley and Stella in: Breaking the Ice があり、ボイドシステムを使って魚や鳥の群れを写実的に描いた。『バットマン・リターンズ』ではコウモリの群れの動きの描画に群知能技術を使った。『ロード・オブ・ザ・リング』三部作でも Massive と呼ばれる同様の技術が戦闘シーンで使われた。群知能技術は安価で頑強で単純なので、非常に魅力的である。
航空会社は航空機の乗客のシミュレーションに群知能理論を活用してきた。サウスウエスト航空の研究者ダグラス・A・ローソンは、6つの規則だけを使ったコンピュータシミュレーションを行い、各種乗機方法で乗機にかかる時間を評価した。
通信ネットワークへの群知能の適用も研究されており、Ant Based Routing(蟻に基づく経路制御)と呼ばれている。1990年代中ごろ、Dorigoらとヒューレット・パッカードの研究者らがそれぞれ独自に研究を行い、その後様々な派生が生まれた。確率的ルーティングテーブルを使い、無数の「蟻」(小さい制御パケット)を放って、それらが正しく到達するとそのルーティングテーブルを補強する。順方向、逆方向、あるいは両方向の経路増強について研究がなされている。逆方向増強には対称なネットワークが必要で、2つの方向を結合する。順方向増強は結果が判明する前に行われる(映画を見る前に料金を払って映画を見るのに似ている)。システムは確率論的に動作するので、再現性はなく、商用化には大きなハードルがある。
航空会社は、空港に着陸後の航空機の動きのシミュレーションに「蟻に基づく経路制御」を用いてきた。サウスウエスト航空は群知能に基づくソフトウェアを使っている。各パイロットは最善のゲートを探している蟻のように振る舞う。ダグラス・A・ローソンは「パイロットは経験から何が最善かということを学んでおり、それが航空会社にとっても最善の解であることが判明している」と説明している。
群知能に関連する概念は様々なポップカルチャー作品にも見られ、集合精神などとも呼ばれる。
SF作家オラフ・ステープルドンは世界で初めて人類と同等かそれ以上に発達した群知能を描いた。『最後にして最初の人類』(1931) では、火星からやってきた群知能を描いており、個々の小さな細胞は電波で互いにやりとりする。『スターメイカー』(1937) では様々な群知能が多数の文明を築く様を描いている。
スタニスワフ・レムの『砂漠の惑星』(1964) では、辺境の惑星での救助任務で、奇妙かつ危険な昆虫のような機械の大群に遭遇する。
ルーディ・ラッカーの『ハッカーと蟻』(1994) では、仮想環境内の人工知能アリが登場する。
マイケル・クライトンの『プレイ -獲物-』(2002)では、制御された環境から逃げ出した知的ナノマシンの群れによって危険な状況となる。