Representación de acciones

• los operadores de STRIPS tienen tres componentes:
  • descripción de la acción ( nombre)
  • precondición: una conjunción de átomos (literales positivos) que deben ser ciertos antes de que se aplique el operador
  • efecto: una conjunción de literales (positivos o negativos) que describen como cambia la situación cuando se aplica el operador
• no hay variables de situación: implícitamente la precondición se refiere a la situación anterior a la acción y el efecto a la situación resultante de la acción
• esquema de operador: es un operador con variables. Se refiere a una familia de acciones, una para cada instanciación de las variables. Se supone las variables universalmente cuantificadas
• Un operador o es aplicabe en un estado s si hay alguna ocurrencia de las variables de o tal que las precondiciones de o son ciertas en s, esto es . En el estado resultante son ciertos:
  • todos los literales positivos de Effect(o)
  • todos los literales que eran ciertos en s excepto aquellos que son literales negativos de Effect(o)