计算不可归还性作为代理的基础:一种正式模型,将不可决定性与复杂系统中的自主行为联系起来
1Institute of Biophysics and Biochemistry, University of Tehran, Tehran, Iran.
Bio Systems
|August 13, 2025
概括
真正的自主性,即系统自我调节和追求目标的能力,本质上意味着它们的未来行为在计算上是不可预测和不可决定的. 这项研究提供了自主和非自主系统之间的正式区别.
科学领域:
- 理论计算机科学 理论计算机科学
- 计算生物学 计算生物学
- 思想的哲学 思想的哲学
背景情况:
- 定义真正的自治仍然是一个挑战,经常与复杂但可预测的行为混为一谈.
- 现有的模型很难解释物理系统中新兴的代理和新的目的生成.
研究的目的:
- 为了正式建模真正的自治及其计算含义.
- 在自主和非自主系统之间建立一个有原则,有数学依据的区别.
- 探索如何在物理宇宙中出现新的信息和目的.
主要方法:
- 开发一个整合计算理论和生物见解的正式模型.
- 应用诸如计算不可归还性和新兴代理等概念.
- 数学证明证明了自主系统未来行为的不可决定性.
主要成果:
- 从外部的角度来看,真正的自主性从根本上意味着计算不可预测性.
- 正式的不可分辨性作为一个明确的标记,区分自主和非自主系统.
- 该模型通过新兴代理来解释新型信息和目的的起源.
结论:
- 计算不可决定性是真正自主权的核心特征.
- 该框架对人工智能,生物系统建模以及关于自由意志的哲学辩论具有重要意义.
- 这项工作为理解自然和人工系统中的代理提供了严格的基础.
相关概念视频
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
101
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
101
Mechanistic Models: Overview of Compartment Models
161
Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...
161
Classification of Systems-I
301
Linearity is a system property characterized by a direct input-output relationship, combining homogeneity and additivity.
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
301
Block Diagram Reduction
285
The process of deriving the transfer function of a control system often involves reducing its block diagram to a single block. This simplification can be achieved through a series of strategic operations, including relocating branch points and comparators. These operations preserve the overall function of the system while allowing for easier manipulation and combination of blocks.
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
285
Woodward–Hoffmann Selection Rules and Microscopic Reversibility
3.3K
Electrocyclic reactions, cycloadditions, and sigmatropic rearrangements are concerted pericyclic reactions that proceed via a cyclic transition state. These reactions are stereospecific and regioselective. The stereochemistry of the products depends on the symmetry characteristics of the interacting orbitals and the reaction conditions. Accordingly, pericyclic reactions are classified as either symmetry-allowed or symmetry-forbidden. Woodward and Hoffmann presented the selection criteria for...
3.3K
Mechanistic Models: Compartment Models in Individual and Population Analysis
86
Mechanistic models are utilized in individual analysis using single-source data, but imperfections arise due to data collection errors, preventing perfect prediction of observed data. The mathematical equation involves known values (Xi), observed concentrations (Ci), measurement errors (εi), model parameters (ϕj), and the related function (ƒi) for i number of values. Different least-squares metrics quantify differences between predicted and observed values. The ordinary least...
86


