Building Performance

What this is?

One-file, pure JS + JSON building-performance reasoning using ARC: Answer • Reason • Check.

Data — buildings, zones, envelope/equipment, observations, tags.
Policies — declarative JSON rules (if atoms, optional "not": true ⇒ then atoms).
Answer — newly derived facts (keeps strongest priority per building).
Reason Why — mathematical-English derivation snippets.
Check — ≥10 JSON assertions over the full fact set.
Building Performance Summary — per-building best priority & tasks.

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

Data (JSON)

{
  "classes": [
    "Building","Component","Zone","Equipment","Envelope","Window","Wall","Roof",
    "Observation","LifeSafety","MajorIssue","MinorIssue",
    "CO2VeryHigh","HighEnergyUse","Overheating","Underheating","HighHumidity","AirLeakage","LowInsulation","FilterDirty",
    "Tag","NoShading","SingleGlazed","HighSolarGain",
    "Task","Priority","Critical","High","Normal","Low"
  ],

"subclassOf": [
    ["Zone","Component"], ["Equipment","Component"], ["Envelope","Component"], ["Window","Envelope"], ["Wall","Envelope"], ["Roof","Envelope"],
    ["CO2VeryHigh","LifeSafety"],
    ["HighEnergyUse","MajorIssue"],
    ["Overheating","MajorIssue"],
    ["Underheating","MajorIssue"],
    ["HighHumidity","MajorIssue"],
    ["AirLeakage","MajorIssue"],
    ["LowInsulation","MajorIssue"],
    ["FilterDirty","MinorIssue"],
    ["LifeSafety","Observation"], ["MajorIssue","Observation"], ["MinorIssue","Observation"]
  ],

"assets": {
    "B1": {"type":"Building"},
    "Z1": {"type":"Zone","partOf":"B1"},
    "WN1": {"type":"Window","partOf":"B1"},
    "AHU1": {"type":"Equipment","partOf":"B1"},

"B2": {"type":"Building"},
    "Z2": {"type":"Zone","partOf":"B2"},
    "WN2": {"type":"Window","partOf":"B2"},

"B3": {"type":"Building"},
    "AHU3": {"type":"Equipment","partOf":"B3"}
  },

"componentTags": [
    ["WN2","NoShading"],
    ["Z2","HighSolarGain"],
    ["WN1","SingleGlazed"]
  ],

"observations": [
    {"id":"ObsCO2Z1","type":"CO2VeryHigh","about":"Z1"},
    {"id":"ObsHumZ1","type":"HighHumidity","about":"Z1"},
    {"id":"ObsLeakWN1","type":"AirLeakage","about":"WN1"},

{"id":"ObsEnergyB2","type":"HighEnergyUse","about":"B2"},
    {"id":"ObsHeatZ2","type":"Overheating","about":"Z2"},

{"id":"ObsFilterAHU3","type":"FilterDirty","about":"AHU3"}
  ]
}

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-ObsToBuilding",
    "if":[ {"pred":"about","s":"?obs","o":"?comp"}, {"pred":"partOf","s":"?comp","o":"?B"} ],
    "then":[ {"pred":"aboutBuilding","s":"?obs","o":"?B"} ],
    "explain":"Observation ?obs concerns component ?comp of building ?B; therefore it is about ?B."
  },
  {
    "id":"R4-TagExpose",
    "if":[ {"pred":"tag","s":"?S","o":"?T"} ],
    "then":[ {"pred":"hasTag","s":"?S","o":"?T"} ],
    "explain":"Expose component tag ?T on ?S as a fact."
  },

{
    "id":"T-CO2-Critical",
    "if":[ {"pred":"isA","s":"?obs","o":"CO2VeryHigh"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"} ],
    "then":[ {"pred":"requiresTask","s":"?B","o":"IncreaseVentilation"},
             {"pred":"requiresTask","s":"?B","o":"CheckHVAC"},
             {"pred":"priority","s":"?B","o":"Critical"} ],
    "explain":"Severely elevated CO₂ for ?B requires increased ventilation, HVAC check, and Critical priority."
  },
  {
    "id":"T-Humidity",
    "if":[ {"pred":"isA","s":"?obs","o":"HighHumidity"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"} ],
    "then":[ {"pred":"requiresTask","s":"?B","o":"Dehumidify"} ],
    "explain":"High humidity for ?B suggests dehumidification."
  },
  {
    "id":"T-AirLeakage",
    "if":[ {"pred":"isA","s":"?obs","o":"AirLeakage"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"} ],
    "then":[ {"pred":"requiresTask","s":"?B","o":"SealEnvelope"} ],
    "explain":"Air leakage for ?B implies sealing envelope."
  },
  {
    "id":"T-LowInsulation",
    "if":[ {"pred":"isA","s":"?obs","o":"LowInsulation"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"} ],
    "then":[ {"pred":"requiresTask","s":"?B","o":"AddInsulation"} ],
    "explain":"Low insulation for ?B implies adding insulation."
  },
  {
    "id":"T-EnergyUse",
    "if":[ {"pred":"isA","s":"?obs","o":"HighEnergyUse"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"} ],
    "then":[ {"pred":"requiresTask","s":"?B","o":"EnergyAudit"},
             {"pred":"requiresTask","s":"?B","o":"TuneBAS"} ],
    "explain":"High energy use for ?B implies an energy audit and BAS tuning."
  },
  {
    "id":"T-Overheating",
    "if":[ {"pred":"isA","s":"?obs","o":"Overheating"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"} ],
    "then":[ {"pred":"requiresTask","s":"?B","o":"CalibrateThermostat"},
             {"pred":"requiresTask","s":"?B","o":"EvaluateGlazing"} ],
    "explain":"Overheating for ?B suggests thermostat calibration and glazing evaluation."
  },
  {
    "id":"T-Overheat-NoShading",
    "if":[ {"pred":"isA","s":"?obs","o":"Overheating"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"},
           {"pred":"hasTag","s":"?S","o":"NoShading"}, {"pred":"partOf","s":"?S","o":"?B"} ],
    "then":[ {"pred":"requiresTask","s":"?B","o":"AddExternalShading"} ],
    "explain":"Overheating and an unshaded component in ?B imply adding external shading."
  },
  {
    "id":"T-FilterDirty",
    "if":[ {"pred":"isA","s":"?obs","o":"FilterDirty"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"} ],
    "then":[ {"pred":"requiresTask","s":"?B","o":"CleanFilters"} ],
    "explain":"Dirty filters in ?B require cleaning."
  },

{
    "id":"P-LifeSafety→Critical",
    "if":[ {"pred":"isA","s":"?obs","o":"LifeSafety"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"} ],
    "then":[ {"pred":"priority","s":"?B","o":"Critical"} ],
    "explain":"Any life-safety issue for ?B sets Critical priority."
  },
  {
    "id":"P-Major-NotLife→High",
    "if":[ {"pred":"isA","s":"?obs","o":"MajorIssue"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"},
           {"not":true, "pred":"isA","s":"?obs","o":"LifeSafety"} ],
    "then":[ {"pred":"priority","s":"?B","o":"High"} ],
    "explain":"A major (but not life-safety) issue for ?B sets High priority."
  },
  {
    "id":"P-MinorOnly→Low",
    "if":[ {"pred":"isA","s":"?obs","o":"MinorIssue"}, {"pred":"aboutBuilding","s":"?obs","o":"?B"},
           {"not":true, "pred":"isA","s":"?any","o":"MajorIssue"},
           {"not":true, "pred":"isA","s":"?any2","o":"LifeSafety"} ],
    "then":[ {"pred":"priority","s":"?B","o":"Low"} ],
    "explain":"If ?B has only minor issues, set Low priority."
  },
  {
    "id":"P-Default-Normal",
    "if":[ {"pred":"requiresTask","s":"?B","o":"?X"},
           {"not":true, "pred":"priority","s":"?B","o":"?Any"} ],
    "then":[ {"pred":"priority","s":"?B","o":"Normal"} ],
    "explain":"If ?B has tasks but no priority, default to Normal."
  }
]

Checks (JSON)

[
  {"name":"ObsCO2Z1 about B1",          "pattern":{"pred":"aboutBuilding","s":"ObsCO2Z1","o":"B1"}},
  {"name":"ObsHumZ1 about B1",          "pattern":{"pred":"aboutBuilding","s":"ObsHumZ1","o":"B1"}},
  {"name":"ObsLeakWN1 about B1",        "pattern":{"pred":"aboutBuilding","s":"ObsLeakWN1","o":"B1"}},
  {"name":"ObsEnergyB2 about B2",       "pattern":{"pred":"aboutBuilding","s":"ObsEnergyB2","o":"B2"}},
  {"name":"ObsHeatZ2 about B2",         "pattern":{"pred":"aboutBuilding","s":"ObsHeatZ2","o":"B2"}},

{"name":"B1 IncreaseVentilation",     "pattern":{"pred":"requiresTask","s":"B1","o":"IncreaseVentilation"}},
  {"name":"B1 Dehumidify",              "pattern":{"pred":"requiresTask","s":"B1","o":"Dehumidify"}},
  {"name":"B1 SealEnvelope",            "pattern":{"pred":"requiresTask","s":"B1","o":"SealEnvelope"}},

{"name":"B2 EnergyAudit",             "pattern":{"pred":"requiresTask","s":"B2","o":"EnergyAudit"}},
  {"name":"B2 TuneBAS",                 "pattern":{"pred":"requiresTask","s":"B2","o":"TuneBAS"}},
  {"name":"B2 CalibrateThermostat",     "pattern":{"pred":"requiresTask","s":"B2","o":"CalibrateThermostat"}},
  {"name":"B2 AddExternalShading",      "pattern":{"pred":"requiresTask","s":"B2","o":"AddExternalShading"}},

{"name":"B3 CleanFilters",            "pattern":{"pred":"requiresTask","s":"B3","o":"CleanFilters"}},

{"name":"B1 priority Critical",       "pattern":{"pred":"priority","s":"B1","o":"Critical"}},
  {"name":"B2 priority High",           "pattern":{"pred":"priority","s":"B2","o":"High"}},
  {"name":"B3 priority Low",            "pattern":{"pred":"priority","s":"B3","o":"Low"}}
]

Controls

Answer (newly derived facts)

computing…

Reason Why (mathematical English)

(click “Run ARC”)

Check

computing…

Building Performance Summary

(run to populate)