Safe Semantic Planner (SSP) — High-Dimensional Neuro-Symbolic Governor

Drag & Move Nodes

Proj: ×

100%

Optimal Safe Path Found

Guaranteed 0 Bad States Visited

Replan Latency

3.4 µs

Total Cost

8.00

Min Clearance

1.41

Reliability SLA

96.1%

Objective Score: αG − βC + γD + δR 101.4

Trajectory Steps

4 states

Quarantined Hazards (Bad States)

0 Hazards

Transitions & Severed Failovers

0 Severed

Vector Comparison

Select 2 States

State A:

State B:

Use the dropdowns above or click two states on the canvas in "2-State" mode to compare their vector space coordinates, Euclidean clearance distance, cosine similarity, and coordinate shifts.

Objective Weights & Tuning

Goal Reward (α) 100.0

Cost Penalty (β) 1.0

Safety Clearance (γ) 5.0

Reliability Weight (δ) 2.0

Safety Margin Radius (R) 1.5

Neuro-Symbolic NLP

64-D Continuous

Type a natural language instruction or select a prompt above. The local 64-D continuous embedding engine parses intent, solves LTL constraints, and executes sub-microsecond D* Lite replanning.

Assignment Test Cases (PCCST503)

Assignment Spec • pp. 4–5

TC 1 Basic Reachability

PDF p. 4

Linear state graph S → A → B → G. Validates deterministic reachability in Cartesian space.

Expected: 0 → 1 → 2 → 3 (Cost: 6.00)

TC 2 Bad State Avoidance

PDF p. 5

Direct route passes through Bad State X (#2). Planner must strictly quarantine X and route via C → D.

Expected: 0 → 3 → 4 → 5 (Safe Bypass)

TC 3 Safety Margin Tuning

PDF p. 5

Low cost risky path (clearance D=0.9) vs. higher cost safe plateau (clearance D=3.0).

Objective: γ=15 → Safe Path | γ=0 → Cheaper Path

TC 4 Dynamic Transition Failure

PDF p. 5

Initially routes S → A → G. Transition (A, G) #102 severs. D* Lite dynamically reroutes via detour B.

Replan Path: 0 → 1 → 2 → 3 (Instant Detour)

TC 5 Dynamic Goal Shift

PDF p. 5

Destination shifts dynamically from G1 (#3) to G2 (#4) without graph rebuild.

Replan Path: 0 → 1 → 4 (Target G2)

TC 6 Dynamic Transition Addition

PDF p. 5

Base 4-hop route (Cost=8.0). Discovering express shortcut [1 → 4] drops total cost to 5.0.

Replan Path: 0 → 1 → 4 (Cost drops to 5.0)

Linear Trajectory Flow Pipeline

Domain State & Transition Repository

Linear Trajectory Flow Pipeline

Domain State & Transition Repository

Edit Node Properties