Contribuições ao estudo de redes de agentes

Orientador: Ricardo Ribeiro GudwinDissertação (mestrado) - Universidade Estadual de Campinas. Faculdade de Engenharia Eletrica e de ComputaçãoResumo: Redes de objetos (ROs) são uma proposta de modelo formal para sistemas dinâmicos a eventos discretos, particularmente útil para a representação e simulação de sistemas in­teligentes. Redes de Agentes (RAs) são uma classe de ROs onde utiliza-se uma política autônoma para a geração da assim chamada função de seleção, responsável pela dinâmica da rede. Neste trabalho, apresenta-se uma coletânea de contribuições ao estudo das RAs. Basicamente, estas contribuições podem ser agrupadas em 3 tópicos principais: (a) o aprimoramento do modelo formal para a representação de RAs e a definição de um framework lógico-formal para o estudo da dinâmica em RAs, (b) a introdução do conceito de hierarquia em RAs, com a proposta de uma extensão para o suporte a RAs modulares e (c) implementação de um ambiente computacional baseado no paradigma de objetos distribuídos (CORBA) para o desenvolvimento de RAs modularesAbstract: Object networks (ONs) are a formal mode! proposal to describe discrete event dynamical systems, specially suitable to represent and simulate intelligent systems. Agent networks (ANs) are a class of ONs which uses an autonomous policy to generate the selection function, responsible for determining the network dynamics. In this work, a group of contributions to the study of ANs is presented, and can be summarized in three basic categories, as follows: (a) improvement of the formal model of ANs and a proposal of a formal treatment for the dynamics, (b) introduction of hierarchies in the context of ANs, including a proposal of formal model for modular ANs, and (c) implementation of a computational environment based on the distributed objects paradigm (CORBA) for the development of modular ANsMestradoMestre em Engenharia Elétric