Boolean Game with Prioritized Norms

In this paper we study boolean game with prioritized norms. Norms distinguish illegal strategies from legal strategies. Notions like legal strategy and legal Nash equilibrium are introduced. Our formal model is a combination of (weighted) boolean game and so called (prioritized) input/output logic. After formally presenting the model, we use examples to show that non-optimal Nash equilibrium can be avoided by making use of norms.We study various complexity issues related to legal strategy and legal Nash equilibrium

Dependences in Strategy Logic

Strategy Logic (SL) is a very expressive temporal logic for specifying and verifying properties of multi-agent systems: in SL, one can quantify over strategies, assign them to agents, and express LTL properties of the resulting plays. Such a powerful framework has two drawbacks: First, model checking SL has non-elementary complexity; second, the exact semantics of SL is rather intricate, and may not correspond to what is expected. In this paper, we focus on strategy dependences in SL, by tracking how existentially-quantified strategies in a formula may (or may not) depend on other strategies selected in the formula, revisiting the approach of [Mogavero et al., Reasoning about strategies: On the model-checking problem, 2014]. We explain why elementary dependences, as defined by Mogavero et al., do not exactly capture the intended concept of behavioral strategies. We address this discrepancy by introducing timeline dependences, and exhibit a large fragment of SL for which model checking can be performed in 2-EXPTIME under this new semantics

Dependences in Strategy Logic

Strategy Logic (SL) is a very expressive temporal logic for specifying and verifying properties of multi-agent systems: in SL, one can quantify over strategies, assign them to agents, and express LTL properties of the resulting plays. Such a powerful framework has two drawbacks: First, model checking SL has non-elementary complexity; second, the exact semantics of SL is rather intricate, and may not correspond to what is expected. In this paper, we focus on strategy dependences in SL, by tracking how existentially-quantified strategies in a formula may (or may not) depend on other strategies selected in the formula, revisiting the approach of [Mogavero et al., Reasoning about strategies: On the model-checking problem, 2014]. We explain why elementary dependences, as defined by Mogavero et al., do not exactly capture the intended concept of behavioral strategies. We address this discrepancy by introducing timeline dependences, and exhibit a large fragment of SL for which model checking can be performed in 2-EXPTIME under this new semantics

La valoración de empreses mediante la lógica borrosa

Programa de Doctorat en Empresa[spa] La complejidad de la toma de decisiones en el campo de la economía y las finanzas se ha incrementado en los últimos años. Como resultado, se está prestando cada vez más atención al desarrollo e implementación de modelos matemáticos que puedan dar respuesta a estos problemas. La investigación en el campo de la lógica borrosa ha sido un tema de creciente interés durante muchas décadas, ya que es un concepto fundamental y común en la ciencia. Desde 1965, cuando se publicó el título seminal "Fuzzy sets" (Zadeh, L. A. 1965), se produjo un cambio de la lógica binaria a la lógica multivalente. Este cambio permite dar paso a teorías relacionadas con la incertidumbre, a través de una metodología borrosa, para poder considerar todos los escenarios posibles en la toma de decisiones, teniendo en cuenta la objetividad y subjetividad de los parámetros a considerar. En general, el objetivo principal de esta tesis doctoral es identificar las características y oportunidades de negocio a través de un análisis de valoración de empresas, que permita una mejor interpretación del contexto incierto para la toma de decisiones. Es decir, la teoría de la decisión en la incertidumbre se desarrolla con la valoración de empresas. Se analiza la situación en la que se encuentra y se estudian las aportaciones que podemos hacer en este campo con los principales algoritmos de lógica difusa estudiados por autores como J. Gil Aluja, A. Kaufmann, R. Yager, entre otros, con especial énfasis en aquellos que han sido aplicados al ámbito empresarial y financiero. La valoración de empresas es un proceso fundamental y complejo en los sistemas económico-financieros. En un entorno que evoluciona hacia formas más complejas e inciertas, es necesario presentar nuevos modelos de valoración empresarial más dinámicos basados en técnicas de tratamiento y gestión de la incertidumbre y toma de decisiones, para eliminar la ambigüedad y la confusión en entornos inciertos. La primera aportación de este trabajo es el análisis del estado de la cuestión realizado a través de dos estudios bibliométricos que estudian las aportaciones de la comunidad científica a la lógica borrosa y la valoración empresarial. Destaca la importancia de los factores subjetivos a la hora de tomar decisiones en un entorno económico y financiero. La segunda contribución es el desarrollo de aplicaciones que muestren la toma de decisiones en la incertidumbre aplicada a los métodos de valoración de empresas. Este estudio nos permite desarrollar algoritmos genéricos y modelos matemáticos que se pueden aplicar a la realidad empresarial, para probar su utilidad. En este trabajo, se destacan el coeficiente de adecuación, el coeficiente de calificación, la distancia de Hamming, la teoría del clon, el modelo de preferencia subjetiva, el algoritmo húngaro, los operadores OWA, los intervalos y los expertones. La tercera contribución es un nuevo algoritmo que combina la matemática borrosa y la valoración de empresas, lo que contribuye al desarrollo de la teoría de la decisión en el ámbito empresarial. En concreto, se desarrolla un modelo de valoración de empresas mediante el descuento de flujos de caja y las matemáticas borrosas, mostrando su utilidad y la posibilidad de ser aplicado por la comunidad académica y profesional en el posterior análisis del valor de una empresa. El modelo propuesto sistematiza y ordena el uso de intervalos para establecer un valor de negocio mínimo y máximo para la empresa. Por lo tanto, hemos encontrado un intervalo de confianza del posible valor comercial. Finalmente, podríamos decir que a nivel general hay dos aportaciones importantes a destacar en esta tesis doctoral: la aplicabilidad y el desarrollo. Aplicamos algoritmos y modelos en los métodos de valoración de empresas y desarrollamos un nuevo algoritmo que contribuye al desarrollo de la teoría de la decisión

La valoración de empreses mediante la lógica borrosa

[spa] La complejidad de la toma de decisiones en el campo de la economía y las finanzas se ha incrementado en los últimos años. Como resultado, se está prestando cada vez más atención al desarrollo e implementación de modelos matemáticos que puedan dar respuesta a estos problemas. La investigación en el campo de la lógica borrosa ha sido un tema de creciente interés durante muchas décadas, ya que es un concepto fundamental y común en la ciencia. Desde 1965, cuando se publicó el título seminal "Fuzzy sets" (Zadeh, L. A. 1965), se produjo un cambio de la lógica binaria a la lógica multivalente. Este cambio permite dar paso a teorías relacionadas con la incertidumbre, a través de una metodología borrosa, para poder considerar todos los escenarios posibles en la toma de decisiones, teniendo en cuenta la objetividad y subjetividad de los parámetros a considerar. En general, el objetivo principal de esta tesis doctoral es identificar las características y oportunidades de negocio a través de un análisis de valoración de empresas, que permita una mejor interpretación del contexto incierto para la toma de decisiones. Es decir, la teoría de la decisión en la incertidumbre se desarrolla con la valoración de empresas. Se analiza la situación en la que se encuentra y se estudian las aportaciones que podemos hacer en este campo con los principales algoritmos de lógica difusa estudiados por autores como J. Gil Aluja, A. Kaufmann, R. Yager, entre otros, con especial énfasis en aquellos que han sido aplicados al ámbito empresarial y financiero. La valoración de empresas es un proceso fundamental y complejo en los sistemas económico-financieros. En un entorno que evoluciona hacia formas más complejas e inciertas, es necesario presentar nuevos modelos de valoración empresarial más dinámicos basados en técnicas de tratamiento y gestión de la incertidumbre y toma de decisiones, para eliminar la ambigüedad y la confusión en entornos inciertos. La primera aportación de este trabajo es el análisis del estado de la cuestión realizado a través de dos estudios bibliométricos que estudian las aportaciones de la comunidad científica a la lógica borrosa y la valoración empresarial. Destaca la importancia de los factores subjetivos a la hora de tomar decisiones en un entorno económico y financiero. La segunda contribución es el desarrollo de aplicaciones que muestren la toma de decisiones en la incertidumbre aplicada a los métodos de valoración de empresas. Este estudio nos permite desarrollar algoritmos genéricos y modelos matemáticos que se pueden aplicar a la realidad empresarial, para probar su utilidad. En este trabajo, se destacan el coeficiente de adecuación, el coeficiente de calificación, la distancia de Hamming, la teoría del clon, el modelo de preferencia subjetiva, el algoritmo húngaro, los operadores OWA, los intervalos y los expertones. La tercera contribución es un nuevo algoritmo que combina la matemática borrosa y la valoración de empresas, lo que contribuye al desarrollo de la teoría de la decisión en el ámbito empresarial. En concreto, se desarrolla un modelo de valoración de empresas mediante el descuento de flujos de caja y las matemáticas borrosas, mostrando su utilidad y la posibilidad de ser aplicado por la comunidad académica y profesional en el posterior análisis del valor de una empresa. El modelo propuesto sistematiza y ordena el uso de intervalos para establecer un valor de negocio mínimo y máximo para la empresa. Por lo tanto, hemos encontrado un intervalo de confianza del posible valor comercial. Finalmente, podríamos decir que a nivel general hay dos aportaciones importantes a destacar en esta tesis doctoral: la aplicabilidad y el desarrollo. Aplicamos algoritmos y modelos en los métodos de valoración de empresas y desarrollamos un nuevo algoritmo que contribuye al desarrollo de la teoría de la decisión

Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings

International audienc