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.

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.

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.

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

A Influência da teoria da agência na estrutura de capital na indústria do calçado

apresentado ao Instituto de Contabilidade e Administração do Porto para a Dissertação de Mestrado para obtenção do grau de Mestre em Contabilidade e Finanças sob orientação do Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira