STRIPS means-ends and Hierarchical Task Network (HTN) action planner. Constructs sound plans to transition from initial state to goal state over state transitions.
Summary
Functions
Constructs a new planner from a list of action operators.
Solves for a valid plan sequence transforming initial_state (Set/List of facts)
into a state satisfying goal_state (Set/List of required facts).