PRODIGY: Knowledge represented as Operators

Description

• Operators represent actions in the real world, mapping states into new states
• Composed of first-order logic expression to describe preconditions, and add and delete lists to express change in state