[論文レビュー] Droems: experimental mathematics, informatics and infinite dimensional geometry

Denis V. Juriev|ArXiv.org|Sep 29, 1998

Computability, Logic, AI Algorithms参考文献 20被引用数 3

ひとこと要約

本稿は、認知コンピューティングおよび通信分野におけるリアルタイムインタラクティブビデオシステムのためのフレームワークとして、実験的数学における動的再構成対象（Droems）を紹介する。解釈的幾何学と無限次元空間における作用素法を統合することで、抽象的な数学的構造の動的でインタラクティブな可視化を可能にし、その主要な貢献は、情報学および動的再構成の原則を用いて、高次元幾何的対象とのリアルタイム認知的インタラクションを概念的かつ形式化された方法で実現することである。

ABSTRACT

The article is devoted to a problem of elaboration of the real-time interactive videosystems for accelerated nonverbal cognitive computer and telecommunications. The proposed approach is based on the using of droems (dynamically reconstructed objects of experimental mathematics) and interpretational figures as pointers to them. Four paragraphs of the article are devoted to (1) an exposition of basic notions of the interpretational geometry, (2) the operator methods in the theory of interactive dynamical videosystems, (3) the general concept of organization of the integrated interactive real-time videocognitive systems, (4) the droems and processes of their dynamical reconstruction, where the general notions are illustrated by a concrete example related to the infinite dimensional geometry. The exposition is presumably heuristic and conceptual (the first and the third paragraphs) though some particular aspects such as content of the second and the fourth paragraphs, which allow deeper formalization and detailing in present, are exposed on the mathematical level of rigor.

研究の動機と目的

• コンピュータおよび通信環境における非言語的認知処理の高速化を目的としたリアルタイムインタラクティブビデオシステムの開発。
• 特に無限次元空間における複雑で抽象的な数学的構造を、動的でインタラクティブな手段により可視化および操作可能にする挑戦への対処。
• 実験的数学、情報学、幾何学を統合するために、動的数学的対象（Droems）という新しいクラスの対象を導入し、認知的ツールとしての機能を果たす。
• 解釈的図形をDroemsへのポインタとして形式化し、抽象的幾何的構造の構造的ナビゲーションと操作を可能にする。
• 作用素法と動的再構成の原則に基づく、統合的でリアルタイムのビデオ認知システムの理論的かつ実践的フレームワークの確立。

提案手法

• 実験的数学における動的再構成対象（Droems）としての概念を提唱し、リアルタイムで進化する数学的実体を表現する。
• 解釈的図形を、Droemsへの記号的または視覚的ポインタとして用い、複雑な幾何的空間内でのユーザーのインタラクションと認知的ナビゲーションを可能にする。
• 特に無限次元ヒルベルト空間において、インタラクティブビデオシステムのダイナミクスをモデル化・制御するため、関数解析からの作用素法を適用する。
• 数学的形式主義とインタラクティブ可視化の結合に基づく、統合的リアルタイムビデオ認知システムの一般的なアーキテクチャを提唱する。
• 計算的に扱いやすく、インタラクティブな形で複雑で変化する数学的構造をモデル化・表現するための基盤として、無限次元幾何学を用いる。
• 正式な提示にはAMSTEXを用い、アクセシビリティおよび学術的発信を支援するため、英語／ロシア語の二か国語版を含む。

実験結果

リサーチクエスチョン

• RQ1 無限次元空間における抽象的な数学的構造を、リアルタイムで動的に可視化し、インタラクティブに探求することはどのように可能か？
• RQ2 数学的対象を認知コンピューティング環境内において動的で再構成可能な実体（Droems）として表現するための形式的枠組みは何か？
• RQ3 解釈的図形は、インタラクティブシステム内における複雑な数学的対象への効果的で意味的意味を持つポインタとしてどのように機能するか？
• RQ4 作用素法は、認知応用を目的としたインタラクティブビデオシステムのダイナミクスをモデル化する上で果たす役割は何か？
• RQ5 実験的数学、情報学、無限次元幾何学の統合は、どのように新しいリアルタイム認知的インタラクションパラダイムを生み出すか？

主な発見

• Droemsとしての動的再構成可能な数学的対象という概念が、抽象的幾何的構造とのリアルタイムインタラクションを可能にする形で、成功裏に概念的かつ形式化された。
• 解釈的図形は、インタラクティブシステム内でのDroemsのナビゲーションおよび操作に、効果的で意味的根拠を持つツールとして確立された。
• 無限次元空間における作用素法は、インタラクティブビデオシステムのダイナミクスをモデル化するためのきめ細やかな数学的基盤を提供する。
• 実験的数学と情報学および幾何学の統合により、高次元で抽象的なデータを扱える、新しいアーキテクチャのリアルタイムビデオ認知システムが得られた。
• 本稿は、無限次元幾何学における複雑な数学的対象が、Droemsパラダイムを通じてインタラクティブにレンダリングおよび操作可能であることを示した。
• このアプローチはヒューリスティックかつ形式的根拠を併せ持つものであり、作用素法および動的再構成に関するセクションにおいて十分な数学的厳密性を備えており、将来の形式的定式化および実装が可能である。