Mathematical modelling heavily employs differential equations to describe the macroscopic or global behaviour of systems. The dynamics of complex systems is in contrast more efficiently described by local rules and thus in an algorithmic and local or microscopic manner. The theory of such an approach has to be established still. We recently presented the so-called allagmatic method, which includes a system metamodel providing a framework for describing, modelling, simulating, and interpreting complex systems. Its development and programming was guided by philosophy, especially by Gilbert Simondon's philosophy of individuation, and concepts from cybernetics. Here, a mathematical formalism is presented to more precisely describe and define the system metamodel of the allagmatic method, further generalising it and extending its reach to a more formal treatment and allowing more theoretical studies. Using the formalism, an example for such a further study is finally provided with mathematical definitions and proofs for model creation and equivalence of cellular automata and artificial neural networks.
翻译:数学建模大量使用差异方程式来描述各种系统的宏观或全球行为。复杂系统的动态以当地规则来更高效地描述,因此以算法和地方或微观方式加以描述。这种方法的理论尚有待确定。我们最近提出了所谓的方程式方法,其中包括一个提供描述、建模、模拟和解释复杂系统的框架的系统元模。其开发和编程以哲学为指导,特别是吉尔伯特·西蒙登的“非分化”哲学和计算机学的概念。在这里,数学形式主义被介绍为更精确地描述和界定了全方位方法的系统元模型,进一步将其推广到更正式的治疗范围,并允许进行更理论的研究。利用形式主义,最终为这种进一步研究提供了数学定义和证据,用于模型的创建和对等的细胞自动化和人工神经网络。