Representación de estados y objetivos

• lenguaje STRIPS STanford Research Institute Problem Solver
• los estados se representan con literales ground (libres de variables) y libres de funciones; esto es predicados (pueden estar negados) aplicados a símbolos de constantes
  
  • la descripción de estado no tiene que ser completa: se corresponde con la de un conjunto de estados completos para los que el agente puede obtener un plan
  • otros sistemas usan negación por fallo: si en la descripción de estado no aparece un determinado literal positivo, se supone falso
• representación de objetivos: conjunción de literales
  
  • los objetivos pueden tener variables que se suponen cuantificadas existencialmente
    
  • se busca una secuencia de acciones tal que al ejecutarse se satisfaga el objetivo