Equation 6 · Part 1 · From Scripted Bots to Autonomous Agents: A History of AI Agent Architecture
Symbol a
What this part means
a is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.
Its job in the formula
a is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.
Full expression→Symbol a→Article meaning
The passage around this formula
The planner underneath Shakey was STRIPS — the Stanford Research Institute Problem Solver — described by Fikes and Nilsson in a 1971 paper in the journal Artificial Intelligence . STRIPS represented the world as a set of predicate-logic statements, represented each available action as an operator with a precondition list, a delete list, and an add list, and used a resolution theorem prover guided by means-ends analysis to…
Learn the underlying idea
A function assigns an output to each allowed input. The expression f(x) means “apply f to x”.
Open the illustrated functions: inputs become outputs guide →
See this notation across published equations →
Sources cited in the surrounding passage
These citations provide research context; check each source for the exact claim it supports.