Index 629
real-time value iteration, 391–392
experimental results, 392
optimal solutions and, 391
trade-off, 392
Reed&Shepp curves, 473
Refine procedure, 97
refinement
SAT-based planning, 195
search, 196
refinement operation, 88
regression principle, 342
regression sets, 22
set of, 23, 32
rejection rules, 535
relation symbols, 45, 173
types, 311
relations
allowance, 134
flexible, 38
fluent, 28
independence, 134–137
mutual exclusive, 120–123, 134
primary, 38
rigid, 28, 29, 366
secondary, 38
transition, 443
relaxation, 199–201
principle, 200, 342
state reachability, 201–204
Remote Agent (RA), 451–453
AI technique basis, 452
architecture, 453–457
architecture illustration, 454
autonomy levels, 463
EXEC, 453
failure recovery, 456–457
failures/anomalies and, 453
goal translation, 454
MIR, ...