concepts.pdsketch.strips.strips_grounding.GStripsProblem#

class GStripsProblem[source]#

Bases: object

A grounded STRIPS task. It is composed of three parts:

The current state, which is a set of propositions.
The goal state, which is a grounded STRIPS classifier.
The operators, which is a list of applicable grounded STRIPS operators.

Methods

compile()

Compile all operators and derived predicates.

Attributes

`facts`	The relevant facts in the task.
`state`	The initial state.
`goal`	The goal expression.
`operators`	The list of operators.
`regression_rules`	The list of regression rules.
`derived_predicates`	The list of derived predicates.
`is_relaxed`	Whether the task is a delete-relaxed task.
`goal_implicit_propositions`	The implicit propositions in the goal.

__init__(state, goal, operators, is_relaxed=False, goal_implicit_propositions=None, regression_rules=None, derived_predicates=None, facts=None)[source]#

Parameters:

state (SState | Set[str])
goal (GSBoolOutputExpression)
operators (Sequence[GStripsOperator])
is_relaxed (bool)
goal_implicit_propositions (Set[str] | None)
regression_rules (Sequence[GStripsRegressionRule] | None)
derived_predicates (Sequence[GStripsDerivedPredicate] | None)
facts (Set[str] | None)

__new__(**kwargs)#

compile()[source]#

Compile all operators and derived predicates.

Returns:: self
Return type:: GStripsProblem

derived_predicates: Tuple[GStripsDerivedPredicate]#: The list of derived predicates.

property facts#: The relevant facts in the task.

goal: GSBoolOutputExpression#: The goal expression.

goal_implicit_propositions: Set[str]#: The implicit propositions in the goal.

is_relaxed: bool#: Whether the task is a delete-relaxed task.

operators: Tuple[GStripsOperator]#: The list of operators.

regression_rules: Tuple[GStripsRegressionRule]#: The list of regression rules.

state: SState#: The initial state.