Beliefs and Conflicts in a Real World Multi-Agent System

In a real world multiagent system, where the agents are faced with partial, incomplete and intrinsically dynamic knowledge, conflicts are inevitable. Frequently, different agents have goals or beliefs that cannot hold simultaneously. Conflict resolution methodologies have to be adopted to overcome such undesirable occurrences. In this paper we investigate the application of distributed belief revision techniques as the support for conflict resolution in the analysis of the validity of the candidate beams to be produced in the CERN particle accelerators. This CERN multiagent system contains a higher hierarchy agent, the Specialist agent, which makes use of meta-knowledge (on how the con- flicting beliefs have been produced by the other agents) in order to detect which beliefs should be abandoned. Upon solving a conflict, the Specialist instructs the involved agents to revise their beliefs accordingly. Conflicts in the problem domain are mapped into conflicting beliefs of the distributed belief revision system, where they can be handled by proven formal methods. This technique builds on well established concepts and combines them in a new way to solve important problems. We find this approach generally applicable in several domains.

Migracion, prácticas artísticas y artivismos

Una de las potencialidades del arte es devenir una herramienta para enfocar determinados conflictos desde nuevos ángulos y articular preguntas que impacten en la comunidad. Aquí el arte se funde con la filosofía, la sociología, la antropología, con el activismo, y con la propia vida. A partir de tales parámetros, se esbozarán diversas propuestas artísticas que ilustran cómo distintos creadores abordan –desde distintos ángulos– el fenómeno de la migración Dentro de la amplia miríada de perspectivas desde las que se puede tratar la migración es interesante resaltar el trabajo de varios artistas que se transforman en altavoces de las experiencias de otras personas, tal y como ejemplifican los proyectos de Pep Dardanyà, Marisa González, He Chengyue y Josep María Martín. Desde un ángulo radicalmente distinto, Santiago Sierra y el colectivo Yes lab reproducen y llevan al límite las mismas dinámicas de explotación que critican, y para finalizar, bajo el prisma de la experiencia vivida, la artista Fiona Tan explora su propio proceso migratorio e investiga la construcción de la identidad.

Futebol: o caminho de África até à Europa

Similarly to its past, Africa plays a similar role in the football world as it did during History, if we look at the creation of some of the most powerful empires in the world (the Portuguese, French or English, for example) – as an almost unlimited workforce ‘supplier’. Africa is still searching for its own place in the football world map. With a recent history filled with social conflicts, civil wars and racial discrimination, it was possibly in this continent that the sport was first seen as a means towards social evolution and as ‘peacemaker’. Although these problems also exist in African stadiums, supporters all over the continent go to matches to celebrate and socialize; in a reality constantly shrouded in conflicts and oppression, football is like a ‘light at the end of the tunnel’ to those who believe in a continent sustained by healthy political relations between countries, democratic values and a socially fair ‘use’ of a country’s potential – and always for the profit of its own people. But while see the attempt to use football with that objective, others see it as their ticket out of their country, to avoid getting involved in military conflicts and seek better life conditions for themselves and their families (both those who accompany them and those who remain in Africa). Others, still, try to make the most of others’ will to leave a less favourable social reality; Portugal, for its past as a colonizing country, also saw in the African players a way to develop the football phenomenon in its European territory. This article attempts to analyze the influence of Portuguese colonialism in the emigration of African players to Europe, since Portugal presents itself as one of the biggest ‘importers’ of these players.

Marketing social e gestão de voluntários em ONG's

Este trabalho apresenta um projecto de investigação que relaciona a área do marketing social com a gestão do voluntariado em ONG’s. Trata-se de uma primeira reflexão que contextualiza a problemática da gestão de pessoas não remuneradas nessas organizações e introduz diversas questões sobre a gestão das ONG’s e do voluntariado. Nomeadamente, qual o papel do voluntariado nas ONG’s e quais as principais motivações associadas ao voluntariado? Como é que as ONG’s podem recrutar e seduzir de forma eficaz o voluntariado? Qual a particularidade do comportamento organizacional nestas organizações, como, por exemplo, que conflitos surgem entre os corpos profissionalizados e os voluntários nessas organizações?

A tragédia da consciência no conto de Machado de Assis

Neste ensaio, o conto O Caso da Vara de Machado de Assis é lido não só como uma história irónica, cuidadosamente estruturada, de conflitos internos versus acções reais, mas também como uma potencial peça dramática que partilha das características da tragédia clássica. As acções das personagens são vencidas pela torrente dos seus pensamentos, medos, crueldades e dramas, conduzindo a narrativa até um desfecho enigmático e sempre adiado. Tal como no drama clássico, n‘O Caso da Vara notamos a predilecção de Machado de Assis por situações universais que revelam a feição trágico-cómica dos comportamentos instituídos, num conto carregado de implicações morais que despertam o leitor para as grandes intenções e ainda maiores cobardias do ser humano.

Sistema online de resolução alternativa de conflitos com recurso à argumentação

Numa sociedade cada vez mais e mais virada para a Internet e para a procura de informação e soluções para todo e qualquer tipo de problema de forma instantânea, imediata ou mesmo urgente, a resolução de conflitos na sua forma mais comum, ou seja, no recurso judicial aos tribunais, parece começar a ser demasiado demorada e ineficaz. Neste sentido, as pessoas procuram, de uma maneira cada vez mais recorrente, alternativas para solucionar estes conflitos, de forma mais célere, sem que no entanto a avaliação da solução encontrada perca qualidade. Surgem, então, sistemas de resolução alternativa de conflitos (Alternative Dispute Resolution – ADR), ou ainda no ambiente Web (Online Dispute Resolution – ODR). As técnicas de ADR com maior destaque são a negociação, a arbitragem e a mediação. Em qualquer dos casos, facilmente podemos associar a sua eficiência e eficácia à utilização da argumentação no processo, satisfazendo as exigências dos implicados no conflito, já que é dada voz às suas perspectivas sobre o mesmo. Argumentar permite expor factos e justificações de suporte ou oposição relativamente ao conflito, enriquecendo a solução e tornando mais claro o entendimento da mesma. Neste trabalho será abordado o tema dos ADR, fazendo uma breve explicação da sua forma de utilização, suas principais técnicas (a negociação, a arbitragem e a mediação), será ainda abordada a argumentação, bem como a sua integração com os sistemas de resolução alternativa de conflitos. O modelo de argumentação de Toulmin foi objecto de análise e aplicação para a resolução do problema definido nesta dissertação, através da sua aplicação aos processos de argumentação. Será proposto um modelo suporte à resolução alternativa de conflitos, e desenvolvido um protótipo que permita a sua validação no contexto estudado.

Welcome to the new world disorder: conflict and transformation in Ian McEwan’s saturday

Ian McEwan‘s novel Saturday deals with the complex issues of conflict and transformation in the age of terrorism. The plot presents one internal dilemma and several interpersonal altercations that occur within a mere twenty-four hours: a) Perowne (the protagonist) vs. himself, in face of his ambivalent thoughts regarding British military participation in the war in the Middle East; b) The protagonist vs. Baxter, a ruffian from East End, in the context of a car accident; c) Perowne vs. a fellow anaesthetist, Jay Strauss, during a squash game; d) Perowne‘s daughter, Daisy vs. her grandfather, John Grammaticus, both poets and rivals; e) Perowne‘s family vs. Baxter, who intrudes the protagonist‘s house. In this paper, I exemplify, analyse and discuss how: a) Understanding the causes of what we call evil constitutes an important step towards mutual understanding; b) Both science and arts (which Perowne considers, at first, irrelevant) are important elements in the process of transformation; c) Both personal and interpersonal conflicts are intrinsic to human nature — but they also propitiate healthy changes in behaviour and opinion, through reflection. In order to do so, I resort to Saturday, and to the work of several specialists in the field of conflict management.

Software transactional memory as a building block for parallel embedded realtime systems

The recent trends of chip architectures with higher number of heterogeneous cores, and non-uniform memory/non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as a fundamental building block for developing parallel applications. Nevertheless, although STM promises to ease concurrent and parallel software development, it relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by embedded real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upper-bounded and task sets can be feasibly scheduled. In this paper we assess the use of STM in the development of embedded real-time software, defending that the amount of contention can be reduced if read-only transactions access recent consistent data snapshots, progressing in a wait-free manner. We show how the required number of versions of a shared object can be calculated for a set of tasks. We also outline an algorithm to manage conflicts between update transactions that prevents starvation.

Evaluating the combination of relaxation and argumentation in ontology matching negotiation

No decorrer dos últimos anos, os agentes (inteligentes) de software foram empregues como um método para colmatar as dificuldades associadas com a gestão, partilha e reutilização de um crescente volume de informação, enquanto as ontologias foram utilizadas para modelar essa mesma informação num formato semanticamente explícito e rico. À medida que a popularidade da Web Semântica aumenta e cada vez informação é partilhada sob a forma de ontologias, o problema de integração desta informação amplifica-se. Em semelhante contexto, não é expectável que dois agentes que pretendam cooperar utilizem a mesma ontologia para descrever a sua conceptualização do mundo. Inclusive pode revelar-se necessário que agentes interajam sem terem conhecimento prévio das ontologias utilizadas pelos restantes, sendo necessário que as conciliem em tempo de execução num processo comummente designado por Mapeamento de Ontologias [1]. O processo de mapeamento de ontologias é normalmente oferecido como um serviço aos agentes de negócio, podendo ser requisitado sempre que seja necessário produzir um alinhamento. No entanto, tendo em conta que cada agente tem as suas próprias necessidades e objetivos, assim como a própria natureza subjetiva das ontologias que utilizam, é possível que tenham diferentes interesses relativamente ao processo de alinhamento e que, inclusive, recorram aos serviços de mapeamento que considerem mais convenientes [1]. Diferentes matchers podem produzir resultados distintos e até mesmo contraditórios, criando-se assim conflitos entre os agentes. É necessário que se proceda então a uma tentativa de resolução dos conflitos existentes através de um processo de negociação, de tal forma que os agentes possam chegar a um consenso relativamente às correspondências que devem ser utilizadas na tradução de mensagens a trocar. A resolução de conflitos é considerada uma métrica de grande importância no que diz respeito ao processo de negociação [2]: considera-se que existe uma maior confiança associada a um alinhamento quanto menor o número de conflitos por resolver no processo de negociação que o gerou. Desta forma, um alinhamento com um número elevado de conflitos por resolver apresenta uma confiança menor que o mesmo alinhamento associado a um número elevado de conflitos resolvidos. O processo de negociação para que dois ou mais agentes gerem e concordem com um alinhamento é denominado de Negociação de Mapeamentos de Ontologias. À data existem duas abordagens propostas na literatura: (i) baseadas em Argumentação (e.g. [3] [4]) e (ii) baseadas em Relaxamento [5] [6]. Cada uma das propostas expostas apresenta um número de vantagens e limitações. Foram propostas várias formas de combinação das duas técnicas [2], com o objetivo de beneficiar das vantagens oferecidas e colmatar as suas limitações. No entanto, à data, não são conhecidas experiências documentadas que possam provar tal afirmação e, como tal, não é possível atestar que tais combinações tragam, de facto, o benefício que pretendem. O trabalho aqui apresentado pretende providenciar tais experiências e verificar se a afirmação de melhorias em relação aos resultados das técnicas individuais se mantém. Com o objetivo de permitir a combinação e de colmatar as falhas identificadas, foi proposta uma nova abordagem baseada em Relaxamento, que é posteriormente combinada com as abordagens baseadas em Argumentação. Os seus resultados, juntamente com os da combinação, são aqui apresentados e discutidos, sendo possível identificar diferenças nos resultados gerados por combinações diferentes e possíveis contextos de utilização.

Reason Maintenance Systems: Tools for Foundations-based Belief Revision

Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).

Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Multi-agent Systems

Decentralised co-operative multi-agent systems are computational systems where conflicts are frequent due to the nature of the represented knowledge. Negotiation methodologies, in this case argumentation based negotiation methodologies, were developed and applied to solve unforeseeable and, therefore, unavoidable conflicts. The supporting computational model is a distributed belief revision system where argumentation plays the decisive role of revision. The distributed belief revision system detects, isolates and solves, whenever possible, the identified conflicts. The detection and isolation of the conflicts is automatically performed by the distributed consistency mechanism and the resolution of the conflict, or belief revision, is achieved via argumentation. We propose and describe two argumentation protocols intended to solve different types of identified information conflicts: context dependent and context independent conflicts. While the protocol for context dependent conflicts generates new consensual alternatives, the latter chooses to adopt the soundest, strongest argument presented. The paper shows the suitability of using argumentation as a distributed decentralised belief revision protocol to solve unavoidable conflicts.

Solving Conflicting Beliefs with a Distributed Belief Revision Approach

The ability to solve conflicting beliefs is crucial for multi- agent systems where the information is dynamic, incomplete and dis- tributed over a group of autonomous agents. The proposed distributed belief revision approach consists of a distributed truth maintenance sy- stem and a set of autonomous belief revision methodologies. The agents have partial views and, frequently, hold disparate beliefs which are au- tomatically detected by system’s reason maintenance mechanism. The nature of these conflicts is dynamic and requires adequate methodolo- gies for conflict resolution. The two types of conflicting beliefs addressed in this paper are Context Dependent and Context Independent Conflicts which result, in the first case, from the assignment, by different agents, of opposite belief statuses to the same belief, and, in the latter case, from holding contradictory distinct beliefs. The belief revision methodology for solving Context Independent Con- flicts is, basically, a selection process based on the assessment of the cre- dibility of the opposing belief statuses. The belief revision methodology for solving Context Dependent Conflicts is, essentially, a search process for a consensual alternative based on a “next best” relaxation strategy.

Improving Assumption based Distributed Belief Revision

Belief revision is a critical issue in real world DAI applications. A Multi-Agent System not only has to cope with the intrinsic incompleteness and the constant change of the available knowledge (as in the case of its stand alone counterparts), but also has to deal with possible conflicts between the agents’ perspectives. Each semi-autonomous agent, designed as a combination of a problem solver – assumption based truth maintenance system (ATMS), was enriched with improved capabilities: a distributed context management facility allowing the user to dynamically focus on the more pertinent contexts, and a distributed belief revision algorithm with two levels of consistency. This work contributions include: (i) a concise representation of the shared external facts; (ii) a simple and innovative methodology to achieve distributed context management; and (iii) a reduced inter-agent data exchange format. The different levels of consistency adopted were based on the relevance of the data under consideration: higher relevance data (detected inconsistencies) was granted global consistency while less relevant data (system facts) was assigned local consistency. These abilities are fully supported by the ATMS standard functionalities.

Consistency and Context Management in a Multi Agent Belief Revision Testbed

Multi-agent architectures are well suited for complex inherently distributed problem solving domains. From the many challenging aspects that arise within this framework, a crucial one emerges: how to incorporate dynamic and conflicting agent beliefs? While the belief revision activity in a single agent scenario is concentrated on incorporating new information while preserving consistency, in a multi-agent system it also has to deal with possible conflicts between the agents perspectives. To provide an adequate framework, each agent, built as a combination of an assumption based belief revision system and a cooperation layer, was enriched with additional features: a distributed search control mechanism allowing dynamic context management, and a set of different distributed consistency methodologies. As a result, a Distributed Belief Revision Testbed (DiBeRT) was developed. This paper is a preliminary report presenting some of DiBeRT contributions: a concise representation of external beliefs; a simple and innovative methodology to achieve distributed context management; and a reduced inter-agent data exchange format.

A relação entre a acreditação/certificação da qualidade e o controlo interno nas organizações: estudo de caso em 30 unidades hospitalares públicas portuguesas

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação de: Doutora Alcina Dias e coorientação de: Doutora Ana Paula Lopes