Clinical Care Planning

What this is?

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

Data — JSON patients, body parts, observations.
Policies — declarative JSON rules (if atoms, optional "not": true negations ⇒ then atoms).
Answer — only newly derived facts (keeps strongest priority per patient).
Reason Why — mathematical-English templates with variable bindings.
Check — ≥10 JSON assertions against the full fact set.
Care Plan Summary — per-patient priority & planned interventions (chooses strongest priority).

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

Data (JSON)

{
  "classes": ["Patient","BodyPart",
              "Observation","RedFlag","MajorConcern","MinorConcern",
              "ChestPain","Hypoxia","Fever","Cough","Wheeze","HighBP","Headache","SoreThroat",
              "CarePriority","Emergency","High","Routine","CareTask","RequiresImmediateCare"],

"subclassOf": [
    ["ChestPain","RedFlag"],
    ["Hypoxia","RedFlag"],
    ["Fever","MajorConcern"],
    ["Cough","MinorConcern"],
    ["Wheeze","MinorConcern"],
    ["HighBP","MinorConcern"],
    ["Headache","MinorConcern"],
    ["RedFlag","Observation"],
    ["MajorConcern","Observation"],
    ["MinorConcern","Observation"]
  ],

"assets": {
    "P1": {"type":"Patient"},
    "Heart1": {"type":"BodyPart","partOf":"P1"},
    "Lung1":  {"type":"BodyPart","partOf":"P1"},

"P2": {"type":"Patient"},
    "Lung2": {"type":"BodyPart","partOf":"P2"},

"P3": {"type":"Patient"}
  },

"observations": [
    {"id":"ObsCP1","type":"ChestPain","about":"Heart1"},
    {"id":"ObsO2P1","type":"Hypoxia","about":"Lung1"},
    {"id":"ObsFeverP1","type":"Fever","about":"P1"},

{"id":"ObsCoughP2","type":"Cough","about":"P2"},
    {"id":"ObsWheezeP2","type":"Wheeze","about":"P2"},
    {"id":"ObsFeverP2","type":"Fever","about":"P2"},

{"id":"ObsBP3","type":"HighBP","about":"P3"},
    {"id":"ObsHeadache3","type":"Headache","about":"P3"}
  ]
}

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-ObsToPatient",
    "if":  [ {"pred":"about","s":"?obs","o":"?part"}, {"pred":"partOf","s":"?part","o":"?P"} ],
    "then":[ {"pred":"aboutPatient","s":"?obs","o":"?P"} ],
    "explain": "Observation ?obs concerns body part ?part of patient ?P; therefore ?obs is about patient ?P."
  },

{
    "id": "T-ChestPain",
    "if":  [ {"pred":"isA","s":"?obs","o":"ChestPain"}, {"pred":"aboutPatient","s":"?obs","o":"?P"} ],
    "then":[ {"pred":"requiresTask","s":"?P","o":"EKG"},
             {"pred":"requiresTask","s":"?P","o":"TroponinLab"} ],
    "explain": "Chest pain in ?P implies EKG and troponin testing."
  },
  {
    "id": "T-Hypoxia",
    "if":  [ {"pred":"isA","s":"?obs","o":"Hypoxia"}, {"pred":"aboutPatient","s":"?obs","o":"?P"} ],
    "then":[ {"pred":"requiresTask","s":"?P","o":"OxygenTherapy"},
             {"pred":"requiresTask","s":"?P","o":"ChestXRay"} ],
    "explain": "Hypoxia in ?P implies oxygen therapy and chest radiography."
  },
  {
    "id": "T-Fever",
    "if":  [ {"pred":"isA","s":"?obs","o":"Fever"}, {"pred":"aboutPatient","s":"?obs","o":"?P"} ],
    "then":[ {"pred":"requiresTask","s":"?P","o":"Antipyretic"},
             {"pred":"requiresTask","s":"?P","o":"RepeatVitals"} ],
    "explain": "Fever in ?P implies antipyretic treatment and repeat vitals."
  },
  {
    "id": "T-Fever+Cough→COVIDTest",
    "if":  [ {"pred":"isA","s":"?o1","o":"Fever"}, {"pred":"aboutPatient","s":"?o1","o":"?P"},
             {"pred":"isA","s":"?o2","o":"Cough"}, {"pred":"aboutPatient","s":"?o2","o":"?P"} ],
    "then":[ {"pred":"requiresTask","s":"?P","o":"COVIDTest"} ],
    "explain": "Fever and cough in the same patient ?P suggest COVID testing."
  },
  {
    "id": "T-Wheeze",
    "if":  [ {"pred":"isA","s":"?obs","o":"Wheeze"}, {"pred":"aboutPatient","s":"?obs","o":"?P"} ],
    "then":[ {"pred":"requiresTask","s":"?P","o":"Nebulizer"} ],
    "explain": "Wheezing in ?P suggests bronchodilator (nebulizer) therapy."
  },
  {
    "id": "T-HighBP",
    "if":  [ {"pred":"isA","s":"?obs","o":"HighBP"}, {"pred":"aboutPatient","s":"?obs","o":"?P"} ],
    "then":[ {"pred":"requiresTask","s":"?P","o":"BPRecheck"},
             {"pred":"requiresTask","s":"?P","o":"Hydration"} ],
    "explain": "Isolated high BP in ?P suggests BP recheck and hydration."
  },

{
    "id": "P-RedFlag→Emergency",
    "if":  [ {"pred":"isA","s":"?obs","o":"RedFlag"}, {"pred":"aboutPatient","s":"?obs","o":"?P"} ],
    "then":[ {"pred":"isA","s":"?P","o":"RequiresImmediateCare"},
             {"pred":"priority","s":"?P","o":"Emergency"} ],
    "explain": "Any red flag for ?P warrants immediate care and Emergency priority."
  },
  {
    "id": "P-Major-NotRedFlag→High",
    "if":  [ {"pred":"isA","s":"?obs","o":"MajorConcern"}, {"pred":"aboutPatient","s":"?obs","o":"?P"},
             {"not":true, "pred":"isA","s":"?obs","o":"RedFlag"} ],
    "then":[ {"pred":"priority","s":"?P","o":"High"} ],
    "explain": "A major (but not red-flag) concern for ?P implies High priority."
  },
  {
    "id": "P-Default-Routine",
    "if":  [ {"pred":"requiresTask","s":"?P","o":"?X"},
             {"not":true, "pred":"priority","s":"?P","o":"?Any"} ],
    "then":[ {"pred":"priority","s":"?P","o":"Routine"} ],
    "explain": "If ?P has a care task and no assigned priority, default to Routine."
  }
]

Checks (JSON)

[
  {"name":"ObsCP1 is about patient P1",      "pattern":{"pred":"aboutPatient","s":"ObsCP1","o":"P1"}},
  {"name":"ObsO2P1 is about patient P1",     "pattern":{"pred":"aboutPatient","s":"ObsO2P1","o":"P1"}},
  {"name":"ObsFeverP1 is about patient P1",  "pattern":{"pred":"aboutPatient","s":"ObsFeverP1","o":"P1"}},
  {"name":"ObsCoughP2 is about patient P2",  "pattern":{"pred":"aboutPatient","s":"ObsCoughP2","o":"P2"}},
  {"name":"ObsWheezeP2 is about patient P2", "pattern":{"pred":"aboutPatient","s":"ObsWheezeP2","o":"P2"}},

{"name":"P1 requires EKG",           "pattern":{"pred":"requiresTask","s":"P1","o":"EKG"}},
  {"name":"P1 requires TroponinLab",   "pattern":{"pred":"requiresTask","s":"P1","o":"TroponinLab"}},
  {"name":"P1 requires OxygenTherapy", "pattern":{"pred":"requiresTask","s":"P1","o":"OxygenTherapy"}},
  {"name":"P1 requires ChestXRay",     "pattern":{"pred":"requiresTask","s":"P1","o":"ChestXRay"}},
  {"name":"P1 requires Antipyretic",   "pattern":{"pred":"requiresTask","s":"P1","o":"Antipyretic"}},

{"name":"P1 Emergency priority",     "pattern":{"pred":"priority","s":"P1","o":"Emergency"}},
  {"name":"P2 High priority",          "pattern":{"pred":"priority","s":"P2","o":"High"}},
  {"name":"P3 Routine priority",       "pattern":{"pred":"priority","s":"P3","o":"Routine"}},

{"name":"P2 requires COVIDTest",     "pattern":{"pred":"requiresTask","s":"P2","o":"COVIDTest"}},
  {"name":"P2 requires Nebulizer",     "pattern":{"pred":"requiresTask","s":"P2","o":"Nebulizer"}},
  {"name":"P2 requires Antipyretic",   "pattern":{"pred":"requiresTask","s":"P2","o":"Antipyretic"}},

{"name":"P3 requires BPRecheck",     "pattern":{"pred":"requiresTask","s":"P3","o":"BPRecheck"}}
]

Controls

Answer (newly derived facts)

computing…

Reason Why (mathematical English)

(click “Run ARC”)

Check

computing…

Care Plan Summary

(run to populate)