[論文レビュー] Properties of Cross-Impact Balance Analysis

Wolfgang Weimer-Jehle|ArXiv.org|Dec 29, 2009

Evaluation and Performance Assessment参考文献 8被引用数 12

ひとこと要約

この論文は、社会科学およびフォアシフト分野で用いられる定性的なシステム手法であるクロスインパクトバランス（CIB）分析を、m×n行列から構成されるN×Nハイパーマトリクスとして形式化することで、厳密に分析している。本論文では、重要な不変則を証明し、特殊な行列のケースを同定し、CIBが計算的にユニバーサル（チューリングマシンと同等）であることを示している。これにより、定量的データを必要とせず、複雑な影響ネットワークをモデル化する際の堅牢性が裏付けられる。

ABSTRACT

CIB matrices are N x N hypermatrices, the elements of which are m x n matrices. They are used in Cross-Impact Balance Analysis, a concept applied in social sciences, management sciences, scenario analysis and technology foresight to identify plausible configurations of qualitatively defined impact networks. Cross-Impact Balance Analysis (CIB) offers an opportunity for qualitative systems analysis without complex mathematics. Although CIB doesn't confront its user with too much mathematics, the background of the method and its algorithm can be scrutinized by mathematical means, thus revealing an extensive set of useful properties which are described and proved in this article. Among them are four laws of invariance, a treatise on several special cases of CIB matrices, and the proof that CIB analysis is equivalent to a universal computer (a Turing machine).

研究の動機と目的

• 社会科学およびフォアシフト分野で広く用いられているが、理論的根拠に乏しいクロスインパクトバランス（CIB）分析に、形式的な数学的基盤を提供すること。
• CIB行列に内在する基本的な不変性の性質を同定し、証明することで、異なるモデリング設定間での一貫性を保証すること。
• CIB行列の特殊ケースを検討し、構造的制限を明確にし、解釈可能性を向上させること。
• CIBの計算的パワーを確立するため、CIBがユニバーサルチューリングマシンと同等であることを証明することで、普遍的な計算が可能であることを示すこと。

提案手法

• CIB行列を、各要素がシステム要因間の相互影響関係を表すm×n行列であるN×Nハイパーマトリクスとして形式化する。
• 変換下でのCIB行列の振るまいを支配する4つの不変則を、形式的な代数的変形によって導出し、証明する。
• 構造的制約を調査し、モデルの解釈を簡略化するために、CIB行列の特殊ケースを分析する。
• CIBが任意のチューリングマシンの動作をシミュレートできることを示すことで、計算的同等性の証明を構築する。これにより、状態遷移とメモリを行列構造を用いて符号化する。
• 本分析は、数値データや確率的仮定を一切必要としない、抽象代数学および計算可能性理論に依拠している。

実験結果

リサーチクエスチョン

• RQ1 CIB行列が変換下で示す振るまいを支配する数学的不変則は何か？
• RQ2 対称的またはバイナリ形式といったCIB行列の特殊ケースは、モデルの安定性と解釈可能性にどのように影響を与えるか？
• RQ3 CIB分析を普遍計算と正式に結びつけることは可能か？ もしそうであるなら、これによりそのモデリングパワーにどのような含意が生じるか？
• RQ4 CIB行列が複雑な影響ネットワークを表現できる構造的および計算的性質は何か？

主な発見

• 4つの基本的不変則が形式的に導出され、証明され、異なるモデリング選択肢においてもCIB行列の振るまいが一貫することを保証した。
• 本論文では、対称的およびバイナリ形式を含む複数のCIB行列の特殊ケースを同定・特徴づけ、分析と解釈を簡略化した。
• CIB分析が計算的にユニバーサルであることが証明された。これは、任意のアルゴリズム的プロセスをシミュレート可能であることを意味し、ユニバーサルチューリングマシンと同等の計算パワーを持つことを示している。
• 形式化により、CIBが定量的データや確率的仮定を一切必要とせず、複雑な定性的システムをモデル化できることを確認した。これにより、フォアシフトおよび社会科学分野における応用の妥当性が裏付けられた。