concepts.dm.pdsketch.strips.strips_expression#

This file defines a set of classes for representing STRIPS expressions, including:

  • Boolean constant expressions.

  • Boolean predicate expressions.

  • SAS predicate expressions.

  • And/Or expressions.

  • Not expressions.

  • Forall/Exists expressions.

  • SAS expressions.

  • Single predicate assignment expressions.

  • Conditional assignment expressions.

  • Deictic assignment expressions.

At the highest level, the STRIPS expressions are categorized into two types:

  • StripsValueOutputExpression, which outputs a value. There is a special instantiation of this type, StripsBooleanOutputExpression, which outputs a boolean value.

  • StripsVariableAssignmentExpression, which assigns a value to a state variable.

Module attributes

SPredicateName

The name of propositions.

Functions

make_sproposition(name, *args)

Compose a proposition from a predicate name and a list of arguments.

make_sproposition_from_function_application(expr)

Compose a proposition from a function application expression.

Classes

SAssignExpression

The representation of an assignment expression.

SBoolConstant

The representation of a boolean constant.

SBoolNot

The representation of a boolean NOT expression.

SBoolOutputExpression

The base class for STRIPS expressions that output a boolean value.

SBoolPredicateApplicationExpression

The base class for STRIPS expressions that output a boolean value based on a predicate.

SConditionalAssignExpression

The representation of a conditional assignment expression.

SDeicticAssignExpression

The representation of a deictic assignment expression.

SExpression

The base class for STRIPS expressions.

SQuantificationExpression

The representation of a quantification expression.

SSASExpression

The representation of an SAS expression.

SSASPredicateApplicationExpression

The representation for an SAS predicate expression.

SSimpleBoolExpression

The representation of a boolean expression.

SState

The representation of a STRIPS state, which is a set of propositions.

SStateDict

SValueOutputExpression

The base class for STRIPS expressions that output a value.

SVariableAssignmentExpression

The base class for STRIPS expressions that assign a value to a state variable.