Skip to content

predicate_goal

PredicateGoal

Bases: SuccessCondition

PredicateGoal (success condition) used for BehaviorTask Episode terminates if all the predicates are satisfied

Parameters:

Name Type Description Default
goal_fcn method

function for calculating goal(s). Function signature should be:

goals = goal_fcn()

where @goals is a list of bddl.condition_evaluation.HEAD -- compiled BDDL goal conditions

 required
Source code in OmniGibson/omnigibson/termination_conditions/predicate_goal.py 
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
class PredicateGoal(SuccessCondition):
    """
    PredicateGoal (success condition) used for BehaviorTask
    Episode terminates if all the predicates are satisfied

    Args:
        goal_fcn (method): function for calculating goal(s). Function signature should be:

            goals = goal_fcn()

            where @goals is a list of bddl.condition_evaluation.HEAD -- compiled BDDL goal conditions
    """

    def __init__(self, goal_fcn):
        # Store internal vars
        self._goal_fcn = goal_fcn
        self._goal_status = None

        # Run super
        super().__init__()

    def reset(self, task, env):
        # Run super first
        super().reset(task, env)

        # Reset status
        self._goal_status = {"satisfied": [], "unsatisfied": []}

    def _step(self, task, env, action):
        # Terminate if all goal conditions are met in the task
        done, self._goal_status = evaluate_goal_conditions(self._goal_fcn())
        return done

    @property
    def goal_status(self):
        """
        Returns:
            dict: Current goal status for the active predicate(s), mapping "satisfied" and "unsatisfied" to a list
                of the predicates matching either of those conditions
        """
        return self._goal_status

goal_status property

Returns:

Type Description
dict

Current goal status for the active predicate(s), mapping "satisfied" and "unsatisfied" to a list of the predicates matching either of those conditions