[論文レビュー] Mathematical Models in Schema Theory

Mark Burgin|ArXiv.org|Dec 27, 2005

Computability, Logic, AI Algorithms参考文献 45被引用数 5

ひとこと要約

本論文は、脳理論、グリッドオートマトン、ブロックスキーマを統合する包括的な数学的スキーマ理論を提唱し、神経科学、コンピュータサイエンス、論理学における多様なスキーマタイプをモデル化する。代数的およびオートマトンに基づく構造を通じてスキーマを形式化することで、認知的、計算的、情報的スキーマの正確な数学的表現と分析を可能にする。

ABSTRACT

In this paper, a mathematical schema theory is developed. This theory has three roots: brain theory schemas, grid automata, and block-shemas. In Section 2 of this paper, elements of the theory of grid automata necessary for the mathematical schema theory are presented. In Section 3, elements of brain theory necessary for the mathematical schema theory are presented. In Section 4, other types of schemas are considered. In Section 5, the mathematical schema theory is developed. The achieved level of schema representation allows one to model by mathematical tools virtually any type of schemas considered before, including schemas in neurophisiology, psychology, computer science, Internet technology, databases, logic, and mathematics.

研究の動機と目的

• 異なる分野における多様なスキーマタイプを表現する包括的な数学的フレームワークの構築を目的とする。
• 神経生理学、心理学、コンピュータサイエンス、論理学からのスキーマ表現を、単一の形式的システムに統一することを目的とする。
• 代数的およびオートマトンに基づく構造を用いて、認知的および計算的プロセスのモデル化の理論的基盤を確立することを目的とする。
• 形式的定義および構造的分解を通じて、スキーマの正確な数学的分析を可能にすることを目的とする。
• データベース、インターネット技術、論理的推論など、複雑なシステムのモデリングを、スキーマ理論によって支援することを目的とする。

提案手法

• スキーマのダイナミクスおよび遷移をモデル化する基盤として、グリッドオートマトンを導入する。
• 脳理論の原則を応用し、認知的スキーマを構造的で適応可能な情報処理ユニットとして定義する。
• 複雑なスキーマ構造を表現するためのモジュラーで階層的な構成要素として、ブロックスキーマを定義する。
• これらの要素を統合し、合成、分解、変換の操作を備えた形式的スキーマ代数を構築する。
• 抽象代数的構造を用いてスキーマの関係性と操作を表現し、数学的分析を可能にする。
• 異なる分野（例：神経的、論理的、データベース的）におけるスキーマタイプと、統一スキーマフレームワークとの間の形式的マッピングを確立する。

実験結果

リサーチクエスチョン

• RQ1 神経科学、コンピュータサイエンス、論理学から得られる多様なスキーマタイプを、単一の数学的フレームワークに形式的に統合することは可能か？
• RQ2 スキーマの動的で階層的な性質をモデル化するために、どのような代数的およびオートマトンに基づく構造が必要か？
• RQ3 グリッドオートマトンとブロックスキーマを統合することで、複雑で適応的なスキーマシステムをどのように表現できるか？
• RQ4 どのような形式的操作が、異なる分野におけるスキーマの合成、変換、分析を可能にするか？
• RQ5 この理論は、データベース、ニューラルネットワーク、論理的推論システムといった現実世界のシステムをどの程度正確にモデル化できるか？

主な発見

• 数学的スキーマ理論は、神経生理学、心理学、コンピュータサイエンス、論理学からのスキーマ表現を効果的に統合した。
• グリッドオートマトンは、スキーマの動的進化および遷移行動をモデル化する強固なメカニズムを提供する。
• ブロックスキーマは、複雑なスキーマのモジュラーで階層的な分解を可能にし、スケーラビリティと再利用性を支援する。
• 形式的代数的構造により、スキーマの関係性および変換の正確な操作と分析が可能になった。
• スキーマの抽象化を通じて、データベース、インターネット技術、論理的システムの数学的モデリングをフレームワークが支援する。
• 理論は極めて一般性が高く、形式的数学的ツールを用いて、ほぼあらゆるスキーマタイプの表現が可能である。