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
The name of propositions. |
Functions
|
Compose a proposition from a predicate name and a list of arguments. |
Compose a proposition from a function application expression. |
Classes
The representation of an assignment expression. |
|
The representation of a boolean constant. |
|
The representation of a boolean NOT expression. |
|
The base class for STRIPS expressions that output a boolean value. |
|
The base class for STRIPS expressions that output a boolean value based on a predicate. |
|
The representation of a conditional assignment expression. |
|
The representation of a deictic assignment expression. |
|
The base class for STRIPS expressions. |
|
The representation of a quantification expression. |
|
The representation of an SAS expression. |
|
The representation for an SAS predicate expression. |
|
The representation of a boolean expression. |
|
The representation of a STRIPS state, which is a set of propositions. |
|
The base class for STRIPS expressions that output a value. |
|
The base class for STRIPS expressions that assign a value to a state variable. |