Preconceptual Modeling in Software Engineering: Metaphysics of Diagrammatic Representations

• URL: http://arxiv.org/abs/2405.09269v1
• Date: Wed, 15 May 2024 11:38:10 GMT
• Title: Preconceptual Modeling in Software Engineering: Metaphysics of Diagrammatic Representations
• Authors: Sabah Al-Fedaghi,
• Abstract summary: The purpose of this paper is to demonstrate how to establish a metaphysical basis of the involved portion of reality. A TM model integrates staticity and dynamism grounded in a fundamental construct called a thimac (things/machine). Discussions involve the nature of thimacs (things and processes) and subsistence and existence as they are superimposed over each other in reality.
• Score: 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.

Related papers

• Learning World Models With Hierarchical Temporal Abstractions: A Probabilistic Perspective [2.61072980439312]
  Devising formalisms to develop internal world models is a critical research challenge in the domains of artificial intelligence and machine learning. This thesis identifies several limitations with the prevalent use of state space models as internal world models. The structure of models in formalisms facilitates exact probabilistic inference using belief propagation, as well as end-to-end learning via backpropagation through time. These formalisms integrate the concept of uncertainty in world states, thus improving the system's capacity to emulate the nature of the real world and quantify the confidence in its predictions.
  arXiv  Detail & Related papers  (2024-04-24T12:41:04Z)
• Exploring Conceptual Modeling Metaphysics: Existence Containers, Leibniz's Monads and Avicenna's Essence [0.0]
  Requirement specifications in software engineering involve developing a conceptual model of a target domain. Much metaphysical work might best be understood as a model-building process. The focus is on thimacs as a single category of TM modeling in the context of a two-phase world of staticity and dynamics.
  arXiv  Detail & Related papers  (2024-02-20T22:25:20Z)
• Targeted Reduction of Causal Models [55.11778726095353]
  Causal Representation Learning offers a promising avenue to uncover interpretable causal patterns in simulations. We introduce Targeted Causal Reduction (TCR), a method for condensing complex intervenable models into a concise set of causal factors. Its ability to generate interpretable high-level explanations from complex models is demonstrated on toy and mechanical systems.
  arXiv  Detail & Related papers  (2023-11-30T15:46:22Z)
• Ontology for Conceptual Modeling: Reality of What Thinging Machines Talk About, e.g., Information [0.0]
  This paper develops an interdisciplinary research approach to develop a diagrammatic-based on the foundation for conceptual modeling (CM) It is an endeavor to escape an offshore procurement of ontology from philosophy and implant it in CM. The results seem to indicate a promising approach to define information and understand its nature.
  arXiv  Detail & Related papers  (2023-08-16T03:21:27Z)
• Generative Models as a Complex Systems Science: How can we make sense of large language model behavior? [75.79305790453654]
  Coaxing out desired behavior from pretrained models, while avoiding undesirable ones, has redefined NLP. We argue for a systematic effort to decompose language model behavior into categories that explain cross-task performance.
  arXiv  Detail & Related papers  (2023-07-31T22:58:41Z)
• In Pursuit of Unification of Conceptual Models: Sets as Machines [0.0]
  This manuscript is a sequel in a research venture that belongs to the second approach. It uses a model called thinging machines founded on Stoic and Lupascian logic.
  arXiv  Detail & Related papers  (2023-06-24T01:28:31Z)
• Super-model ecosystem: A domain-adaptation perspective [101.76769818069072]
  This paper attempts to establish the theoretical foundation for the emerging super-model paradigm via domain adaptation. Super-model paradigms help reduce computational and data cost and carbon emission, which is critical to AI industry.
  arXiv  Detail & Related papers  (2022-08-30T09:09:43Z)
• Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization [49.00409552570441]
  We study the role of conceptualization in commonsense reasoning, and formulate a framework to replicate human conceptual induction. We apply the framework to ATOMIC, a large-scale human-annotated CKG, aided by the taxonomy Probase.
  arXiv  Detail & Related papers  (2022-06-03T12:24:49Z)
• Quantum realism: axiomatization and quantification [77.34726150561087]
  We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory. We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
  arXiv  Detail & Related papers  (2021-10-10T18:08:42Z)
• CausalCity: Complex Simulations with Agency for Causal Discovery and Reasoning [68.74447489372037]
  We present a high-fidelity simulation environment that is designed for developing algorithms for causal discovery and counterfactual reasoning. A core component of our work is to introduce textitagency, such that it is simple to define and create complex scenarios. We perform experiments with three state-of-the-art methods to create baselines and highlight the affordances of this environment.
  arXiv  Detail & Related papers  (2021-06-25T00:21:41Z)
• Conceptual Modeling of Time for Computational Ontologies [0.0]
  A model refers to a description of objects and processes that populate a system. The focus is on such notions as change, event, and time. The results demonstrate that a TM is a useful tool for addressing these ontological problems.
  arXiv  Detail & Related papers  (2020-07-16T20:11:18Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.