論文の概要: Preconceptual Modeling in Software Engineering: Metaphysics of Diagrammatic Representations
- arxiv url: http://arxiv.org/abs/2405.09269v1
- Date: Wed, 15 May 2024 11:38:10 GMT
- ステータス: 処理完了
- システム内更新日: 2024-05-16 13:46:20.067189
- Title: Preconceptual Modeling in Software Engineering: Metaphysics of Diagrammatic Representations
- Title（参考訳）: ソフトウェア工学における事前概念モデリング--ダイアグラム表現のメタ物理
- Authors: Sabah Al-Fedaghi,
- Abstract要約: 本研究の目的は,現実の関与する部分のメタ物理的基盤を確立する方法を示すことである。
TMモデルは、thimac (things/machine) と呼ばれる基本構造に基づく静的性とダイナミズムを統合する。
議論には、ティマクの性質(物と過程)と、それらが現実において相互に重なり合っているときの生存と存在が関係している。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: According to many researchers, conceptual model (CM) development is a hard task, and system requirements are difficult to collect, causing many miscommunication problems. CMs require more than modeling ability alone - they first require an understanding of the targeted domain that the model attempts to represent. Accordingly, a preconceptual modeling (pre-CM) stage is intended to address ontological issues before typical CM development is initiated. It involves defining a portion of reality when entities and processes are differentiated and integrated as unified wholes. This pre-CM phase forms the focus of research in this paper. The purpose is not show how to model; rather, it is to demonstrate how to establish a metaphysical basis of the involved portion of reality. To demonstrate such a venture, we employ the so-called thinging machine (TM) modeling that has been proposed as a high-level CM. A TM model integrates staticity and dynamism grounded in a fundamental construct called a thimac (things/machine). It involves two modes of reality, existence (events) and subsistence (regions - roughly, specifications of things and processes). Currently, the dominant approach in CM has evolved to limit its scope of application to develop ontological categorization (types of things). In the TM approach, pre-CM metaphysics is viewed as a part and parcel of CM itself. The general research problem is how to map TM constructs to what is out there in the targeted domain. Discussions involve the nature of thimacs (things and processes) and subsistence and existence as they are superimposed over each other in reality. Specifically, we make two claims, (a) the perceptibility of regions as a phenomenon and (b) the distinctiveness of existence as a construct for events. The results contribute to further the understanding of TM modeling in addition to introducing some metaphysical insights.
- Abstract（参考訳）: 多くの研究者によると、概念モデル(CM)の開発は難しい作業であり、システム要件の収集は困難であり、多くの誤通信問題を引き起こしている。
CMはモデリング能力以上のものを必要とします - まず最初に、モデルが表現しようとする対象のドメインを理解する必要があります。
したがって、プリ概念モデリング(pre-CM)段階は、典型的なCM開発が始まる前に、存在論的問題に対処することを目的としている。
実体とプロセスが分離され、統合された全体として統合されるとき、それは現実の一部を定義することを伴う。
このCM前フェーズは,本論文における研究の焦点となる。
その目的は、どのようにモデル化するかを示すものではなく、むしろ、現実の関与する部分のメタ物理学的基盤を確立する方法を示すことである。
このようなベンチャーを実証するために,我々は,ハイレベルCMとして提案されている,いわゆるデキシングマシン(TM)モデリングを採用する。
TMモデルは、thimac (things/machine) と呼ばれる基本構造に基づく静的性とダイナミズムを統合する。
それは、現実の2つのモード、存在(イベント)と存在(領域、大まかに言えば、物とプロセスの仕様)を含んでいる。
現在、CMにおける支配的なアプローチは、存在論的分類(型)を開発するための適用範囲を制限するために進化している。
TMアプローチでは、CM前のメタ物理はCM自体の一部とパーセルと見なされる。
一般的な研究問題は、TM構造をターゲット領域の外にあるものとどのようにマッピングするかである。
議論には、ティマクの性質(物と過程)と、それらが現実において相互に重なり合っているときの生存と存在が関係している。
具体的には2つの主張をします
a) 現象としての領域の認識性と
(b)事象の構成要素としての存在の特異性
この結果は、メタ物理的な洞察の導入に加えて、TMモデリングのさらなる理解に寄与する。
関連論文リスト
- Learning World Models With Hierarchical Temporal Abstractions: A Probabilistic Perspective [2.61072980439312]
内部世界モデルを開発するためのフォーマリズムの開発は、人工知能と機械学習の分野における重要な研究課題である。
この論文は、状態空間モデルを内部世界モデルとして広く用いられることによるいくつかの制限を識別する。
形式主義におけるモデルの構造は、信念の伝播を用いた正確な確率的推論を促進するとともに、時間を通してのバックプロパゲーションによるエンドツーエンドの学習を促進する。
これらの形式主義は、世界の状態における不確実性の概念を統合し、現実世界の性質をエミュレートし、その予測の信頼性を定量化する能力を向上させる。
論文 参考訳（メタデータ） (2024-04-24T12:41:04Z) - Exploring Conceptual Modeling Metaphysics: Existence Containers, Leibniz's Monads and Avicenna's Essence [0.0]
ソフトウェア工学における要求仕様は、対象ドメインの概念モデルを開発することを含む。
多くのメタ物理的な研究は、モデル構築プロセスとして理解されるのが最適である。
その焦点は、静的性と動的性の2相の世界におけるTMモデリングの単一カテゴリとしてのチマクである。
論文 参考訳（メタデータ） (2024-02-20T22:25:20Z) - Targeted Reduction of Causal Models [55.11778726095353]
因果表現学習(Causal Representation Learning)は、シミュレーションで解釈可能な因果パターンを明らかにするための有望な道を提供する。
本稿では、複雑な相互作用可能なモデルを因果因子の簡潔な集合に凝縮する方法であるTCR(Targeted Causal Reduction)を紹介する。
複雑なモデルから解釈可能な高レベルな説明を生成する能力は、玩具や機械システムで実証されている。
論文 参考訳（メタデータ） (2023-11-30T15:46:22Z) - Ontology for Conceptual Modeling: Reality of What Thinging Machines Talk
About, e.g., Information [0.0]
本稿では,概念モデリングの基礎に基づく図式開発のための学際的な研究手法を開発する。
オントロジーのオフショア調達を哲学から逃れ、CMに移植する試みである。
結果は、情報を定義し、その性質を理解するための有望なアプローチを示すように思われる。
論文 参考訳（メタデータ） (2023-08-16T03:21:27Z) - Generative Models as a Complex Systems Science: How can we make sense of
large language model behavior? [75.79305790453654]
事前訓練されたモデルから望ましい振る舞いを排除し、望ましくないモデルを避けながら、NLPを再定義した。
言語モデルの振る舞いをタスク間性能を説明するカテゴリに分解する体系的な取り組みについて論じる。
論文 参考訳（メタデータ） (2023-07-31T22:58:41Z) - In Pursuit of Unification of Conceptual Models: Sets as Machines [0.0]
この写本は、第二のアプローチに属する研究事業の続編である。
これは、ストイック論理とルパシアン論理に基づいて構築されたデッキングマシンと呼ばれるモデルを使用する。
論文 参考訳（メタデータ） (2023-06-24T01:28:31Z) - Super-model ecosystem: A domain-adaptation perspective [101.76769818069072]
本稿では,ドメイン適応による新たなスーパーモデルパラダイムの理論的基礎を確立することを試みる。
スーパーモデルパラダイムは、計算とデータコストと二酸化炭素排出量を減らすのに役立つ。
論文 参考訳（メタデータ） (2022-08-30T09:09:43Z) - Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization [49.00409552570441]
本研究では,コモンセンス推論における概念化の役割について検討し,人間の概念化を再現する枠組みを定式化する。
ATOMIC は大規模な人為的注釈付き CKG であり,この枠組みを分類プロベースで支援している。
論文 参考訳（メタデータ） (2022-06-03T12:24:49Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
我々は、量子リアリズムの公理化(量子論と相容れないリアリズムの概念)を構築する。
提案された公理のほとんどすべてを満たすことを示すエントロピー量化器のクラスを明示的に構成する。
論文 参考訳（メタデータ） (2021-10-10T18:08:42Z) - CausalCity: Complex Simulations with Agency for Causal Discovery and
Reasoning [68.74447489372037]
本稿では,因果探索と反事実推論のためのアルゴリズムの開発を目的とした,高忠実度シミュレーション環境を提案する。
私たちの作業の中核となるコンポーネントは、複雑なシナリオを定義して作成することが簡単になるような、テキストの緊急性を導入することです。
我々は3つの最先端の手法による実験を行い、ベースラインを作成し、この環境の可利用性を強調する。
論文 参考訳（メタデータ） (2021-06-25T00:21:41Z) - Conceptual Modeling of Time for Computational Ontologies [0.0]
モデルは、システムをポップアップさせるオブジェクトやプロセスの記述を指す。
焦点は、変化、イベント、時間といった概念に焦点を当てています。
その結果,TMはこれらの存在論的問題に対処するための有用なツールであることがわかった。
論文 参考訳（メタデータ） (2020-07-16T20:11:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。