Por favor utiliza este link para citar o compartir este documento: http://repositoriodigital.academica.mx/jspui/handle/987654321/9868
Título: Setting Decision Process Optimization into Stochastic vs. Petri Nets Contexts
Cortando con Procesos de Decisión Estocásticos respecto al contexto de las Redes de Petri
Autores: 
Palabras clave: shortest-path problem; shortest-path game; stability; Lyapunov; Markov decision process; Petri nets
PROBLEMAS DE LA TRAYECTORIA MÁS CORTA; JUEGOS CON TRAYECTORIA MÁS CORTA; ESTABILIDAD; LYAPUNOV; PROCESOS DE DECISIÓN DE HARKOV; REDES DE PETRI
Fecha de publicación: 10-Sep-2011
Editorial: Computación y Sistemas
Descripción: IN THIS WORK WE INTRODUCE A NEW MODELING PARADIGM FOR DEVELOPING DECISION PROCESS REPRESENTATION FOR SHORTEST-PATH PROBLEM AND GAMES. WHEREAS IN PREVIOUS WORK, ATTENTION WAS RESTRICTED TO TRACKING THE NET USING AS A UTILITY FUNCTION BELLMAN'S EQUATION, THIS WORK USES A LYAPUNOV-LIKE FUNCTION. IN THIS SENSE, WE ARE CHANGING THE TRADITIONAL COST FUNCTION BY A TRAJECTORY-TRACKING FUNCTION WHICH IS ALSO AN OPTIMAL COST-TO-TARGET FUNCTION FOR TRACKING THE NET. THIS MAKES A SIGNIFICANT DIFFERENCE IN THE CONCEPTUALIZATION OF THE PROBLEM DOMAIN, ALLOWING THE REPLACEMENT OF THE NASH EQUILIBRIUM POINT BY THE LYAPUNOV EQUILIBRIUM POINT IN SHORTEST-PATH GAME THEORY. TWO DIFFERENT FORMAL THEORETIC APPROACHES ARE EMPLOYED TO REPRESENT THE PROBLEM DOMAIN: I) MARKOV DECISION PROCESS AND, II) PLACE-TRANSITIONS PETRI NETS HAVING AS A FEATURE A MARKOV DECISION PROCESS, CALLED DECISION PROCESS PETRI NETS (DPPN). THE MAIN POINT OF THIS PAPER IS ITS ABILITY TO REPRESENT THE SYSTEM-DYNAMIC AND TRAJECTORY-DYNAMIC PROPERTIES OF A DECISION PROCESS. WITHIN THE SYSTEM-DYNAMIC PROPERTIES FRAMEWORK WE PROVE NEW NOTIONS OF EQUILIBRIUM AND STABILITY. IN THE TRAJECTORY-DYNAMIC PROPERTIES FRAMEWORK, WE OPTIMIZE THE TRAJECTORY FUNCTION VALUE USED FOR PATH PLANNING VIA A LYAPUNOV-LIKE FUNCTION, OBTAINING AS A RESULT NEW CHARACTERIZATIONS FOR FINAL DECISION POINTS (OPTIMUM POINTS) AND STABILITY. WE SHOW THAT THE SYSTEM-DYNAMIC AND LYAPUNOV TRAJECTORY-DYNAMIC PROPERTIES OF EQUILIBRIUM, STABILITY AND FINAL DECISION POINTS (OPTIMUM POINTS) MEET UNDER CERTAIN RESTRICTIONS. MOREOVER, WE GENERALIZE THE PROBLEM TO JOIN WITH GAME THEORY. WE SHOW THAT THE LYAPUNOV EQUILIBRIUM POINT COINCIDES WITH THE NASH EQUILIBRIUM POINT UNDER CERTAIN RESTRICTIONS. AS A CONSEQUENCE, ALL THE PROPERTIES OF EQUILIBRIUM AND STABILITY ARE PRESERVED IN GAME THEORY UNDER CERTAIN RESTRICTIONS. THIS IS THE MOST IMPORTANT CONTRIBUTION OF THIS WORK. THE POTENTIAL OF THIS APPROACH REMAINS IN ITS FORMAL PROOF SIMPLICITY FOR THE EXISTENCE OF AN EQUILIBRIUM POINT. TO THE BEST OF OUR KNOWLEDGE THE APPROACH SEEMS TO BE NEW IN DECISION PROCESS, GAME THEORY AND PETRI NETS.
EN ESTE TRABAJO SE INTRODUCE UN PARADIGMA NUEVO DE MODELADO PARA REPRESENTAR PROCESOS DE DECISIÓN RELACIONADOS CON EL PROBLEMA DE LA TRAYECTORIA MÁS CORTA Y TEORÍA DE JUEGOS. MIENTRAS QUE TRABAJOS ANTERIORES HAN RESTRINGIDO SU ATENCIÓN A RECORRER LA RED UTILIZANDO LA ECUACIÓN DE BELLMAN COMO FUNCIÓN DE UTILIDAD, EN ESTE TRABAJO SE UTILIZA UNA FUNCIÓN DE TIPO LYAPUNOV. EN ESTE SENTIDO, SE ESTÁ CAMBIANDO LA FUNCIÓN DE COSTO TRADICIONAL POR UNA FUNCIÓN DE TRAYECTORIA Y COSTO A OBJETIVO ÓPTIMA. ESTO GENERA UNA DIFERENCIA SIGNIFICATIVA EN LA MANERA QUE EL DOMINIO DEL PROBLEMA ES CONCEPTUADO PERMITIENDO EL CAMBIO DEL PUNTO DE EQUILIBRIO DE NASH POR EL PUNTO DE EQUILIBRIO DE LYAPUNOV EN TEORÍA DE JUEGOS. SE UTILIZAN DOS APROXIMACIONES TEÓRICAS DIFERENTES PARA REPRESENTAR EL DOMINIO DEL PROBLEMA: I) PROCESOS DE DECISIÓN DE MARKOV, Y II) REDES DE PETRI LUGAR-TRANSICIÓN TENIENDO COMO CARACTERÍSTICA UN PROCESO DE DECISIÓN DE MARKOV. EL PUNTO PRINCIPAL DEL ESCENARIO PROPUESTO ES LA HABILIDAD DE REPRESENTAR LAS PROPIEDADES DE LA DINÁMICA DEL SISTEMA Y LA DINÁMICA DE LAS TRAYECTORIAS DE UN PROCESO DE DECISIÓN. DENTRO DEL MARCO DE LAS PROPIEDADES DINÁMICAS DEL SISTEMA SE MUESTRAN NUEVAS CARACTERÍSTICAS DE EQUILIBRIO Y ESTABILIDAD. DENTRO DEL MARCO DE LAS PROPIEDADES DE DINÁMICAS POR TRAYECTORIA DEL SISTEMA SE OPTIMIZA LA FUNCIÓN PARA CALCULAR LA TRAYECTORIA DE PLANEACIÓN CON UNA FUNCIÓN DEL TIPO LYAPUNOV, OBTENIENDO COMO RESULTADO UNA CARACTERIZACIÓN NUEVA PARA PUNTOS FINALES DE DECISIÓN (PUNTOS ÓPTIMOS) Y ESTABILIDAD. ADEMÁS, SE MUESTRA QUE LAS PROPIEDADES DINÁMICAS DEL SISTEMA Y LAS PROPIEDADES DINÁMICAS POR TRAYECTORIA DEL SISTEMA DE EQUILIBRIO, ESTABILIDAD Y PUNTOS FINALES DE DECISIÓN (PUNTOS ÓPTIMOS) CONVERGEN BAJO CIERTAS RESTRICCIONES. INCLUSIVE, SE GENERALIZA EL PROBLEMA PARA DESEMBOCAR EN TEORÍA DE JUEGOS. EN ESE CONTEXTO, SE MUESTRA QUE EL PUNTO DE EQUILIBRIO DE LYAPUNOV COINCIDE CON EL PUNTO DE EQUILIBRIO DE NASH BAJO CIERTAS RESTRICCIONES. COMO CONSECUENCIA TODAS LAS PROPIEDADES DE EQUILIBRIO, ESTABILIDAD Y PUNTO FINAL DE DECISIÓN PERSISTEN EN TEORÍA DE JUEGOS. ESTA ES LA CONTRIBUCIÓN MÁS IMPORTANTE DE ESTE TRABAJO. LA POTENCIALIDAD DE ESTA APROXIMACIÓN ESTÁ EN LA SIMPLICIDAD DE LA PRUEBA FORMAL PARA LA EXISTENCIA DE UN PUNTO DE EQUILIBRIO. HASTA LO QUE NUESTRO CONOCIMIENTO ALCANZA ESTE TRABAJO PARECE SER NUEVO EN PROCESOS DE DECISIÓN, TEORÍA DE JUEGOS Y REDES DE PETRI.
Other Identifiers: http://revistas.unam.mx/index.php/cys/article/view/2750
Aparece en las Colecciones:Computación y Sistemas

Archivos de este documento:
No hay archivos asociados a este documento.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.