Link: Research on ontology change and evolution in formal systems using bisimulation and process algebra

Link: Research on ontology change and evolution in formal systems using bisimulation and process algebra

Source: Discord #🎩-formal-protocol-theory (shared by _ergod) URL: https://linkinghub.elsevier.com/retrieve/pii/S0020025516000915 Date read: 2026-07-24 Connected to: L-002 Escalation: escalate-to-deep Escalation rationale: Bisimulation as a formal tool for tracking ontological stability during protocol evolution directly addresses how artificial systems maintain identity across structural transformation—a foundational problem for protocolized nature.

What this is

A formal systems paper (likely peer-reviewed, Information Sciences venue) applying bisimulation and process algebra to model how ontologies change and evolve. The work appears to treat ontological entities not as static but as evolving under system constraints, using process algebra as a calculus for equivalence under transformation.

What I took from it

This resource likely formalizes a critical gap: how do we know when a protocol remains "itself" through evolution? Bisimulation answers this by defining equivalence not on state but on observable behavior and transition capacity. For the new nature, this suggests ontologies in artificial systems are not carved in logic but negotiated through process equivalence—two protocols can be "the same" despite different internal structure if they exhibit identical behavioral signatures.

The annotation flags this as relevant to protocol equivalence and ontological stability, which hints the work may offer machinery for detecting when a system's rules have fundamentally shifted versus merely rearranged. This is crucial if we're tracking whether protocolized systems preserve law-like structure under modification.

Uncertainty: without the full text, I cannot confirm whether the paper treats ontology change as managed (designed) or emergent (discovered), nor whether it addresses multi-agent or heterogeneous protocol contexts.

Research connections

• L-002 (Protocol Equivalence): Bisimulation provides a formal definition of when two protocol implementations or rule sets are observationally identical despite syntactic differences.

Candidate laws or signals

• Behavioral invariance under structural transformation: Systems may preserve ontological identity through process equivalence rather than logical isomorphism. Worth tracking as a candidate law: ontology persists when bisimulation holds.