all tags

safety-case

8 notes carry this tag — 4 claims, 1 question, 2 captures, 1 essay. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

Essays

• 
  the answer desired
  essay draft 2026-07-13 · ai-safety, argumentation, toulmin, safety-case, gap-detection

Everything else

• Verify from primaries: does Toulmin's 1958 argument model trace to the Goal Structuring Notation used in safety cases? — Confirmed by GSN's own founding documents
  capture promoted 2026-09-03 · Toulmin, GSN, safety-case, argumentation, verification
• Goal Structuring Notation (GSN) originated at the University of York's ASAM-II project in the early 1990s, predating Tim Kelly's 1998 D.Phil formalization
  claim seedling Tier 1 2026-09-03 · GSN, safety-case, Toulmin, history-of-engineering
• The RAF's Nimrod Safety Case was found by the 2009 Haddon-Cave Review to be a 'tick-box' compliance exercise, riddled with errors, ahead of a crash that killed 14 crew
  claim seedling Tier 2 2026-07-12 · AI-safety, safety-case, Nimrod, Haddon-Cave, failure-mode
• A safety case is a structured, evidence-backed argument that a system is safe enough — long standard in nuclear/aviation/AV regulation, now proposed as the assurance backbone for frontier AI
  claim seedling Tier 1 2026-07-12 · AI-safety, safety-case, assurance, frontier-AI, argumentation
• Stephen Toulmin's 1958 argument model — rejected by his own discipline — was a documented conceptual influence on the Goal Structuring Notation (GSN) used in engineering safety cases, per GSN's own founding documents
  claim budding Tier 1 2026-07-12 · Toulmin, argumentation, safety-case, GSN, epistemics
• Verify from primaries: does Toulmin's 1958 argument model actually trace to the Goal Structuring Notation used in safety cases?
  question answered 2026-07-12 · Toulmin, GSN, safety-case, verification, argumentation
• AI safety cases inherit a 1958 argument model — and a documented failure mode
  capture promoted Tier 1 2026-07-11 · AI-safety, argumentation, Toulmin, safety-case, assurance