-Nav: Structured Spatial-Semantic Decision Making for Language-Guided Robot Navigation
Organizations: Department of AI, Gachon University, Seongnam 13120, Republic of Korea
Abstract
This paper presents -Nav, a structured spatial-semantic decision-making framework for language-guided robot navigation under partial observability. Rather than assuming a complete environment representation in advance, -Nav incrementally constructs persistent spatial-semantic state while exposing only a capacity-controlled, task-conditioned view to the high-level policy. This separation decouples what the robot must retain from what the policy needs to inspect, allowing decision complexity to be controlled without discarding grounded evidence required for subsequent reasoning and validation. High-level navigation outputs remain provisional and are independently grounded and validated against persistent semantic evidence and current geometric observations before physical execution or task termination. Evaluations across multiple environments and object- and relation-goal tasks demonstrate that separating persistent state, decision-facing evidence, and execution authority improves closed-loop navigation reliability while reducing policy reasoning cost.
Figures & tables
| Symbol | Description |
|---|---|
| Persistent spatial-semantic decision state at decision step . | |
| Parsed goal schema. | |
| Persistent object entries. | |
| Confirmed-relation entries. | |
| Retained frontier set. | |
| Current robot pose. |
| Scenario | Goal | Initial | Distractor |
|---|---|---|---|
| S1 | Relation: next_to | Seen | No |
| S2 | Relation: next_to | Unseen | No |
| S3 | Relation: on | Seen | No |
| S4 | object-goal | Unseen | No |
| S5 | relation-goal | Unseen | Yes |
| Policy | Record Capacity | SSR | SR@3m | GT-SSR | RSR | TL (m) | Duration (s) | |
|---|---|---|---|---|---|---|---|---|
| Heuristic | Full | 0.680 | 0.680 | 0.680 | 21 | 0.800 | 5.234 3.313 | 130.76 210.42 |
| Heuristic | K14 | 0.840 | 0.840 | 0.800 | 23 | 0.947 | 5.629 3.144 | 87.02 156.28 |
| Qwen | Full | 0.680 | 0.680 | 0.600 | 19 | 0.900 | 5.573 2.975 | 136.00 208.98 |
| Qwen | K14 | 0.960 | 0.960 | 0.960 | 24 | 0.950 | 5.298 3.155 | 41.94 22.07 |
| Policy | Record Capacity | SSR | SR@3m | GT-SSR | RSR | TL (m) | Duration (s) | |
|---|---|---|---|---|---|---|---|---|
| Heuristic | Full | 0.867 | 0.867 | 0.800 | 13 | 0.800 | 8.421 7.509 | 125.06 196.43 |
| Heuristic | K14 | 0.933 | 0.933 | 0.867 | 13 | 0.900 | 7.036 5.528 | 90.38 145.40 |
| Qwen | Full | 0.800 | 0.800 | 0.800 | 12 | 1.000 | 6.630 4.290 | 162.58 229.29 |
| Qwen | K14 | 1.000 | 1.000 | 1.000 | 15 | 1.000 | 6.477 4.012 | 57.04 35.45 |
| Heuristic GT-SSR | Qwen GT-SSR | Qwen Tokens/Call | ||||
|---|---|---|---|---|---|---|
| Scenario | Full | K14 | Full | K14 | Full | K14 |
| S1 | 1.000 | 1.000 | 1.000 | 1.000 | 2,771 | 2,370 |
| S2 | 1.000 | 1.000 | 0.600 | 1.000 | 2,423 | 2,374 |
| S3 | 0.400 | 0.800 | 0.800 | 0.800 | 3,358 | 2,298 |
| S4 | 0.800 | 0.800 | 0.400 | 1.000 | 2,514 | 2,318 |
| S5 | 0.200 | 0.400 | 0.200 | 1.000 | 3,188 | 2,410 |
| Suite | Localization | SSR | GT-SSR | RSR | RPE Trans. (m) | RPE Rot. (rad) | TL (m) |
|---|---|---|---|---|---|---|---|
| HSSD | Estimated | 0.960 | 0.960 | 0.950 | 0.1527 0.1638 | 0.0726 0.0828 | 5.298 3.155 |
| GT Odometry | 0.880 | 0.840 | 0.950 | 0.0034 0.0011 | 0.0030 0.0011 | 5.538 2.940 | |
| InternScenes | Estimated | 1.000 | 1.000 | 1.000 | 0.1178 0.1365 | 0.0582 0.0568 | 6.477 4.012 |
| GT Odometry | 1.000 | 1.000 | 1.000 | 0.0251 0.0561 | 0.0121 0.0320 | 6.359 3.638 |
| Condition | SSR | GT-SSR | RSR | TL (m) | Duration (s) | |
|---|---|---|---|---|---|---|
| Complete (Qwen K14, Est.) | 1.000 0.000 | 1.000 0.000 | 5 | 1.000 0.000 | 10.688 0.047 | 75.40 1.88 |
| w/o Persistent Memory | 0.000 0.000 | 0.000 0.000 | 0 | 0.250 0.500 | 19.263 6.615 | 600.00 0.00 |
| w/o Explicit Frontier Cues | 0.800 0.447 | 0.800 0.447 | 4 | 1.000 0.000 | 8.790 2.794 | 177.70 236.09 |
| Condition | Policy Lat. (ms) | E2E Decision Lat. (ms) | Qwen Calls/ Ep. | Tokens/Ep. ( ) | RTF |
|---|---|---|---|---|---|
| Heuristic Full (Est.) | – | – | |||
| Heuristic K14 (Est.) | – | – | |||
| Qwen Full (Est.) | |||||
| Qwen K14 (Est.) | |||||
| Qwen K14 (GT Odometry) |
Appendix figures & tables10 assets
Supplementary material from the paper’s appendix.
Appendix
| Parameter | Function | Value |
|---|---|---|
| goal-matched next_to distance | ||
| strict next_to distance | ||
| strict height difference | ||
| goal-matched height difference | ||
| on horizontal distance | ||
| on height interval |
| Parameter | Configured value |
|---|---|
| K14 ranked-record capacity | 14 structured records |
| Qwen maximum model length | 6,000 tokens |
| Serialized numeric precision | 3 decimal places |
| Missing serialized measurement | null |
| High-priority goal entries considered | up to 2 |
| Task-relevant semantic records considered | up to 10 |
| Parameter | Configured value |
|---|---|
| Heuristic raw-stop distance | |
| Heuristic raw-stop bearing | |
| Desired standoff | |
| Standoff margin | |
| Lower standoff bound | |
| Upper standoff bound |
| Gate | Trigger | Response |
|---|---|---|
| Invalid depth | Hold | |
| Hard | Reverse/turn | |
| Near | Cap/steer | |
| Slow | Reduce speed |
| Parameter | Configured value |
|---|---|
| Confirmed-relation stale limit | 80 updates |
| Slip samples before recovery | 8 |
| Recovery cooldown | |
| Fixed recovery-count limit | No fixed limit |
| Condition | Calls/ Ep. | Tokens/Ep. ( ) | Policy Lat. (ms) |
|---|---|---|---|
| Qwen Full (Est.) | |||
| Qwen K14 (Est.) | |||
| Qwen K14 (GT Odometry) |
| Task | Condition | SSR | SR@3m | GT-SSR | RSR | SNE (m) | GT-SNE (m) | TL (m) | Duration (s) | |
|---|---|---|---|---|---|---|---|---|---|---|
| I1 | Heuristic Full | 1.000 | 1.000 | 0.800 | 5 | – | 0.1524 0.0366 | 0.0372 0.0210 | 3.7589 0.1641 | 33.20 0.76 |
| Heuristic K14 | 1.000 | 1.000 | 1.000 | 5 | – | 0.1632 0.0328 | 0.0376 0.0079 | 3.7003 0.0588 | 33.40 1.08 | |
| Qwen Full | 1.000 | 1.000 | 1.000 | 5 | – | 0.1724 0.0075 | 0.0332 0.0106 | 3.8562 0.3213 | 38.50 4.78 | |
| Qwen K14 | 1.000 | 1.000 | 1.000 | 5 | – | 0.1801 0.0141 | 0.0485 0.0161 | 3.6541 0.0194 | 34.00 0.79 | |
| Qwen K14 (GT Odometry) | 1.000 | 1.000 | 1.000 | 5 | – | 0.1779 0.0075 | 0.0341 0.0095 | 3.7437 0.0797 | 36.70 1.82 | |
| I2 | Heuristic Full | 1.000 | 1.000 | 1.000 | 5 | 1.000 | 0.1980 0.0014 | 0.1498 0.0023 | 4.0274 0.0352 | 32.70 0.91 |
| Task | Condition | RPE Trans. (m) | RPE Rot. (rad) | Surface-Range MAE (m) | Surface-Range RMSE (m) | |
|---|---|---|---|---|---|---|
| I1 | Heuristic Full | 0.0644 0.0180 | 0.0316 0.0070 | 0.1258 0.0033 | 0.1270 0.0028 | 173 |
| Heuristic K14 | 0.0525 0.0087 | 0.0368 0.0078 | 0.1288 0.0026 | 0.1297 0.0027 | 172 | |
| Qwen Full | 0.0429 0.0036 | 0.0284 0.0057 | 0.1305 0.0043 | 0.1313 0.0043 | 169 | |
| Qwen K14 | 0.0670 0.0255 | 0.0305 0.0057 | 0.1267 0.0021 | 0.1276 0.0020 | 171 | |
| Qwen K14 (GT Odometry) | 0.0030 0.0006 | 0.0036 0.0006 | 0.1333 0.0085 | 0.1342 0.0080 | 174 | |
| I2 | Heuristic Full | 0.0570 0.0200 | 0.0304 0.0073 | 0.0666 0.0021 | 0.0676 0.0023 | 205 |
| Task | Condition | Calls/Ep. | Tokens/Ep. ( ) | Policy Lat. (ms) | E2E Decision Lat. (ms) | RTF |
|---|---|---|---|---|---|---|
| I1 | Heuristic Full | – | – | 0.015 0.001 | 26.54 1.73 | 0.355 0.050 |
| Heuristic K14 | – | – | 0.191 0.004 | 27.69 0.60 | 0.356 0.049 | |
| Qwen Full | 29.0 5.2 | 77.131 16.736 | 1401.74 22.85 | 1448.94 39.55 | 0.238 0.022 | |
| Qwen K14 | 25.4 1.5 | 55.680 2.761 | 1371.25 11.92 | 1394.58 12.89 | 0.229 0.003 | |
| Qwen K14 (GT Odometry) | 29.2 1.5 | 62.191 2.494 | 1373.33 13.38 | 1474.74 10.12 | 0.254 0.026 | |
| I2 | Heuristic Full | – | – | 0.018 0.002 | 29.07 1.46 | 0.354 0.048 |
Robot Navigation
Robot navigation studies how robots perceive, localize, plan, and move safely toward goals in static or changing environments.
See all 549 papers