FPF Reference

Navigating Uncertainty: Building Closed Worlds within an Open World (non-normative)

Preface node heading:navigating-uncertainty-building-closed-worlds-within-an-open-world-non-normative:421

Content

A fundamental challenge in any rigorous thinking is how to handle incomplete information. To build reliable systems and make trustworthy claims, we must make decisive judgments based on what we know, while remaining aware of the vast ocean of what we don't. This tension is formally captured by two opposing assumptions about the world: the Open-World Assumption and the Closed-World Assumption. FPF does not force a choice between them; instead, it provides a principled architecture for using both where they are most appropriate.

The distinction is best understood through a simple analogy:

  • The Open-World Assumption (OWA): Absence of proof is not proof of absence. If a name is not on a party guest list, we cannot conclude they are not coming. The list might simply be incomplete. This is the assumption of science, exploration, and the internet. It is a world of unbounded possibility, where new facts can always be discovered.

  • The Closed-World Assumption (CWA): What is not known to be true is considered false. If a name is not on a flight manifest, the airline and the security services will conclude they are not on the plane. For safety and operations, the list is assumed to be complete and authoritative. This is the assumption of databases, legal Standards, and safety-critical engineering. It is a world of bounded certainty, where we need to make reliable decisions based on a defined set of facts.

FPF is a hybrid system, architected to operate within the reality of an open world while enabling the construction of the reliable, locally-closed worlds necessary for engineering.

How FPF Embraces the Open World? The framework is fundamentally designed to acknowledge that our knowledge is never complete. This OWA stance is embedded in its core principles:

  • Open-Ended Evolution (P-10): FPF is built on the premise that any holon—a system, a theory, a method—is perpetually incomplete and can be improved. New evidence can always emerge.
  • Open-Ended Kernel (A.5): The architecture of a minimal kernel of patterns in FPF alexandrian/architectural pattern language is an admission that the core cannot and should not attempt to describe everything. The world is too rich for any single, final ontology.
  • The Abductive Loop (B.5.2): The very first step of the reasoning cycle is to generate a new hypothesis. This act is a formal recognition that our current model is insufficient to explain an anomaly—a clear OWA posture. It operationalised by B.5.2.1 via C.17–C.19.

How FPF Constructs and Manages Closed Worlds? While the universe is open, engineering requires us to build systems that are safe, predictable, and auditable. To do this, we must be able to draw a line and declare that, for a specific purpose, our knowledge within that line is complete. FPF provides the formal tools to build and govern these "islands of CWA":

  • U.BoundedContext (A.1.1): This is the primary mechanism for establishing a local CWA. Within a Bounded Context, a specific set of models, rules, and invariants is declared to be authoritative. Any statement that violates an invariant within that context is considered false.
  • U.Boundary (A.1): The boundary of a holon is the physical or conceptual wall of the CWA island. It makes the distinction between the managed "inside" and the unmanaged "outside" explicit, turning an abstract assumption into a concrete architectural feature.
  • Conformance Checklists: Each pattern's checklist acts as a set of CWA rules. A model that fails a check is not "of unknown status"; it is formally non-conformant.
  • Assurance Levels (B.3.3): The assurance calculus makes a decisive CWA judgment on trust. A claim without an explicit evidence anchor is not "of unknown reliability"; it is assigned AssuranceLevel: L0 (Unsubstantiated). For the purpose of making decisions, it is not trusted.

In essence, FPF does not attempt the impossible task of transforming the open world into a closed one. It provides the architectural discipline to draw a firm line in the sand, make a reliable decision based on what's inside that line, and always remain aware of the open, unbounded world that lies beyond it.