[論文レビュー] Modeling of Phenomena and Dynamic Logic of Phenomena

Boris Kovalerchuk, Leonid Perlovsky+1 more|arXiv (Cornell University)|Dec 24, 2010

AI-based Problem Solving and Planning参考文献 17被引用数 4

ひとこと要約

本稿では、モデル構築の過程でモデルの不確実性と評価基準を動的に整合させるための形式的枠組みである動的現象論理（DLP）を紹介する。モデルの確信度の変化に応じて評価基準を調整することで、DLPは認知的および進化的プロセスを模倣し、特に多項式モデルにおける高い計算複雑性を示す複雑な現象のモデリングに対して、画期的なアプローチを提供する。

ABSTRACT

Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. Modeling field theory (MFT) addresses these challenges in a non-traditional way. The main idea behind MFT is to match levels of uncertainty of the model (also, problem or theory) with levels of uncertainty of the evaluation criterion used to identify that model. When a model becomes more certain, then the evaluation criterion is adjusted dynamically to match that change to the model. This process is called the Dynamic Logic of Phenomena (DLP) for model construction and it mimics processes of the mind and natural evolution. This paper provides a formal description of DLP by specifying its syntax, semantics, and reasoning system. We also outline links between DLP and other logical approaches. Computational complexity issues that motivate this work are presented using an example of polynomial models.

研究の動機と目的

• 心のような複雑な現象をモデリングする際の計算複雑性の課題に対処すること。
• モデルの不確実性に応じて評価基準を動的に適応させる、非伝統的なモデリングアプローチの開発。
• モデル構築における認知的および進化的プロセスを模倣する論理体系の形式化。
• 動的現象論理（DLP）のための形式的構文、意味論、および推論システムの提供。
• DLPと既存の論理的枠組みとの関係を確立するとともに、多項式モデリングにおける複雑性に対処すること。

提案手法

• モデルと評価基準の不確実性レベルを一致させる基礎的枠組みとして、モデリング分野理論（MFT）を提唱する。
• モデルの確信度の変化に応じて評価基準をリアルタイムで調整する動的論理体系としてDLPを定義する。
• 論理的一致性と計算的適用可能性を保証するため、定義された構文、意味論、および推論システムを用いてDLPを形式化する。
• モデルの信頼性が向上するにつれて評価基準に応じた調整が行われる不確実性伝搬メカニズムを導入する。
• 計算複雑性と動的適応の必要性を示すために、多項式モデルを具体的な例として用いる。
• DLPと他の論理的システムとの間の正式な関係を確立し、広い理論的文脈における位置づけを示す。

実験結果

リサーチクエスチョン

• RQ1 複雑なモデリングタスクにおいて、モデルの不確実性を評価基準の不確実性と体系的に一致させる方法は何か？
• RQ2 動的現象論理を支えるために必要な形式的構文、意味論、および推論メカニズムは何か？
• RQ3 DLPは、モデル構築における認知的および進化的プロセスをどのように模倣するか？
• RQ4 DLPは、心のような現象のモデリングにおける計算複雑性をどのように扱うか？
• RQ5 DLPと既存の論理的枠組みとの間の理論的および実用的関係は何か？

主な発見

• DLPは、モデルの確実性と評価基準の間の動的整合を成功裏に形式化し、適応的モデル構築を可能にした。
• 本フレームワークは、動的論理のための完全な形式的システムを提供し、定義された構文、意味論、および推論規則を備えている。
• 多項式モデルを通じて、DLPがモデルの信頼性に応じて評価基準を調整することにより、計算複雑性を効果的に管理できることを示した。
• このアプローチは、知識形成における認知的および進化的プロセスと強く概念的・形式的に類似していることが判明した。
• DLPは既存の論理的システムと互換性があり、拡張可能であることが示され、広範な理論的適用可能性を示唆している。
• 動的調整メカニズムにより、事前に定義された固定評価閾値を必要とせずに、不確実で複雑な現象のモデリングにおいて堅牢性を確保できる。