LA DESCOMPOSICION JERARQUICA SE NOS PRESENTA COMO UNA IDEA ATRACTIVA YA QUE PERMITEN AL PROGRAMADOR ESPECIFICAR LOS PROBLEMAS EN PIEZAS

DE DIMENSION RAZONABLE. TALES PIEZAS SE COMBINAN DE ACUERDO CON UNA ORGANIZACIN JERARQUICA DE LA CUAL RESULTAN PLANES MAS GENERALES.

ANALISIS DE LA DESCOMPOSICION JERARQUICA:

La descomposicin jerrquica consiste en que un operador abstracto puede ser descompuesto en un grupo de pasos que forman un plan. El plan est completo cuando todos los pasos sean operadores primitivos: aquellos que puede ejecutar directamente el agente.

 SOLUCION ABSTRACTA: - PLAN QUE CONTIENE OPERADORES ABSTRACTOS, ES CONSISTENTE Y ESTA COMPLETO. ES DESEABLE QUE UNA SOLUCION ABSTRACTA CUMPLA CON DOS PROPIEDADES: * SOLUCION DESCENDENTE * SOLUCION ASCENDENTE

 SOLUCION ASCENDENTE:
SI UN PLAN ABSTRACTO RESULTA INCONSISTENTE NO EXISTE NINGUNA SOLUCION PRIMITIVA DE LA CUAL TAL PLAN SEA SU CORRESPONDIENTE ABSTRACCION.

 SOLUCION DESCENDENTE - SI P ES UNA SOLUCION ABSTRACTA ENTONCES EXISTE UNA SOLUCION PRIMITIVA DE LA CUAL P ES UNA ABSTRACCION

 Ejemplo:
UNA POBRE PAREJA SOLO TIENE DOS PRECIADAS POSECIONES, EL UN RELOJ DE ORO, ELLA SU BELLA Y LARGA CABELLERA. CADA UNO DE ELLOS TIENE LA INTENCION DE COMPRAR AL OTRO REGALOS QUE LOS HARAN FELICES EL OPTA POR VENDER SU RELOJ Y COMPRARLE A ELLA UN PEINE PARA SU CABELLO, ELLA DECIDE VENDER SU CABELLO PARA ASI COMPRARLE A EL UNA CADENA DE ORO PARA SU RELOJ.

a) Problema inicial

Empezar

Reloj Cabello

Feliz(el) Feliz (ella)

Terminar

b) Plan abstracto inconsistente

C) DESCOMPOSICION DE B) EN UNA SOLUCION CONSISTENTE