PRODIGY: Knowledge represented as Inference Rules

Description

• Inference rules represented as simplified operators without delete lists
• Explicitly add information in deductive closure of state