A METHOD AND A FRAMEWORK FOR EMPIRICAL PLANNING OF SELF-ORGANIZING SYSTEMS

• Autor(a) principal: BRUNO DE CASTRO BAHIA ALVARENGA SOARES
• Data de Publicação: 2009
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Institucional da PUC-RIO (Projeto Maxwell)
• Texto Completo: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15403@1; https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15403@2

Arquitetos de software têm optado cada vez mais por utilizar estratégias auto–organizáveis para o projeto de sistemas descentralizados dinâmicos e adaptativos, capazes de executar sem a interferência do usuário, administrador ou de outros sistemas. Esse processo de auto-organização muitas vezes resulta em comportamentos emergentes imprevistos, resultantes da interação entre os agentes do sistema. Comportamentos emergentes podem ser tanto benéficos quanto prejudiciais à execução e organização do sistema. Por esse motivo, um sistema multiagente auto-organizável só será utilizado em domínios de problema que envolvam qualquer tipo de risco - tais como indústrias, hospitais, equipamentos militares, etc. - se houver a possibilidade de garantir que ele será capaz de cumprir os seus objetivos de projeto. Entretanto, essa garantia não é simples de ser obtida, uma vez que é impossível mapear todas as possibilidades de comportamento de um sistema modelado através da interação de agentes. Algumas abordagens já foram propostas, mas suas aplicações normalmente são extremamente complexas. Portanto, este trabalho apresenta um novo método para a verificação experimental de sistemas multiagentes auto- organizáveis, evoluindo a técnica empírica de verificação proposta por Kevrekidis e complementando-a através de uma abordagem autonômica integrada à simplicidade da verificação dos planejadores em tempo-real. Como resultado, apresenta-se um framework para o projeto, verificação e simulação de sistemas multiagentes.