What are effective tools and modelling paradigms for implementing and running (simulations of) self-modifying open systems?

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• What are appropriate mathematical formalisms and computational tools for modelling a self-modifying system that changes its own rules, and is open to its environment?question0.847
  Organizing question for §6 on tools for modelling self-referential systems.
• What are appropriate analysis tools for interrogating self-modifying, evolving, open systems?question0.819
  Organizing question for §6.3 on analysis tools.
• Software implementations for all of the models/behaviours presented are common for n = 2, and can be made very efficient for α_i that map many objects onto a much smaller set of object families.claim0.779
  Claim about current practical feasibility and efficiency of 2-way associative implementations.
• In order to actually do anything, the model must act through simulation of something.claim0.768
  Key consequence: GPT's power comes from simulating something contingent.
• Any system that persists must minimise surprisal, thereby gathering evidence for its own generative model.quote0.767
  Opening sentence defining self-evidencing.
• Any system that persists must minimise surprisal, thereby gathering evidence for its own generative model, a process known as self-evidencing.claim0.762
  Foundational claim of the paper, defining self-evidencing.
• The proposed framework models the self-application aspect of the unified ToM systemclaim0.756
  Author's claim that introspective inference is one half of the unified ToM system and can be extended to other-inference
• Models are being used ubiquitously for the control of complex dynamic systems.claim0.755
  Assertion in the abstract that models are pervasive in controlling complex dynamics, setting the motivation for the theorem.