← Back to Generated Domain from Demonstrations

init contain liquid

Origin PO-PDDL code extracted from the generated domain.

(:observation init_obs_contains_dark_liquid_true
    :parameters (?obs0 - cup)
    :condition
      (and
        (contains_dark_liquid ?obs0)
      )
    :distribution
      (probabilistic
        0.666667 (obs_contains_dark_liquid ?obs0)
        0.333333 (not (obs_contains_dark_liquid ?obs0))
      )
  )

(:observation init_obs_contains_dark_liquid_false
    :parameters (?obs0 - cup)
    :condition
      (and
        (not (contains_dark_liquid ?obs0))
      )
    :distribution
      (probabilistic
        0.000000 (obs_contains_dark_liquid ?obs0)
        1.000000 (not (obs_contains_dark_liquid ?obs0))
      )
  )