[論文レビュー] A mathematical formalism for agent-based modeling

Reinhard Laubenbacher, Abdul Salam Jarrah+2 more|arXiv (Cornell University)|Dec 31, 2007

Cellular Automata and Applications参考文献 75被引用数 26

ひとこと要約

本稿は、有限動的系（FDS）を、有限状態空間上の決定的および確率的更新ルールを用いた、エージェント指向モデルの厳密な数学的枠組みとして提案する。主な貢献は、FDSを計算の普遍的モデルとして確立し、局所的な構造的写像を通じてグローバルな動的挙動を保存する、変換のカテゴリカルな枠組みを構築することにある。

ABSTRACT

Many complex systems can be modeled as multiagent systems in which the constituent entities (agents) interact with each other. The global dynamics of such a system is determined by the nature of the local interactions among the agents. Since it is difficult to formally analyze complex multiagent systems, they are often studied through computer simulations. While computer simulations can be very useful, results obtained through simulations do not formally validate the observed behavior. Thus, there is a need for a mathematical framework which one can use to represent multiagent systems and formally establish their properties. This work contains a brief exposition of some known mathematical frameworks that can model multiagent systems. The focus is on one such framework, namely that of finite dynamical systems. Both, deterministic and stochastic versions of this framework are discussed. The paper contains a sampling of the mathematical results from the literature to show how finite dynamical systems can be used to carry out a rigorous study of the properties of multiagent systems and it is shown how the framework can also serve as a universal model for computation.

研究の動機と目的

• エージェント指向シミュレーションがしばしばブラックボックスのコンピュータプログラムとして扱われるが、その検証と解析のための形式的数学的ツールの欠如に対処すること。
• マルチエージェント系の本質的特徴を捉えつつ、その動的挙動の形式的研究を可能にする数学的に厳密な枠組みを構築すること。
• 有限動的系が計算の普遍的モデルとして機能できることを示し、エージェント指向シミュレーションと理論的計算機科学の橋渡しをすること。
• エージェント指向モデル間の変換のカテゴリカル構造を確立し、局所的な構造的写像がグローバルな動的挙動を保存することを保証すること。

提案手法

• 各エージェントが有限状態集合を持ち、局所的更新関数を介して進化する有限動的系（FDS）としてエージェント指向シミュレーションをモデル化する。
• 決定的および確率的両バージョンのFDSを定義し、依存関係グラフ上の局所関数の合成によって状態遷移を制御する。
• 逐次的および並列的更新スケジュールを用いて、エージェント相互作用における異なる時間的順序をモデル化する。
• グローバルな動的挙動を、積状態空間上の関数として表現し、位相空間解析を用いて長期的挙動を研究する。
• グラフ写像、局所関数写像、順序を保つ更新スケジュール写像を介して、FDS間の変換を導入する。
• 圏論を用いて変換を形式化し、整合的な局所的写像が一貫したグローバルな動的変換を誘導することを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限動的系は、厳密な解析を可能にするエージェント指向シミュレーションの形式的数学的基盤を提供できるか？
• RQ2 エージェント指向モデル間の変換をどのように定義すれば、グローバルな動的挙動が保存されるか？
• RQ3 有限動的系は、チューリングマシンのような普遍的計算をどの程度模倣できるか？
• RQ4 FDSのどの構造的性質が、単純な局所的ルールから複雑なグローバルな動的挙動が出現することを保証するか？
• RQ5 FDSのカテゴリカル構造は、マルチエージェント系におけるモデル比較、検証、抽象化をどのように支援するか？

主な発見

• 有限動的系は、整合的な変換の下で、構造的・動的整合性を保つ変換の合成を備えた圏を形成する。
• 2つのFDS間の変換は、それらの位相空間間に一意に定義された写像を誘導し、互換性のある局所的写像の下でグローバルな動的挙動が保存されることを保証する。
• 任意のFDSは、圏論的意味での分解不能FDSの直積として一意に分解可能であり、構造的解析が可能になる。
• 逐次的動的系（SDS）は任意のチューリングマシンをシミュレート可能であり、計算モデルとしての普遍性を示している。
• この枠組みにより、到達可能性や長期的挙動の形式的解析が可能となり、純粋にシミュレーションに依存する検証の限界を克服できる。
• 数学的形式主義により、変換理論を介した異なるエージェント指向シミュレーションの比較と埋め込みが可能になり、モデルの抽象化と検証を支援する。