Wind-Turbine Maintenance

What this is?

One-file, pure JS + JSON reasoning demo for wind-turbine maintenance using ARC: Answer • Reason • Check.

Data — JSON assets, components, and observations.
Policies — declarative JSON rules (if atoms with optional "not": true negations ⇒ then atoms).
Answer — only the newly derived facts (strongest priority kept per turbine).
Reason Why — explanations in mathematical English (rule templates with variable bindings).
Check — runs JSON assertions (≥ 10) against the full fact set.
Maintenance Summary — per-turbine priority and task roll-up (chooses strongest priority).

Engine: small forward-chainer with unification, subclassing (subClass), transitive partOf, observation-to-turbine mapping, and negation-as-failure for "not": true.

Data (JSON)

{
  "classes": ["Turbine","Component","Gearbox","Generator","MainBearing","Blade","YawSystem",
              "Condition","CriticalCondition","MajorCondition","EarlyWarningCondition",
              "HighVibration","Overheat","OilDebris","PitchError","YawMisalign",
              "RequiresShutdown","Priority","Urgent","High","Normal","Task"],
  "subclassOf": [
    ["Gearbox","Component"], ["Generator","Component"], ["MainBearing","Component"], ["Blade","Component"], ["YawSystem","Component"],
    ["HighVibration","CriticalCondition"],
    ["Overheat","MajorCondition"],
    ["OilDebris","EarlyWarningCondition"],
    ["PitchError","MajorCondition"],
    ["YawMisalign","EarlyWarningCondition"],
    ["CriticalCondition","Condition"], ["MajorCondition","Condition"], ["EarlyWarningCondition","Condition"]
  ],
  "assets": {
    "T1": {"type":"Turbine"},
    "GB1": {"type":"Gearbox","partOf":"T1"},
    "MB1": {"type":"MainBearing","partOf":"T1"},

"T2": {"type":"Turbine"},
    "GEN2": {"type":"Generator","partOf":"T2"},
    "B2": {"type":"Blade","partOf":"T2"},
    "YS2": {"type":"YawSystem","partOf":"T2"},

"T3": {"type":"Turbine"},
    "GEN3": {"type":"Generator","partOf":"T3"},
    "GB3": {"type":"Gearbox","partOf":"T3"}
  },
  "observations": [
    {"id":"ObsVibGB1","type":"HighVibration","about":"GB1"},
    {"id":"ObsTempGEN2","type":"Overheat","about":"GEN2"},
    {"id":"ObsOilMB1","type":"OilDebris","about":"MB1"},
    {"id":"ObsPitchB2","type":"PitchError","about":"B2"},
    {"id":"ObsYawYS2","type":"YawMisalign","about":"YS2"}
  ]
}

Policies (declarative JSON rules)

[
  {
    "id": "R1-Subclass",
    "if": [ {"pred":"subClass","s":"?A","o":"?B"}, {"pred":"isA","s":"?S","o":"?A"} ],
    "then": [ {"pred":"isA","s":"?S","o":"?B"} ],
    "explain": "Since ?A ⊑ ?B and ?S ∈ ?A, infer ?S ∈ ?B."
  },
  {
    "id": "R2-PartOfTransitive",
    "if": [ {"pred":"partOf","s":"?x","o":"?y"}, {"pred":"partOf","s":"?y","o":"?z"} ],
    "then": [ {"pred":"partOf","s":"?x","o":"?z"} ],
    "explain": "Because ?x is part of ?y and ?y is part of ?z, by transitivity ?x is part of ?z."
  },
  {
    "id": "R3-ObsToTurbine",
    "if": [ {"pred":"about","s":"?obs","o":"?comp"}, {"pred":"partOf","s":"?comp","o":"?T"} ],
    "then": [ {"pred":"aboutTurbine","s":"?obs","o":"?T"} ],
    "explain": "Observation ?obs concerns component ?comp of turbine ?T; therefore ?obs is about turbine ?T."
  },
  {
    "id": "P-HV-Tasks",
    "if": [ {"pred":"isA","s":"?obs","o":"HighVibration"}, {"pred":"aboutTurbine","s":"?obs","o":"?T"} ],
    "then": [
      {"pred":"requiresTask","s":"?T","o":"BalanceRotor"},
      {"pred":"requiresTask","s":"?T","o":"InspectGearbox"},
      {"pred":"requiresTask","s":"?T","o":"TightenFoundation"}
    ],
    "explain": "High vibration on ?T implies balancing, gearbox inspection, and foundation tightening tasks."
  },
  {
    "id": "P-Overheat-Tasks",
    "if": [ {"pred":"isA","s":"?obs","o":"Overheat"}, {"pred":"aboutTurbine","s":"?obs","o":"?T"} ],
    "then": [
      {"pred":"requiresTask","s":"?T","o":"ThermalScanGenerator"},
      {"pred":"requiresTask","s":"?T","o":"ChangeFilter"}
    ],
    "explain": "Overheating on ?T implies a thermal scan and filter change."
  },
  {
    "id": "P-Oil-Tasks",
    "if": [ {"pred":"isA","s":"?obs","o":"OilDebris"}, {"pred":"aboutTurbine","s":"?obs","o":"?T"} ],
    "then": [
      {"pred":"requiresTask","s":"?T","o":"OilAnalysis"},
      {"pred":"requiresTask","s":"?T","o":"InspectMainBearing"}
    ],
    "explain": "Oil debris on ?T implies oil analysis and main bearing inspection."
  },
  {
    "id": "P-Pitch-Task",
    "if": [ {"pred":"isA","s":"?obs","o":"PitchError"}, {"pred":"aboutTurbine","s":"?obs","o":"?T"} ],
    "then": [ {"pred":"requiresTask","s":"?T","o":"InspectPitchActuator"} ],
    "explain": "Pitch error on ?T implies pitch actuator inspection."
  },
  {
    "id": "P-Yaw-Task",
    "if": [ {"pred":"isA","s":"?obs","o":"YawMisalign"}, {"pred":"aboutTurbine","s":"?obs","o":"?T"} ],
    "then": [ {"pred":"requiresTask","s":"?T","o":"CalibrateYawCompass"} ],
    "explain": "Yaw misalignment on ?T implies yaw compass calibration."
  },
  {
    "id": "P-Safety-Critical",
    "if": [ {"pred":"isA","s":"?obs","o":"CriticalCondition"}, {"pred":"aboutTurbine","s":"?obs","o":"?T"} ],
    "then": [ {"pred":"isA","s":"?T","o":"RequiresShutdown"}, {"pred":"priority","s":"?T","o":"Urgent"} ],
    "explain": "If some observation of ?T is critical, then ?T must be shut down and prioritized as Urgent."
  },
  {
    "id": "P-Major-NotCritical",
    "if": [
      {"pred":"isA","s":"?obs","o":"MajorCondition"},
      {"pred":"aboutTurbine","s":"?obs","o":"?T"},
      {"not": true, "pred":"isA","s":"?obs","o":"CriticalCondition"}
    ],
    "then": [ {"pred":"priority","s":"?T","o":"High"} ],
    "explain": "If an observation on ?T is major and not critical, assign High priority to ?T."
  },
  {
    "id": "P-Default-Normal",
    "if": [
      {"pred":"requiresTask","s":"?T","o":"?X"},
      {"not": true, "pred":"priority","s":"?T","o":"?P"}
    ],
    "then": [ {"pred":"priority","s":"?T","o":"Normal"} ],
    "explain": "If ?T has tasks but no priority yet, assign the default Normal priority."
  }
]

Checks (JSON)

[
  {"name":"GB1 is Component", "pattern":{"pred":"isA","s":"GB1","o":"Component"}},
  {"name":"GB3 is Component", "pattern":{"pred":"isA","s":"GB3","o":"Component"}},
  {"name":"GEN2 is Component", "pattern":{"pred":"isA","s":"GEN2","o":"Component"}},
  {"name":"GEN3 is Component", "pattern":{"pred":"isA","s":"GEN3","o":"Component"}},
  {"name":"MB1 is Component", "pattern":{"pred":"isA","s":"MB1","o":"Component"}},
  {"name":"B2 is Component", "pattern":{"pred":"isA","s":"B2","o":"Component"}},
  {"name":"YS2 is Component", "pattern":{"pred":"isA","s":"YS2","o":"Component"}},

{"name":"ObsVibGB1 about T1", "pattern":{"pred":"aboutTurbine","s":"ObsVibGB1","o":"T1"}},
  {"name":"ObsTempGEN2 about T2", "pattern":{"pred":"aboutTurbine","s":"ObsTempGEN2","o":"T2"}},
  {"name":"ObsOilMB1 about T1", "pattern":{"pred":"aboutTurbine","s":"ObsOilMB1","o":"T1"}},
  {"name":"ObsPitchB2 about T2", "pattern":{"pred":"aboutTurbine","s":"ObsPitchB2","o":"T2"}},
  {"name":"ObsYawYS2 about T2", "pattern":{"pred":"aboutTurbine","s":"ObsYawYS2","o":"T2"}},

{"name":"T1 RequiresShutdown", "pattern":{"pred":"isA","s":"T1","o":"RequiresShutdown"}},
  {"name":"T1 Urgent priority", "pattern":{"pred":"priority","s":"T1","o":"Urgent"}},
  {"name":"T2 High priority", "pattern":{"pred":"priority","s":"T2","o":"High"}},

{"name":"T1 BalanceRotor", "pattern":{"pred":"requiresTask","s":"T1","o":"BalanceRotor"}},
  {"name":"T2 ThermalScanGenerator", "pattern":{"pred":"requiresTask","s":"T2","o":"ThermalScanGenerator"}},
  {"name":"T1 OilAnalysis", "pattern":{"pred":"requiresTask","s":"T1","o":"OilAnalysis"}},
  {"name":"T2 CalibrateYawCompass", "pattern":{"pred":"requiresTask","s":"T2","o":"CalibrateYawCompass"}}
]

Controls

Answer (newly derived facts)

computing…

Reason Why (mathematical English)

(click “Run ARC”)

Check

computing…

Maintenance Summary

(run to populate)