A Systems-Theoretical Formalization of Closed Systems
- URL: http://arxiv.org/abs/2311.10786v1
- Date: Thu, 16 Nov 2023 19:01:01 GMT
- Title: A Systems-Theoretical Formalization of Closed Systems
- Authors: Niloofar Shadab, Tyler Cody, Alejandro Salado, Peter Beling
- Abstract summary: There is a lack of formalism for some key foundational concepts in systems engineering.
One of the most recently acknowledged deficits is the inadequacy of systems engineering practices for intelligent systems.
- Score: 47.99822253865054
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: There is a lack of formalism for some key foundational concepts in systems
engineering. One of the most recently acknowledged deficits is the inadequacy
of systems engineering practices for engineering intelligent systems. In our
previous works, we proposed that closed systems precepts could be used to
accomplish a required paradigm shift for the systems engineering of intelligent
systems. However, to enable such a shift, formal foundations for closed systems
precepts that expand the theory of systems engineering are needed. The concept
of closure is a critical concept in the formalism underlying closed systems
precepts. In this paper, we provide formal, systems- and information-theoretic
definitions of closure to identify and distinguish different types of closed
systems. Then, we assert a mathematical framework to evaluate the subjective
formation of the boundaries and constraints of such systems. Finally, we argue
that engineering an intelligent system can benefit from appropriate closed and
open systems paradigms on multiple levels of abstraction of the system. In the
main, this framework will provide the necessary fundamentals to aid in systems
engineering of intelligent systems.
Related papers
- Order-theoretic models for decision-making: Learning, optimization, complexity and computation [0.0]
The study of intelligent systems explains behaviour in terms of economic rationality.
The first aim of this thesis is to clarify the applicability of these results in the study of intelligent systems.
arXiv Detail & Related papers (2024-06-15T20:20:43Z) - Formal Methods for Autonomous Systems [21.989467515686858]
Formal methods have played a key role in establishing the correctness of safety-critical systems.
Main building blocks of formal methods are models and specifications.
We consider correct-by-construction synthesis under various formulations.
arXiv Detail & Related papers (2023-11-02T14:18:43Z) - A Hybrid System for Systematic Generalization in Simple Arithmetic
Problems [70.91780996370326]
We propose a hybrid system capable of solving arithmetic problems that require compositional and systematic reasoning over sequences of symbols.
We show that the proposed system can accurately solve nested arithmetical expressions even when trained only on a subset including the simplest cases.
arXiv Detail & Related papers (2023-06-29T18:35:41Z) - Core and Periphery as Closed-System Precepts for Engineering General
Intelligence [62.997667081978825]
It is unclear if an AI system's inputs will be independent of its outputs, and, therefore, if AI systems can be treated as traditional components.
This paper posits that engineering general intelligence requires new general systems precepts, termed the core and periphery.
arXiv Detail & Related papers (2022-08-04T18:20:25Z) - The Open Systems View [0.016317061277456996]
We argue against the closed systems view, for which systems interacting with their environment are conceived of as fundamental.
We consider three alternative notions of fundamentality: (i)ontic fundamentality, (ii)epistemic fundamentality, and (iii)explanatory fundamentality.
This has important implications for the philosophy of physics, the philosophy of science, and for metaphysics.
arXiv Detail & Related papers (2021-12-21T10:57:44Z) - Learning Physical Concepts in Cyber-Physical Systems: A Case Study [72.74318982275052]
We provide an overview of the current state of research regarding methods for learning physical concepts in time series data.
We also analyze the most important methods from the current state of the art using the example of a three-tank system.
arXiv Detail & Related papers (2021-11-28T14:24:52Z) - Multi-objective discovery of PDE systems using evolutionary approach [77.34726150561087]
In the paper, a multi-objective co-evolution algorithm is described.
The single equations within the system and the system itself are evolved simultaneously to obtain the system.
In contrast to the single vector equation, a component-wise system is more suitable for expert interpretation and, therefore, for applications.
arXiv Detail & Related papers (2021-03-11T15:37:52Z) - The Evolution of Concept-Acquisition based on Developmental Psychology [4.416484585765028]
A conceptual system with rich connotation is key to improving the performance of knowledge-based artificial intelligence systems.
Finding a new method to represent concepts and construct a conceptual system will greatly improve the performance of many intelligent systems.
Developmental psychology carefully observes the process of concept acquisition in humans at the behavioral level.
arXiv Detail & Related papers (2020-11-26T01:57:24Z) - What is an intelligent system? [0.0]
The goal of this paper is to give a general description of an intelligent system, which integrates previous approaches and takes into account recent advances in artificial intelligence.
The presented description follows a practical approach to be used by system engineers.
arXiv Detail & Related papers (2020-08-31T21:23:49Z) - Towards an Interface Description Template for AI-enabled Systems [77.34726150561087]
Reuse is a common system architecture approach that seeks to instantiate a system architecture with existing components.
There is currently no framework that guides the selection of necessary information to assess their portability to operate in a system different than the one for which the component was originally purposed.
We present ongoing work on establishing an interface description template that captures the main information of an AI-enabled component.
arXiv Detail & Related papers (2020-07-13T20:30:26Z)
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.