This paper presents S3-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, S3-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
Fig. 1: Qualitative navigation example for the relational instruction “Find a chair next to a plant.” The robot first explores while no goal-matched object is available, then switches to approach after detecting goal-compatible relational evidence, and finally terminates after the execution layer verifies the terminal conditions.
Fig. 2: Overview of the S 3 -Nav structured decision architecture. Perception, localization, and mapping update a persistent spatial-semantic state, from which a goal-conditioned decision-facing evidence view is constructed. A high-level decision policy produces provisional navigation intents, while the deterministic validation and execution layer Γ resolves grounded references and retains authority over physical execution and terminal acceptance.
Symbol
Description
St
Persistent spatial-semantic decision state at decision step t .
gs
Parsed goal schema.
Ot
Persistent object entries.
Rt
Confirmed-relation entries.
Ft
Retained frontier set.
Pt
Current robot pose.
TABLE I: Notation used in the persistent-state formulation.
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
TABLE II: Navigation scenarios used in the evaluation.
Fig. 3: Record-capacity sensitivity of Qwen under Estimated localization on selected relation-goal tasks from HSSD and InternScenes. Each capacity is evaluated over five matched episodes per suite, and GT-SSR uses the complete five-episode set.
Policy
Record Capacity
SSR ↑
SR@3m ↑
GT-SSR ↑
NGT-valid
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
TABLE III: Overall comparison of Qwen and heuristic high-level policies under Estimated localization across the HSSD scenarios. SSR, SR@3m, and GT-SSR are evaluated over the complete episode set, while RSR is reported over relation-goal episodes. Bold indicates the best observed performance value.
Policy
Record Capacity
SSR ↑
SR@3m ↑
GT-SSR ↑
NGT-valid
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
TABLE IV: Comparison of Qwen and heuristic high-level policies on InternScenes under Estimated localization. The evaluation includes object- and relation-goal navigation, with GT-SSR reported over the complete episode set and RSR over relation-goal episodes. Bold indicates the best observed performance value.
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
TABLE V: Scenario-level comparison of Full and K14 decision-facing record views under Estimated localization over five runs per HSSD scenario. The table reports GT-SSR for both policies and combined prompt-and-completion Tokens/Call for Qwen.
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
TABLE VI: Localization comparison for Qwen K14 across HSSD and InternScenes using five repeated runs per task or scenario. The policy, record-capacity condition, and downstream navigation stack are fixed while the pose source is changed.
Fig. 4: Representative closed-loop navigation trace with online map construction for the relational instruction “Find a chair next to a plant.” Starting without a pre-existing map, S 3 -Nav incrementally expands the occupancy representation while accumulating spatial-semantic evidence during exploration. The robot subsequently identifies goal-compatible relational evidence, approaches the selected target, and terminates after execution-layer validation. The final map shows the occupancy representation and trajectory accumulated during the episode.
Condition
SSR ↑
GT-SSR ↑
NGT-valid
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
TABLE VII: Component ablation of persistent memory and explicit frontier cues on the HSSD Living Relation Unseen scenario under Qwen K14 with Estimated localization. The ablations retain the common navigation and terminal-validation stack while selectively removing cross-step memory or frontier records. Values are mean ± sample standard deviation where applicable.
Condition
Policy Lat. (ms) ↓
E2E Decision Lat. (ms) ↓
Qwen Calls/ Ep. ↓
Tokens/Ep. ( ×103 ) ↓
RTF ↑
Heuristic Full (Est.)
0.02±0.01
30.9±21.8
–
–
0.340±0.041
Heuristic K14 (Est.)
0.20±0.03
33.0±22.5
–
–
0.345±0.041
Qwen Full (Est.)
1535.3±130.0
1567.4±138.3
29.7±15.4
86.3±47.2
0.243±0.021
Qwen K14 (Est.)
1486.8±118.2
1525.4±133.4
28.5±17.4
67.3±42.0
0.237±0.021
Qwen K14 (GT Odometry)
1475.3±110.2
1594.3±139.4
31.7±19.2
74.5±47.2
0.235±0.018
TABLE VIII: Runtime comparison across policy, record-capacity, and localization conditions on HSSD. The table reports policy latency, end-to-end decision latency, navigation-policy reasoning cost, and real-time factor. Values are mean ± sample standard deviation over the available run-level measurements, and bold indicates the best observed value within each policy family under Estimated localization.
Appendix figures & tables10 assets
Supplementary material from the paper’s appendix.
Appendix
Parameter
Function
Value
τgoal
goal-matched next_to distance
1.80m
τstrict
strict next_to distance
0.75m
τzstrict
strict height difference
0.55m
τzgoal
goal-matched height difference
0.85m
τon
on horizontal distance
0.65m
τzmin,τzmax
on height interval
0.04,1.25m
Appendix
TABLE S1: Spatial-memory and geometric-relation thresholds.
Fig. S1: Example of the structured policy interface used by S 3 -Nav. The persistent spatial-semantic state contains the parsed goal schema, object and confirmed-relation memory, frontier cues, robot pose, and compact partial-map and navigation summary. The context-construction procedure selects records in the decision-facing view under the active capacity condition and serializes them for Qwen. The resulting high-level output remains provisional and is passed to the deterministic execution layer for grounded target resolution, action validation, and physical execution.
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
Appendix
TABLE S2: Structured-context and Qwen-interface parameters.
Parameter
Configured value
Heuristic raw-stop distance
0.5m
Heuristic raw-stop bearing
35∘
Desired standoff d⋆
0.7m
Standoff margin ϵ
0.2m
Lower standoff bound
0.5m
Upper standoff bound
0.9m
Appendix
TABLE S3: Heuristic and common standoff-control parameters.
Gate
Trigger
Response
Invalid depth
dtctr,min≤0∨valid fraction<0.05
Hold
Hard
dtctr,min<0.42∨dtctr,10<0.55∨rt0.80>0.26
Reverse/turn
Near
dtctr,10<0.85∨rt0.80>0.12
Cap/steer
Slow
dtctr,10<1.25∨rt0.80>0.05
Reduce speed
Appendix
TABLE S4: Forward-motion depth-safety gates.
Parameter
Configured value
Confirmed-relation stale limit
80 updates
Slip samples before recovery
8
Recovery cooldown
2.5s
Fixed recovery-count limit
No fixed limit
Appendix
TABLE S5: Repository-maintenance and recovery parameters.
Condition
Calls/ Ep. ↓
Tokens/Ep. ( ×103 ) ↓
Policy Lat. (ms) ↓
Qwen Full (Est.)
29.7±15.4
86.3±47.2
1535.3±130.0
Qwen K14 (Est.)
28.5±17.4
67.3±42.0
1486.8±118.2
Qwen K14 (GT Odometry)
31.7±19.2
74.5±47.2
1475.3±110.2
Appendix
TABLE S6: Qwen-specific navigation-policy reasoning cost on HSSD over 25 episodes per condition. Qwen Calls/Ep. and Tokens/Ep. exclude the cached goal-schema parsing request, and Tokens/Ep. combines prompt and completion tokens. Values are mean ± sample standard deviation across runs.
Task
Condition
SSR ↑
SR@3m ↑
GT-SSR ↑
NGT-valid
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
Appendix
TABLE S7: Task-level navigation results on InternScenes over five runs per condition. I1 is the initially seen object-goal task, I2 is the initially seen relation-goal task, and I3 is the initially unseen relation-goal task. NGT-valid reports valid GT terminal-geometry support, RSR is not applicable to I1, and SNE metrics are reported only when their required terminal geometry is available.
Task
Condition
RPE Trans. (m) ↓
RPE Rot. (rad) ↓
Surface-Range MAE (m) ↓
Surface-Range RMSE (m) ↓
Nsurface
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
Appendix
TABLE S8: InternScenes localization and surface-range diagnostics over five runs per condition. Surface-range errors are computed from the available target-associated observations along each executed trajectory, and Nsurface reports the corresponding support count. Because observation sets differ across conditions, the surface-range errors are treated as geometric diagnostics rather than paired measurements.
Task
Condition
Calls/Ep. ↓
Tokens/Ep. ( ×103 ) ↓
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
Appendix
TABLE S9: InternScenes reasoning-cost and runtime results over five runs per condition. Qwen Calls/Ep. and Tokens/Ep. refer to navigation-policy Qwen requests, with Tokens/Ep. combining prompt and completion tokens. Policy Latency measures the high-level policy routine, and E2E Decision Latency measures the observe-to-command interval on policy-invoked decision events. Values are mean ± sample standard deviation across runs.