concepts.dm.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:
__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.