Symbol a
a is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.
Read this term in its guide →Published equation contexts
Why this formula appears here
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 search for a sequence of operators connecting the current state to a goal state [ 2 ] . Formally, for a state s represented as a set of ground predicates and an operator a with precondition set , delete set , and add set , the…
Read the representative guide
Symbol s
s is part of the quantity the equation computes from the expression on the right.
Read this term in its guide →Symbol delta
delta is part of the quantity the equation computes from the expression on the right.
Read this term in its guide →How to interpret it
Read it with the definitions, units, and assumptions supplied by the article.
Research cited beside this formula
Published contexts (1)
A symbol can carry a different meaning in another article. Each occurrence keeps its own guide and term definitions.
Equation 6 · AI Agents & Systems
From Scripted Bots to Autonomous Agents: A History of AI Agent Architecture
This equation states an equality: the expressions on both sides have the same value under the article’s assumptions.
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 search for a sequence of operators connecting the current state to a goal state [ 2 ] . Formally, for a state s represented as a set of ground predicates and an operator a with precondition set , delete set , and add set , the…
Equation guide → · Article →