Equation 3 · Part 1 · From Scripted Bots to Autonomous Agents: A History of AI Agent Architecture
Symbol a
What this part means
a is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Its job in the formula
a is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
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 variable is a named place for a value. Its letter is a local label: x can mean position in one formula and a data point in another.
Open the illustrated variables: a letter stands for a value 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.