← All parts of this equation

Equation 6 · Part 3 · From Scripted Bots to Autonomous Agents: A History of AI Agent Architecture

Symbol delta

pre(a)⊆s  ⟹  δ(s,a)=(s∖del(a))∪add(a).\mathrm{pre}(a) \subseteq s \;\Longrightarrow\; \delta(s,a) = \big(s \setminus \mathrm{del}(a)\big) \cup \mathrm{add}(a).
δ\delta

What this part means

delta is part of the quantity the equation computes from the expression on the right.

Its job in the formula

delta is part of the quantity the equation computes from the expression on the right.

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 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 pre(a)\mathrm{pre}(a) , delete set del(a)\mathrm{del}(a) , and add set add(a)\mathrm{add}(a) , the…

Read this part in the article →

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.