Social Welfare

"Social Welfare" offers, for the first time, a wide-ranging, internationally-focused selection of cutting-edge work from leading academics. Its interdisciplinary approach and comparative perspective promote examination of the most pressing social welfare issues of the day. The book aims to clarify some of the ambiguity around the term, discuss the pros and cons of privatization, present a range of social welfare paradoxes and innovations, and establish a clear set of economic frameworks with which to understand the conditions under which the change in social welfare can be obtained

Dagstuhl News January - December 2005

"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic

Multi-agent planning using an abductive : event calculus

Temporal reasoning within distributed Artificial Intelligence Systems is faced with the problem of concurrent streams of action. Well known, logic-based systems using the SITUATION CALCULUS solve the frame problem in a purely linear manner. Recent research, however, has revealed that the EVENT CALCULUS under the abduction principle is capable of nonlinear planning. In this report, we present a planning service module which incorporates this approach into a constraint logic framework and even allows a notion of strong nonlinearity. The work includes the axiomatisation of appropriate versions of the EVENT CALCULUS, the development of a suitably sound and complete proof procedure that supports abduction and the implementation of both of these layers on the constraint platform OZ. We demonstrate prototypically how this module, EVE, can be integrated into an existing multi-agent architecture and evaluate the behaviour of such agents within an application domain, the loading dock scenario

A Cooperative Approach for Composite Ontology Matching

Ontologies have proven to be an essential element in a range of applications in which knowl-edge plays a key role. Resolving the semantic heterogeneity problem is crucial to allow the interoperability between ontology-based systems. This makes automatic ontology matching, as an anticipated solution to semantic heterogeneity, an important, research issue. Many dif-ferent approaches to the matching problem have emerged from the literature. An important issue of ontology matching is to find effective ways of choosing among many techniques and their variations, and then combining their results. An innovative and promising option is to formalize the combination of matching techniques using agent-based approaches, such as cooperative negotiation and argumentation. In this thesis, the formalization of the on-tology matching problem following an agent-based approach is proposed. Such proposal is evaluated using state-of-the-art data sets. The results show that the consensus obtained by negotiation and argumentation represent intermediary values which are closer to the best matcher. As the best matcher may vary depending on specific differences of multiple data sets, cooperative approaches are an advantage. *** RESUMO - Ontologias são elementos essenciais em sistemas baseados em conhecimento. Resolver o problema de heterogeneidade semântica é fundamental para permitira interoperabilidade entre sistemas baseados em ontologias. Mapeamento automático de ontologias pode ser visto como uma solução para esse problema. Diferentes e complementares abordagens para o problema são propostas na literatura. Um aspecto importante em mapeamento consiste em selecionar o conjunto adequado de abordagens e suas variações, e então combinar seus resultados. Uma opção promissora envolve formalizara combinação de técnicas de ma-peamento usando abordagens baseadas em agentes cooperativos, tais como negociação e argumentação. Nesta tese, a formalização do problema de combinação de técnicas de ma-peamento usando tais abordagens é proposta e avaliada. A avaliação, que envolve conjuntos de testes sugeridos pela comunidade científica, permite concluir que o consenso obtido pela negociação e pela argumentação não é exatamente a melhoria de todos os resultados individuais, mas representa os valores intermediários que são próximo da melhor técnica. Considerando que a melhor técnica pode variar dependendo de diferencas específicas de múltiplas bases de dados, abordagens cooperativas são uma vantagem

Aproximaciones a la aplicación de políticas de consenso en escenarios de negociación automática compleja

En escenarios de negociación complejos es frecuente la negociación de múltiples atributos interdependientes. En la negociación multiatributo es usual que existan distintas ofertas que proporcionen un mismo nivel de utilidad para el agente. Para un agente inmerso en una negociación la selección de una oferta no es trivial. Para llevar a cabo esta selección, un criterio que se suele emplear habitualmente como componente clave en muchos modelos de negociación es el criterio de similaridad. En escenarios con preferencias no monótonas y/o discontinuas este criterio se debilita debido a la ausencia de información suficiente acerca de la estructura de preferencias del oponente. Como primera contribución, esta tesis propone un protocolo de negociación que pueda trabajar de forma eficiente en espacios de utilidad complejos donde la aproximación basada en similaridad falla. En esta tesis se plantean mecanismos de negociación que permiten abordar negociaciones multiatributo complejas con espacios de preferencias no diferenciables. El protocolo propuesto extiende algunos de los principios de la búsqueda basada en patrones para realizar una búsqueda distribuida en el espacio de soluciones. Con objeto de incorporar el principio básico de exploración iterativa por patrones en nuestro protocolo, proponemos pasar de un protocolo de interacción basado en el intercambio de contratos (puntos del espacio de soluciones) a un protocolo basado en el intercambio de regiones. El protocolo define un proceso de exploración conjunta de forma recursiva. Podemos entender este proceso como una contracción iterativa del espacio de soluciones. Una vez que la región sobre la que se realiza la búsqueda es lo suficientemente pequeña como para ser interpretada como si fuera un único contrato, los agentes deciden que la negociación ha terminado. La extensión de los mecanismos de negociación descritos a un entorno de negociación multilateral exige que se incorpore un procedimiento para la agregación de las preferencias de los distintos agentes. En este contexto, y teniendo en cuenta los requisitos de privacidad y escalabilidad de las soluciones, parece natural la utilización de aproximaciones mediadas. En las aproximaciones mediadas, un mediador intenta optimizar algún tipo de métrica del bienestar social. Sin embargo, pocos trabajos han tratado de incorporar algún criterio de bienestar social en el proceso de búsqueda. Para este tipo de escenarios, se hace necesario definir nuevos conceptos de bienestar social. Esta tesis presenta además mecanismos de negociación que permiten incluir en el proceso de búsqueda de acuerdos políticas de consenso, que podrán ser definidas en términos lingüísticos, de forma que es posible especificar el tipo de acuerdo que se persigue. Para validar las contribuciones de la tesis, se ha realizado una evaluación experimental exhaustiva empleando tanto escenarios tipo como escenarios aleatorizados. Los experimentos realizados han confirmado que nuestra propuesta basada en los principios de búsqueda por patrones permite superar las limitaciones de las aproximaciones basadas en similaridad y alcanzar acuerdos consistentes con políticas de consenso definidas en el mediador de forma efectiva, abriendo una nueva línea de trabajo en el ámbito del diseño de mecanismos de negociación automática multilateral de múltiples atributos para espacios de utilidad complejos. Por último, se explora la aplicabilidad de los protocolos de negociación para espacios de utilidad de alta complejidad a escenarios reales. En concreto, se estudia el escenario de asignación de frecuencias en redes inalámbricas Wi-Fi, en el que varios proveedores de red deben acordar la asignación de frecuencias a los puntos de acceso bajo su control. Este trabajo supone la primera aplicación de este tipo de protocolos en entornos reales. Los resultados muestran que es posible alcanzar acuerdos que mejoran los obtenidos por las heurísticas que se emplean actualmente e incluso los conseguidos por optimizadores con información completa

Coalition based approach for shop floor agility – a multiagent approach

Dissertation submitted for a PhD degree in Electrical Engineering, speciality of Robotics and Integrated Manufacturing from the Universidade Nova de Lisboa, Faculdade de Ciências e TecnologiaThis thesis addresses the problem of shop floor agility. In order to cope with the disturbances and uncertainties that characterise the current business scenarios faced by manufacturing companies, the capability of their shop floors needs to be improved quickly, such that these shop floors may be adapted, changed or become easily modifiable (shop floor reengineering). One of the critical elements in any shop floor reengineering process is the way the control/supervision architecture is changed or modified to accommodate for the new processes and equipment. This thesis, therefore, proposes an architecture to support the fast adaptation or changes in the control/supervision architecture. This architecture postulates that manufacturing systems are no more than compositions of modularised manufacturing components whose interactions when aggregated are governed by contractual mechanisms that favour configuration over reprogramming. A multiagent based reference architecture called Coalition Based Approach for Shop floor Agility – CoBASA, was created to support fast adaptation and changes of shop floor control architectures with minimal effort. The coalitions are composed of agentified manufacturing components (modules), whose relationships within the coalitions are governed by contracts that are configured whenever a coalition is established. Creating and changing a coalition do not involve programming effort because it only requires changes to the contract that regulates it