Resumos dos Cursos e Palestras


Palestra 1: Negotiation and Search
Prof. Dr. Carles Sierra (IIIA CSIC, Espanha)

Resumo: Most existing negotiation algorithms only work for bilateral negotiations with linear additive utility functions. Most real-world negotiations however are much more complex. I will introduce a new family of negotiation algorithms that is applicable to domains with many agents, an intractably large space of possible agreements, non-linear utility functions and limited time so an exhaustive search for the best solution is not feasible. The agents are assumed to be selfish and cannot be blindly trusted, so the algorithm does not rely on any mediator. This family of algorithms applies Branch & Bound search to find good plans to propose. Search and negotiation happen simultaneously and therefore strongly influence each other. To analyse the performance of the algorithm I introduce the Negotiating Salesmen Problem (NSP): a new variant of the Traveling Salesman Problem, in which several salesmen need to negotiate with each other in order to minimise the lengths of their trajectories.

Palestra 2: Group Norms for Multi-Agent Organisations
Prof. Dr. Wamberto Vasconcelos (University of Aberdeen, Reino Unido)

Resumo: Normative multi-agent systems offer the ability to integrate social and individual factors to provide increased levels of fidelity with respect to modelling social phenomena, such as cooperation, coordination, group decision making, organization, in both human and artificial agent systems. An important open research issue refers to group norms, i.e. norms that govern groups of agents. Depending on the interpretation, group norms may be intended to affect the group as a whole, each member of a group, or some members of the group. Moreover, upholding group norms may require coordination among the members of the group. We have identified three sets of agents affected by group norms, namely, i) the addressees of the norm, ii) those that will act on it, and iii) those that are responsible for ensuring norm compliance. We present a formalism to represent these, connecting it to a minimalist agent organisation model. We use our formalism to develop a reasoning mechanism which enables agents to identify their position with respect to a group norm, so as to further support agent autonomy and coordination when deciding on possible courses of action.


Palestra 3: Open Agents' Organization
Prof. Dr. Olivier Boissier (EMSE - St. Etienne, França)

Resumo: In the recent years, agents' organization has been proposed as a mean to ensure some social control within open multi-agent systems. However, even if organizations, norms and electronic institutions have proven to be useful to achieve this objective, their own openness is still a question. There is a lack of a comprehensive view of the diverse concepts, models and approaches related to open agents’ organizations. Moreover, most designers have doubts about how to put these concepts in practice, i.e., how to program them. In this presentation we focus and discuss some proposals, stressing different aspects that may be considered to open organizations. Finally, we present some challenges for future research.

Palestra 5: Social Abstract Argumentation
Prof. Dr. João Leite (CENTRIA, Universidade Nova de Lisboa, Portugal)

Resumo: In this talk, we present Social Abstract Argumentation - an extension of Dung's Abstract Argumentation Frameworks that incorporates social voting - which lays the theoretical foundations for a class of Web 2.0 online debating  systems with formal backbones and semantics. According to Social Abstract Argumentation, online users, or agents, can propose new arguments, attack relations between arguments, or simply cast pro and con votes on both arguments and attacks. The semantics of Social Abstract Argumentation characterises the outcome of such debates, defining a notion of social strength for arguments, which takes both the debate structure and the votes into account. In this talk, we will discuss the theoretical foundations of Social Abstract Argumentation and present some recent results which support the very efficient computation of social debate outcomes.

Palestra 5: Para uma Noção de Modularidade em Sistemas Multiagentes
Prof. Dr. Antônio Carlos da Rocha Costa (FURG, Rio Grande RS)

Resumo: Este trabalho parte do fato de que, atualmente, não existem alternativas apropriadas para resolver a questão da modularização de sistemas multiagentes. O trabalho revisa uma distinção feita anteriormente, entre "sociedades de agentes" e "organização de agentes", e propõe que a noção de organização de agentes é a noção adequada para fundamentar o conceito de "módulo de SMA". Esboça-se uma "abordagem funcionalista" para a especificação de módulos de SMA, visando a possibilidade da concepção modular de sociedades de agentes. Salienta-se a importância estruturadora que adquirem os sistemas normativos de sociedades de agentes modularizadas através de módulos cujas interfaces são especificadas funcionalisticamente, tendo em vista tais especificações estarem baseadas nas noções de "direitos e deveres funcionais" dos módulo especificados. Analisa-se também, brevemente, a possibilidade que a noção de módulo de SMA introduz, de aplicação de técnicas convencionais de Engenharia de Software para o desenvolvimento de sociedades de agentes, assim como a possibilidade de utilização de módulos de SMA como módulos de sistemas de software convencionais. Finalmente, consideram-se alguns princípios complementares, necessários à plena utilização dos conceitos introduzidos no trabalho.


Oficina 1: Electronic Institutions
Prof. Dr. Carles Sierra (IIIA CSIC, Espanha)

Resumo: The course will introduce students to the concept of Electronic Institution. We will study a specification language and a generic infrastructure to run multi agent systems whose behaviour is restricted to match the constraints and workflow of an electronic institution specification. As practical work the students will use the specification tool (on their laptops or on the computers available in the classroom) to study and modify a particular specification involving auctions. Software and further information can be found at
Slides da Oficina: Electronic Institutions

Oficina 2: Normative Multi-Agent Systems
Prof. Dr. Wamberto Vasconcelos (University of Aberdeen, Reino Unido)

Resumo: Norms have been used to represent desirable behaviours that software agents should exhibit in sophisticated multi-agent solutions. Normative multi-agent systems incorporate explicit representations of norms - these are the obligations, prohibitions and permissions associated to individual and groups of agents as they come together to act and interact (collaborating or competing) to achieve individual and collective goals. We have a mature, and growing, wealth of research, results, tools and techniques exploring normative aspects within multi-agent systems. This tutorial will present the underpinnings of norms (namely, deontic logics), alternative representation formalisms and their semantics, and how norms have been explored in the design, analysis, verification, provisions for infrastructure, norm-aware agency theories (including norm-based agent programming), and agent-oriented software engineering.
Slides da Oficina: Parte 1, Parte 2, Parte 3

Oficina 3: Organisation-Oriented Programming (Multi-Agent Oriented Coordination)
Prof. Dr. Olivier Boissier (EMSE - St. Etienne, França)

Resumo: Coordination is a key issue in multi-agent systems to help agents interacting in a common environment to achieve some common goals. The multi-agent research domain has produced different proposals, such as agent-oriented programming, environment-oriented programming, interaction-oriented programming or organisation-oriented programming, to develop decentralized and open systems. In this talk we will present and discuss how coordination can be addressed by expressing the coordination along these different dimensions, discussing the differences and advantages of each.

Oficina 4: Programação Orientada a Agentes
Prof. Dr. João Leite (CENTRIA, Universidade Nova de Lisboa, Portugal)

Resumo: Com os avanços significativos, nos últimos anos, na área de agentes autónomos e sistemas multi-agente, tecnologias promissoras têm surgido como uma alternativa sensata para o desenvolvimento e engenharia de sistemas multi-agente. O resultado é uma variedade de linguagens de programação, plataformas de execução e ferramentas que facilitam o desenvolvimento e engenharia de sistemas multi-agente. Este curso irá fornecer uma visão geral das linguagens de programação, técnicas e ferramentas que estão actualmente disponíveis para apoiar a implementação eficaz de agentes num sistema multi-agente, dando aos participantes conhecimento de algumas competências básicas no desenvolvimento de agentes para sistemas multi-agente. Será adoptada uma abordagem experimental, através de um conjunto de exercícios laboratoriais, que permita aos participantes a prática das competências adquiridas. Este tutorial está preparado para principiantes na área de programação orientada a agentes, mas requer algumas noções básicas de agentes BDI e programação em lógica.

Oficina 5: Programação Multiagentes
Prof. Dr. Jomi Fred Hubner (UFSC)

Resumo: Neste curso, faremos uma revisão de programação orientada a agente e veremos como esse paradigma foi combinado com programação orientada a organizações multiagentes e programação orientada a ambientes. O curso foca em uma plataforma particular chamada JaCaMo: uma integração das plataformas Jason (para programação de agentes), Moise (para programação de organizações) e CArtAgO (para programação de ambientes compartilhados). O curso inclui uma sessão de programação em laboratório utilizando a plataforma JaCaMo e encerra com perspectivas de pesquisa na área.
Slides da oficina:

Oficina 6: Engenharia de Sistemas Multiagentes: o que, como e para onde?
Profa. Dra. Anarosa Brandão (USP, São Paulo SP)

Resumo: Este minicurso vai apresentar um histórico da engenharia de sistemas multiagentes, como ela está no momento e quais são as apostas atuais de pesquisa na área. Para tanto vamos falar sobre metodologias para apoiar o desenvolvimento deste tipo de sistemas, assim como das linguagens de programação dedicadas e respectivas plataformas de desenvolvimento. Ao final apresentaremos um relato das discussões que a comunidade de pesquisa na área durante o workshop EMAS@AAMAS 2014.
Slides da Oficina: AOSE WESAAC