Resumen

Este artículo explora las transiciones de fase de los problemas de planificación contingente. Presentamos el algoritmo CONTINGENT PLAN-EXISTENCE y el algoritmo CONTINGENT PLAN-NONEXISTENCE para probar rápidamente que las instancias de planificación contingente tienen solución y no tienen solución, respectivamente. Analizando los dos algoritmos, se obtiene el área de transición de fase de los problemas de planificación contingente. Si el número de acciones no es mayor que θub, el algoritmo CONTINGENT PLAN-NONEXISTENCE puede demostrar que casi todas las instancias de planificación contingente no tienen solución. Si el número de acciones no es inferior a θlb, el algoritmo PLAN CONTINGENTE-EXISTENCIA puede demostrar que casi todas las instancias de planificación contingente tienen solución. Los resultados de los experimentos muestran que existen transiciones de fase desde una región en la que casi todas las instancias de planificación contingente no tienen solución a una región en la que casi todas las instancias de planificación contingente tienen solución.

• Materias:Matemáticas Análisis Matemático Álgebra Ingeniería Matemática aplicada Lógica matemática
• Subjects:mathematics Mathematical Analysis Algebra Engineering Applied Mathematics Mathematical logic
• Palabras claves:instancias de planificación contingente, plan contingente, problemas de planificación contingente, soluciones, algoritmo de existencia, algoritmo de no existencia, transiciones de fase, área de transición de fase, acciones, número
• Keywords:contingent planning instances, contingent plan, contingent planning problems, solutions, existence algorithm, nonexistence algorithm, phase transitions, phase transition area, actions, number