Mediation is a process in which two parties agree to resolve their dispute by negotiating over alternative solutions presented by a mediator. In order to construct such solutions, the mediator brings more information and knowledge, and, if possible, resources to the negotiation table. In order to do so, the mediator faces the challenge of determining which information is relevant to the current problem, given a vast database of knowledge. The contribution of this paper is the automated mediation machinery to resolve (...) this issue. We define the concept of a Mediation Problem and show how it can be described in Game Description Language. Furthermore, we present an algorithm that allows the mediator to efficiently determine which information is relevant to the problem and collect this information from the negotiating agents. We show with several experiments that this algorithm is much more efficient than the naive solution that simply takes all available knowledge into account. (shrink)

This work presents a requirement analysis for collaborative dialogues among medical experts and an inquiry dialogue game based on this analysis for incorporating explainability into multiagent system design. The game allows experts with different knowledge bases to collaboratively make recommendations while generating rich traces of the reasoning process through combining explanation-based illocutionary forces in an inquiry dialogue. The dialogue game was implemented as a prototype web-application and evaluated against the specification through a formative user study. The user study confirms that (...) the dialogue game meets the needs for collaboration among medical experts. It also provides insights on the real-life value of dialogue-based communication tools for the medical community. (shrink)

We define a multi-modal version of Computation Tree Logic (CTL) by extending the language with path quantifiers $E^\delta $ and $E^\delta $ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a CTL axiomatisation for each dimension. Completeness is proved by employing the completeness result for CTL to obtain a model along each dimension in turn. We also show that (...) the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for CTL. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional CTL logic. (shrink)

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that (...) the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. (shrink)

Es importante destacar que cuando en la historia de la física se hace referencia al problema de si la luz se transmite de manera instantánea o si requiere de tiempo –que se abreviará aquí como el problema de la propagación sucesiva de la luz– siempre destacan ciertos personajes: por un lado, Armand Hippolyte Louis Fizeau y Jean Bernard León Foucault, quienes en el siglo XIX lograron medir por primera vez de forma precisa la velocidad de la luz; y por otro, (...) los astrónomos Ole Christensen Roemer y James Bradley, quienes en los siglos XVII y XVIII –respectivamente– fueron los primeros en dar una respuesta derivada de trabajos observacionales de que la luz sí requiere de tiempo en su transmisión, esto es, que su propagación es sucesiva. Entre estos nombres, aparece siempre de forma algo etérea Galileo Galilei como el primero que propuso un enfoque experimental para dar respuesta a esta pregunta. (shrink)

En el presente texto se hace una lectura fenomenológica del relato mítico amazónico del Yurupary. A partir de esta, se defiende la tesis de que en la oralitura que se manifiesta en este relato se ofrece la cosmovisión de una cultura precolombina; en esta, se plasma en su estructura interna una determinada manera de estar-en-el-mundo, es decir, devela rasgos de la dimensión ontológica de la misma. Para exponer la tesis anterior el texto se divide en tres partes: I. “De la (...) fenomenología o presupuestos metodológicos”; II. “Aproximación fenomenológica al relato”, y III. “Perspectivas”. (shrink)

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that (...) the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. (shrink)