論文の概要: In Pursuit of Unification of Conceptual Models: Sets as Machines
- arxiv url: http://arxiv.org/abs/2306.13833v1
- Date: Sat, 24 Jun 2023 01:28:31 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 18:53:36.390967
- Title: In Pursuit of Unification of Conceptual Models: Sets as Machines
- Title(参考訳): 概念モデルの統一を追求する:マシンとしてのセット
- Authors: Sabah Al-Fedaghi
- Abstract要約: この写本は、第二のアプローチに属する研究事業の続編である。
これは、ストイック論理とルパシアン論理に基づいて構築されたデッキングマシンと呼ばれるモデルを使用する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Conceptual models as representations of real-world systems are based on
diverse techniques in various disciplines but lack a framework that provides
multidisciplinary ontological understanding of real-world phenomena.
Concurrently, systems complexity has intensified, leading to a rise in
developing models using different formalisms and diverse representations even
within a single domain. Conceptual models have become larger; languages tend to
acquire more features, and it is not unusual to use different modeling
languages for different components. This diversity has caused problems with
consistency between models and incompatibly with designed systems. Two main
solutions have been adopted over the last few years: (1) A currently dominant
technology-based solution tries to harmonize or unify models, e.g., unifies EER
and UML. This solution would solidify modeling achievements, reaping benefits
from huge investments over the last thirty years. (2) A less prevalent solution
is to pursuit deeper roots that reveal unifying modeling principles and
apparatuses. An example of the second method is a category theory-based
approach that utilizes the strengths of the graph and set theory, along with
other topological tools. This manuscript is a sequel in a research venture that
belongs to the second approach and uses a model called thinging machines (TMs)
founded on Stoic ontology and Lupascian logic. TM modeling contests the thesis
that there is no universal approach that covers all aspects of an application,
and the paper demonstrates that pursuing such universality is anything but a
dead-end method. This paper continues in this direction, with emphasis on TM
foundation (e.g., existence and subsistence of things) and exemplifies this
pursuit by proposing an alternative representation of set theory.
- Abstract(参考訳): 実世界のシステムの表現としての概念モデルは、様々な分野の様々な技術に基づいているが、実世界の現象に関する多分野のオントロジ的理解を提供する枠組みは欠如している。
同時に、システムの複雑さが増大し、単一のドメイン内でも異なる形式と多様な表現を用いたモデルの開発が増加している。
概念モデルが大きくなり、言語はより多くの機能を獲得する傾向があり、異なるコンポーネントのために異なるモデリング言語を使用することは珍しくない。
この多様性は、モデル間の一貫性と設計システムとの非互換性の問題を引き起こした。
1) 現在支配的な技術ベースのソリューションは、EERとUMLを統一するなど、モデルを調和または統一しようとする。
このソリューションは、過去30年間に大規模な投資から利益を得て、モデリングの成果を固める。
2) より一般的な解決策は、モデリングの原則と装置の統一を明らかにする深いルーツを追求することである。
2つ目の方法の例は、グラフと集合論の強みと他の位相的ツールを利用する圏論に基づくアプローチである。
この写本は、第2のアプローチに属する研究ベンチャーの続編であり、stic ontologyとlupascian logicに基づいて作られたthinging machines(tms)と呼ばれるモデルを使用している。
TMモデリングは、アプリケーションのすべての側面をカバーする普遍的なアプローチは存在しないという仮説に異議を唱え、そのような普遍性を追求することは致命的な方法であることを示す。
本論文は、TM基礎(例えば、物の存在と存在)に重点を置いて、この方向に進み、集合論の代替表現を提案してこの追求を実証する。
関連論文リスト
- Learning Interpretable Concepts: Unifying Causal Representation Learning
and Foundation Models [51.43538150982291]
人間の解釈可能な概念をデータから学習する方法を研究する。
両分野からアイデアをまとめ、多様なデータから概念を確実に回収できることを示す。
論文 参考訳(メタデータ) (2024-02-14T15:23:59Z) - Foundational Models Defining a New Era in Vision: A Survey and Outlook [151.49434496615427]
視覚シーンの構成的性質を観察し、推論する視覚システムは、我々の世界を理解するのに不可欠である。
モデルは、このようなモダリティと大規模なトレーニングデータとのギャップを埋めることを学び、コンテキスト推論、一般化、テスト時の迅速な機能を容易にした。
このようなモデルの出力は、例えば、バウンディングボックスを設けて特定のオブジェクトをセグメント化したり、画像や映像シーンについて質問したり、言語命令でロボットの動作を操作することで対話的な対話を行うなど、リトレーニングすることなく、人為的なプロンプトによって変更することができる。
論文 参考訳(メタデータ) (2023-07-25T17:59:18Z) - Foundation Models for Decision Making: Problems, Methods, and
Opportunities [124.79381732197649]
大規模に多様なデータに基づいて事前訓練された基礎モデルは、幅広いビジョンと言語タスクにおいて異常な能力を示してきた。
ファンデーションモデルをトレーニングし、他のエージェントと対話し、長期的な推論を行うための新しいパラダイムが生まれている。
基礎モデルと意思決定の交わりにおける研究は、強力な新しいシステムを作るための大きな約束である。
論文 参考訳(メタデータ) (2023-03-07T18:44:07Z) - Multimodal Deep Learning [2.6069776663350677]
この本は、マルチモーダルアプローチをレビューするセミナーの結果です。
モデリングフレームワークは、1つのモダリティがもう1つのモダリティに変換される場所について議論される。
両方のモダリティを同時に扱うことに焦点を当てたアーキテクチャが導入される。
論文 参考訳(メタデータ) (2023-01-12T07:42:36Z) - Foundations and Recent Trends in Multimodal Machine Learning:
Principles, Challenges, and Open Questions [68.6358773622615]
本稿では,マルチモーダル機械学習の計算的基礎と理論的基礎について概説する。
本稿では,表現,アライメント,推論,生成,伝達,定量化という,6つの技術課題の分類法を提案する。
最近の技術的成果は、この分類のレンズを通して示され、研究者は新しいアプローチの類似点と相違点を理解することができる。
論文 参考訳(メタデータ) (2022-09-07T19:21:19Z) - Language Models are General-Purpose Interfaces [109.45478241369655]
本稿では,様々な基礎モデルに対する汎用インタフェースとして言語モデルを提案する。
事前訓練されたエンコーダのコレクションは、様々なモダリティ(ビジョンや言語など)を知覚する
インタフェースとモジュールエンコーダを協調的に事前学習するための半因果言語モデリング手法を提案する。
論文 参考訳(メタデータ) (2022-06-13T17:34:22Z) - DIME: Fine-grained Interpretations of Multimodal Models via Disentangled
Local Explanations [119.1953397679783]
我々は,マルチモーダルモデルの解釈における最先端化に注力する。
提案手法であるDIMEは,マルチモーダルモデルの高精度かつきめ細かな解析を可能にする。
論文 参考訳(メタデータ) (2022-03-03T20:52:47Z) - GENOME: A GENeric methodology for Ontological Modelling of Epics [0.0]
genOMEはエピックの反復的存在論的モデリングのための最初の専用の方法論である。
それは、叙事詩の標準規範、知識モデリングのベストプラクティス、アプリケーション満足度規範、認知的生成問題という超学際的な基礎に根ざしている。
また、再利用やゼロから知識モデリングの選択肢を統合するのに十分な柔軟性を持つ最初の方法論でもある。
論文 参考訳(メタデータ) (2022-02-13T15:52:54Z) - Conceptual Modeling of Time for Computational Ontologies [0.0]
モデルは、システムをポップアップさせるオブジェクトやプロセスの記述を指す。
焦点は、変化、イベント、時間といった概念に焦点を当てています。
その結果,TMはこれらの存在論的問題に対処するための有用なツールであることがわかった。
論文 参考訳(メタデータ) (2020-07-16T20:11:18Z) - Semantic interoperability based on the European Materials and Modelling
Ontology and its ontological paradigm: Mereosemiotics [0.0]
欧州物質・モデリングオントロジー(EMMO)は、最近、計算分子工学とマルチスケールモデリングコミュニティにおいてトップレベルとして進歩している。
この研究は、同じパラダイム – 同じ基本セット – に基づいて、トップレベルがどのように構築されているかを探求する。
オントロジー - EMMOが適用できるように。
物理システムのモデルとその計算工学の実践での使用。
論文 参考訳(メタデータ) (2020-03-22T13:19:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。