WESAAC 2015 - Oficinas
O WESAAC 2015 apresenta um conjunto de oficinas, que oferece aos participantes uma oportunidade única para entrar em contato com o estado da arte da pesquisa e desenvolvimento na área de agentes de software. Um grupo internacional de tutores foi convidado para ministrar oficinas em diferentes tópicos, a fim de oferecer uma visão geral da área.
Oficina 01: NetLogo - Uma Ferramenta Simulação Multiagente
Diana Francisca Adamatti (FURG), Brasil
Diana Adamatti is a Professor of Artificial Intelligence in the Computer Science Center, Universidade Federal do Rio Grande (FURG), Brazil. She is a member of the WESAAC Advising Committee. She was a post-doctoral researcher at the Istituto di Scienze e Tecnologie della Cognizione (ISCT) of the Consiglio Nazionale delle Ricerche (CNR) in Rome, Italy, and she has been an active researcher in the brazilian agent community. Research fields of interest include Multiagent Systems, Social Simulation and Computational Games.
Resumo: Essa é uma oficina prática, onde será apresentada a ferramenta NetLogo, a partir de exemplos práticos. Os alunos irão estudar alguns exemplos e modificá-los, para melhor entendimento. O NetLogo utiliza a linguagem Logo, que apesar de bastante simples, proporciona o desenvolvimento de aplicações complexas e robustas. Pode ser utilizada por alunos iniciantes, pois não exige muita abstração.
Oficina 02: Using Intelligent Techniques to deal with Refactoring Activities
Baldoino Fonseca Neto (UFAL), Brasil
Baldoino Fonseca Neto is an Associate Professor at UFAL, Brazil. He received his Ph.D. from PUC-Rio (Brazil) in 2012. He is in the organization team of WESAAC 2015 and he also organized another workshop on multi-agent systems (Workshop on Autonomous Software Systems - AutoSoft 2012). His research interests include Software Engineering for Multi-Agent Systems and Refactoring.
Resumo (em inglês): Software maintenance may degrade the software quality. One of the primary ways to reduce undesired effects of maintenance is Refactoring, which is a technique to improve software code quality without changing its observable behavior. To safely apply a refactoring, several issues must be considered: (i) identify the code parts that should be improved (such parts are known as code smells); (ii) determine the changes (or corrections) that must be applied to the code in order to improve its quality (e. g. reusability, flexibility, extendibility, effectiveness); (iii) evaluate the corrections impact on code quality; and (iv) check that the observable behavior of the software will be preserved after applying the corrections. Given the amount of issues to consider, refactoring by hand has been assumed to be an expensive and error-prone task. Therefore, in this school we will present existing intelligent techniques that can help developers to perform refactoring activities in an autonomous way.
Oficina 03: Practical Multi-Agent Programming with JaCaMo
Rafael Heitor Bordini (PUCRS), Brasil
Rafael Bordini is an Associate Professor at FACIN-PUCRS since March 2012. Previous to this appointment, he was an associate professor at INF-UFRGS (from July 2009) and previous to that he was a Lecturer in the Department of Computer Science, Durham University, UK (July 2004 to January 2009). He headed for a PhD at UCL (finished in early 1999), then worked as a visiting lecturer at INF-UFRGS (until May 2002), and from June 2002 to May 2004 he was a post-doctoral researcher at the University of Liverpool. Research fields of interest include multi-agent programming languages, logics and formal methods in multi-agent systems, formal verification of multi-agent systems through model checking, state-space reduction techniques for model checking multi-agent systems, testing and debugging multi-agent programs and applications of autonomous system.
Resumo (em inglês): This course will briefly discuss CArtAgO and Jason, two of the main components, together with Moise, of the JaCaMo framework. Using the same case study as in the "Organisation-Oriented Programming with JaCaMo" course, we now see further how the agents can coordinate themselves with the help of organisational artifacts and how they can be programmed with Jason. There will be a lab session where students will be able to experience the practical use of the JaCaMo framework.
Oficina 04: Organisation-Oriented Programming with JaCaMo
Jaime Simão Sichman (USP), Brasil
Jaime Sichman é Professor Associado do Departamento de Engenharia de Computação e Sistemas Digitais (PCS) da Escola Politécnica (EP) da Universidade de São Paulo (USP). Juntamente com diversos outros colegas, foi um dos criadores de duas sub-áreas de pesquisa em sistemas multi-agentes, denominadas respectivamente de Multi-Agent-Based Simulation (MABS) e de Coordination, Organization, Institutions and Norms in Agent Systems (COIN), que originaram uma série de workshops internacionais desde 1998. Organizou vários workshops e conferências nacionais e internacionais; em particular, foi o Tutorial Chair do AAMAS 2007, um dos Program Co-Chairs do AAMAS 2009, e o General Chair do WCSS 2014. Seu principal interesse de pesquisa são os sistemas multiagentes, mais particularmente em temas como raciocínio social, organizacional, simulação baseada em agentes, reputação, confiança e interoperabilidade em sistemas baseados em agentes.
Resumo (em inglês): We present a comprehensive view of Multi-Agent Oriented Programming models based on existing platforms, languages and applications of multi-agent systems. In particular, we will discuss the different abstraction and first class entities that can be used as candidates for programming multi-agent systems. We intend to give some historical background to the programming of MAS. We also present an integrated scenario that will be used as case study for the rest of this tutorial. We then focus on the different approaches related to organisation-oriented programming in MAS, considering existing languages and platforms. Next, we pursue the practical design of the presented case study using the Moise organisational model, and we discuss how global organisational goals can be related, decomposed and distributed to agents in the context of the JaCaMo framework.