Enciclopedia/Diccionario de Psicología y Neurociencias:

ıllı STRIPS wiki: info, libros pdf y vídeos

  STRIPS 

---

En Inteligencia artificial, STRIPS (Stanford Research Institute Problem Solver) es un generador de planes automatizado. Exactamente el mismo nombre fue usado después para referirse al lenguaje formal de las entradas de este generador de planes.

Una instancia de STRIPS se compone de:

• Un estado inicial.
  
• La especificación de estados de meta.
  
• Un conjunto de acciones, para cada una de las que se incluyen:Precondiciones.Postcondiciones.

Matemáticamente, una instancia de STRIPS es una tupla ?P,O,I,G?, donde:

• P es un conjunto de condiciones (o sea, variables proposicionales).
  
• O es un conjunto de operadores (o sea, acciones); cada operador es asimismo una tupla ?a,ß,?,d? , donde cada elemento es un conjunto de condiciones:a representa a las condiciones que han de ser verdaderas a fin de que la acción pueda ejecutarse.ß representa a las condiciones que han de ser falsas a fin de que la acción pueda ejecutarse.? representa a las condiciones se hacen verdaderas si se ejecuta la acción.d representa a las condiciones se hacen falsas si se ejecuta la acción.
  
• I es el estado inicial, dado por un conjunto de condiciones que son en un inicio verdaderas (todas las otras se aceptan falsas).
  
• G es la especificación del estado de meta, que está dada por una dupla ?N,M? , que detalla qué condiciones han de ser verdaderas y cuales falsas para estimar a un estado como meta.

Un plan para una instancia es una secuencia de operadores que puede ser ejecutada desde el estado inicial, y que lleva hasta un estado meta.

Formalmente, un estado es un conjunto de condiciones, y se representa por el conjunto de condiciones que son verdaderas en él. Las transiciones entre estados se modelan a través de una función de transición, que es una función que mapea estados en otros estados que resultan de aplicarles acciones a los primeros. Puesto que los estados se representan por conjuntos de acciones, la función de transición relacionada con la instancia STRIPS ?P,O,I,G? es una función:

sucesor:2P×A?2P,

donde 2P es el conjunto de todos y cada uno de los subconjuntos de P, y por tanto es el conjunto de todos y cada uno de los posibles estados.

La función de transición puede definirse, asumiendo que las acciones siempre y en todo momento pueden ser ejecutadas mas no tienen efecto si sus precondiciones no se cumplen, como:

sucesor?(C,?a,ß,?,d?)= (C\d)??Si (a?C/andßnC=Ø)= PDe otra forma

La función sucesor puede extenderse para secuencias de acciones a través de ecuaciones recursivas:

sucesor?(C,=Csucesor?(C,=sucesor?(sucesor?(C,a1),

Un plan para una instancia de STRIPS es una secuencia de acciones cuya ejecución ordenada genera un estado que satisface las condiciones de meta, desde el estado inicial.Formalmente, ndefined es un plan para G=?N,M? si F=sucesor?(I, satisface:

• N?F
  
• MnF=Ø

---

• Anterior
• Siguiente