| Revista: | Computación y sistemas |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000364445 |
| ISSN: | 1405-5546 |
| Autores: | Clempner, Julio1 Medel, Jesús1 Carsteanu, Alin2 |
| Instituciones: | 1Instituto Politécnico Nacional, Centro de Investigación en Computación, México, Distrito Federal. México 2Instituto Politécnico Nacional, Centro de Investigación y de Estudios Avanzados, México, Distrito Federal. México |
| Año: | 2007 |
| Periodo: | Ene-Mar |
| Volumen: | 10 |
| Número: | 3 |
| Paginación: | 301-322 |
| País: | México |
| Idioma: | Inglés |
| Tipo de documento: | Artículo |
| Enfoque: | Experimental, aplicado |
| Resumen en español | 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 |
| Resumen en inglés | 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 poten |
| Disciplinas: | Ciencias de la computación |
| Palabras clave: | Procesamiento de datos, Teoría de juegos, Problema de la trayectoria más corta, Procesos de decisión de Markov, Redes de Petri |
| Keyword: | Computer science, Data processing, Game theory, Shortest-path problem, Markov processes, Petri nets |
| Texto completo: | Texto completo (Ver HTML) |
