[論文レビュー] Modeling Events as Machines

Sabah Al‐Fedaghi|arXiv (Cornell University)|Apr 26, 2017

Simulation Techniques and Applications参考文献 5被引用数 5

ひとこと要約

本論文は、イベントを抽象的マシンとしてモデル化し、それをシステム内の動的段階として扱う、画期的な図式的アプローチを紹介する。時間、空間、オブジェクトを統合的な枠組みに統合することで、人工知能やソフトウェア工学分野における異分野的応用に適した、非技術的で概念的なイベント表現が可能になる。

ABSTRACT

The notion of events has occupied a central role in modeling and has an influence in computer science and philosophy. Recent developments in diagrammatic modeling have made it possible to examine conceptual representation of events. This paper explores some aspects of the notion of events that are produced by applying a new diagrammatic methodology with a focus on the interaction of events with such concepts as time and space, objects. The proposed description applies to abstract machines where events form the dynamic phases of a system. The results of this nontechnical research can be utilized in many fields where the notion of an event is typically used in interdisciplinary application.

研究の動機と目的

• コンピュータサイエンスおよび哲学におけるイベントの概念的性質を、新しい図式的アプローチを用いて探求すること。
• イベントがシステムモデリングにおける時間、空間、オブジェクトといった基本的概念とどのように相互作用するかを調査すること。
• イベントをシステム内の動的段階として表現するための非技術的で抽象的な枠組みを提供すること。
• 人工知能やソフトウェア工学など、イベントモデリングが中心的な分野における異分野的応用を支援すること。
• 従来の技術的実装制約を越える概念的モデリングの基盤を構築すること。

提案手法

• イベントを抽象的マシンとして表現するための図式的メソドロジーを提唱する。
• 概念的モデリングを用いて、イベントをシステムのライフサイクル内での動的段階として扱う。
• 時間、空間、オブジェクトを、イベント表現における相互関係のある次元として統合する。
• イベント駆動型の挙動に焦点を当て、抽象的マシンにこの枠組みを適用する。
• 形式的計算や実装ではなく、概念的および視覚的推論に依存する。
• 低レベルのコードやアルゴリズムを明示しないまま、イベントとシステムコンポONENTとの相互作用に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 イベントをシステム内での動的段階として、どのように概念的にモデリングできるか？
• RQ2 イベントをマシンとして表現する際、時間と空間が果たす役割は何か？
• RQ3 マシンとしてモデル化されたシステム内でのオブジェクトとイベントの関係はどのように構築されるか？
• RQ4 従来のアプローチと比較して、イベントをマシンとしてモデリングすることの概念的利点は何か？
• RQ5 この枠組みは、人工知能やソフトウェア工学における異分野的モデリングをどのように支援できるか？

主な発見

• この枠組みは、抽象的マシン内のイベントを動的段階として成功裏に表現できており、より明確な概念的理解を可能にした。
• 時間、空間、オブジェクトの統合的取り扱いにより、システム行動の包括的な視点が得られた。
• このアプローチは非技術的であり、人工知能やソフトウェア工学分野における異分野的応用に適している。
• 形式的実装を要せず、イベントの相互作用に関する概念的推論を支援する。
• 図式的および概念的システムモデリング分野における今後の研究の基盤を提供する。
• 定量的指標は報告されていないが、分野横断的適用性と概念的一致性から、結果の妥当性が裏付けられている。