http://hdl.handle.net/10366/133433 2026-04-22T09:01:15Z http://hdl.handle.net/10366/135886 Software Engineering (SE) is an area that intends to build high-quality software in a systematic way. However, traditional software engineering techniques and methods do not support the demand for developing Multiagent Systems (MAS). Therefore a new subarea has been studied, called Agent Oriented Software Engineering (AOSE). The AOSE area proposes solutions to issues related to the development of agent oriented systems. There is still no standardization in this subarea, resulting in several methodologies. Another issue of this subarea is that there are very few tools that are able to automatically generate code. In this work we propose a tool to support the Prometheus AEOlus Methodology because it provides modelling artifacts to all MAS dimensions: agents, environment, interaction, and organization. The tool supports all Prometheus AEOlus artifacts and can automatically generated code to the agent and interaction dimensions in the AgentSpeak Language, which is the language used in the Jason Platform. We have done some validations with the proposed tool and a case study is presented. 2017-06-30T00:00:00Z http://hdl.handle.net/10366/133647 2017-06-30T00:00:00Z http://hdl.handle.net/10366/133645 An agent can attempt to achieve multiple goals and each goal can be achieved by applying various different plans. Anticipating failures in agent plan execution is important to enable an agent to develop strategies to avoid or circumvent such failures, allowing the agent to achieve its goal. Plan recognition can be used to infer which plans are being executed from observations of sequences of activities being performed by an agent. Symbolic Plan Recognition is an algorithm that represents knowledge about the agents under observation in the form of a plan library. In this work, we use this symbolic algorithm to find out which plan the agent is performing and we develop a failure prediction system, based on information available in the plan library and in a simplified calendar which manages the goals the agent has to achieve. This failure predictor is able to monitor the sequence of agent actions and detects if an action is taking too long or does not match the plan that the agent was expected to be performing. We have successfully employed this approach in a health-care prototype system. 2017-06-30T00:00:00Z http://hdl.handle.net/10366/133646 The present article is about an examination of the new technological measures for the investigation, created by the Organic Act (Ley Orgánica) 13/2015, of 5th of October. These measures will serve us to improve de criminal investigation, especially on those crimes that are done by technological means, but also for the traditional crimes. Specifically, we are going to make an especial reference to the tourist fraud, which affects both consumers and entrepreneurs. This fraud is especially notable in the online contracts, as we will see above, because those contracts have increased the number of online frauds in the last years; in the tourism I am referring to the stealing of personal data and the creation of ghost companies or non-existent offers. In first place, we are going to talk about the advantages and disadvantages of the online contracts, and also about the real necessity of new investigation means that finally have been satisfied with the introduction of the new technological measures of investigation, which we are going to analyse: the computerized undercover agent, the interception of the telematics and telephone communications, the recording of oral communications by electronic devices, the tracking, localization and recording images devices, the registry of mass storage devices and the remote registry of computer equipment.  2017-06-30T00:00:00Z http://hdl.handle.net/10366/133643 The process of looking a spot could be a problem. There are computing solutions being developed to optimize this problem. One of these solutions is using multiagent systems (MAS). In this paper, a MAS is developed in order to allocate spots in a smart parking using the framework JaCaMo. This paper comprises of two types of agents: manager and drivers. The manager is responsible for administrating the parking spots which will be assigned to drivers according to a corresponding degree of trust. The trust degree is a value which shows the commitment of the driver before the manager. In order to verify the effectiveness of the MAS, several simulations were conducted in empirical scenarios. Experiments show that the degree of trust impacts in the parking spot allocation process. 2017-06-30T00:00:00Z http://hdl.handle.net/10366/133641 Multi-Agent Systems (MAS) software has been increasing dramatically in last years. In this context, the Software Agents, Environments and Applications School (WESAAC) is a Brazilian event of MAS which is in its tenth edition. When studying a research area, it is important to identify the most active groups, topics, the research trends and so forth. This study aims to investigate how the WESAAC is evolving, by analysing the papers published in its ten editions. We adopted a research strategy that combines scoping study and systematic review good practices. We identify the most participating institutions and authors, the main topics discussed, the types of the contributions, the conferences and journals that have most referenced WESAAC papers, the publications with the greatest impact, and the trends in MAS. We found 128 papers over the 10 WESAAC editions, which were analysed and discussed. 2017-06-30T00:00:00Z http://hdl.handle.net/10366/133642 The Sound and Music Computing (SMC) field has grown over the years and every time there are more conferences and specialized researchers in this area. The sub-field of Music Information Retrieval (MIR), one of the main research fields on SMC has focused on getting information from sound data. The most critical issue with regard to the human perception of sound is: what are the qualities of musical instrument sounds to perform recognition of its sound sources. There are four main sound dimensions: pitch, loudness, duration and timbre. The fourth dimension, timbre, is the most vague and complex dimension, a complex and high-level multidimensional property. Recognition of timbres is an area of high interest within MIR, being present in several papers state of the art on SMC. About Multi-Agent Systems (MAS), the term autonomous refers to the fact that the agents have their own existence, regardless of the existence of other agents, and are able to take own decisions without outside interference. Agents technology is particularly suitable for musical applications because of the possibility of associating a computational agent with the role of a singer or instrumentalist as can be seen in works state of art in SMC area. In this context, this paper proposes a agent-based approach to timbre recognition, focusing on the parallelization of the classification model. For this, we assign a method of recognition of timbres to different agents, where each agent is a specialized entity in a particular timbre, characteristic of a specific instrument, seeking a distributed solution for solving the timbre recognition problem. 2017-06-30T00:00:00Z http://hdl.handle.net/10366/133640 Describing planning domains using a common formalism promotes greater reuse of research, allowing a fairer comparison between different planners and approaches. Common planning formalisms for single-agent planning are already well established (e.g., PDDL, STRIPS, and HTN), but currently there is a shortage of multi-agent planning formalisms with clear semantics. In this paper, we propose a multi-agent extension of the Hierarchical Task Network (HTN) planning formalism for multi-agent planning problems. Our formalism, the Multi-Agent Hierarchical Task Network (MA-HTN), can be used to specify and represent multi-agent planning domains and problems. We provide a grammar with semantics for the domain and problem representation, and describe two case studies with the translation from multi-agent systems developed in JaCaMo to our MA-HTN formalism. 2017-06-30T00:00:00Z http://hdl.handle.net/10366/133639 2017-06-30T00:00:00Z