Made available in DSpace on 2014-06-12T16:01:13Z (GMT). No. of bitstreams: 2 arquivo7202_1.pdf: 1786619 bytes, checksum: 3ebd7b90e23a782d3b1130458e08ffdc (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Nos últimos anos uma grande variedade de metodologias e ferramentas foram propostas para guiar e auxiliar a engenharia de sistemas multiagente (SMA). Contudo, elas são limitadas a engenharia de agentes (a) cujos sensores e atuadores enfatizam a troca de mensagens com outros agentes, e (b) cujo raciocínio é implementado procedimentalmente. Em contraste, o projeto MESMA dentro do qual a presente pesquisa se insere, visa a elaboração de uma metodologia e de ferramentas para engenharia de agentes (a) cujos sensores e atuadores enfatizam percepção e alteração direta de um ambiente físico simulado tempo real, e (b) cujo raciocínio, reativo ou deliberativo, é implementado declarativamente na forma de uma base de conhecimento lógica orientada a objetos. Nesse contexto, a pesquisa apresentada se focaliza na problemática de oferecer serviços para auxiliar de maneira integrada (a) a depuração do raciocinio encapsulado de cada agente, e (b) a análise do comportamento cooperativo coletivo emergente de times de agentes. As soluções propostas foram validadas através do desenvolvimento da ferramenta Replay, que fornece tais serviços para o estudo de caso da engenharia de time de futebol de robôs simulado

La presente investigación surgió de la necesidad de atender el desarrollo de las capacidades matemáticas que le permitan al estudiante estar en condiciones de responder a los desafíos que presenta la sociedad; también se consideró relevante el aprovechamiento de las computadoras disponibles en el centro educativo para apoyar la enseñanza. El objetivo que se planteó buscaba mejorar el proceso de enseñanza de matemática en estudiantes de segundo grado. Para elaborar la propuesta tecnológica se hizo uso de la metodología MAS-CommonKADS para el desarrollo de sistemas multiagente, que propone un ciclo de vida compuesto por: conceptuación, análisis, diseño, codificación y prueba, integración, operación y mantenimiento. A través de dicho ciclo de vida se desarrollaron una serie de modelos. La propuesta tecnológica consistió en un ambiente colaborativo de aprendizaje basado en un sistema multiagente operado mediante web, que requirió para la implementación de los agentes el uso de la plataforma Jade y el lenguaje java. Tras la ejecución de la investigación se llegó a la conclusión de que el ambiente colaborativo de aprendizaje favoreció los logros aritméticos de los estudiantes y la resolución de problemas propuestos, también permitió reducir tiempos en la entrega de información académica a los padres de familia. Por último, significó un incremento en los medios para informar a los padres de familia sobre el desempeño académico de los estudiantes. / Tesis

La presente investigación surgió de la necesidad de atender el desarrollo de las capacidades matemáticas que le permitan al estudiante estar en condiciones de responder a los desafíos que presenta la sociedad; también se consideró relevante el aprovechamiento de las computadoras disponibles en el centro educativo para apoyar la enseñanza. El objetivo que se planteó buscaba mejorar el proceso de enseñanza de matemática en estudiantes de segundo grado. Para elaborar la propuesta tecnológica se hizo uso de la metodología MAS-CommonKADS para el desarrollo de sistemas multiagente, que propone un ciclo de vida compuesto por: conceptuación, análisis, diseño, codificación y prueba, integración, operación y mantenimiento. A través de dicho ciclo de vida se desarrollaron una serie de modelos. La propuesta tecnológica consistió en un ambiente colaborativo de aprendizaje basado en un sistema multiagente operado mediante web, que requirió para la implementación de los agentes el uso de la plataforma Jade y el lenguaje java. Tras la ejecución de la investigación se llegó a la conclusión de que el ambiente colaborativo de aprendizaje favoreció los logros aritméticos de los estudiantes y la resolución de problemas propuestos, también permitió reducir tiempos en la entrega de información académica a los padres de familia. Por último, significó un incremento en los medios para informar a los padres de familia sobre el desempeño académico de los estudiantes.

Made available in DSpace on 2016-08-29T15:32:41Z (GMT). No. of bitstreams: 1 tese_2318_TeseDoutoradoJoseFranciscodeMagalhaesNetto.pdf: 2774590 bytes, checksum: f669b388bd32f559007b278b76e16ef4 (MD5) Previous issue date: 2006-09-29 / Nos dias de hoje os sistemas computacionais são povoados por uma variedade de componentes naturais e sintéticos, integrados de forma cada vez mais intensa pelas novas tecnologias como a Internet e redes sem fio. A integração de pessoas, programas e máquinas pode resultar em melhores serviços para pessoas e para a comunidade. Entretanto, esta integração é um desafio, que, por ser novo e cada vez mais presente devido ao grande avanço da capacidade das máquinas, apresenta dificuldades práticas de realização. Para abordar a solução deste desafio, esta tese apresenta uma arquitetura para ambientes dotados de agentes heterogêneos que objetiva a criação de um ambiente denominado Ambiente Virtual de Convivência. O referencial teórico deste trabalho está centrado em Sistemas Multiagente e Ontologias. O Ambiente Virtual de Convivência apóia comunidades virtuais que são compostas, além dos agentes heterogêneos, por um tipo especial de agente denominado clone. A proposta inclui uma ontologia e uma metodologia para aplicação desta arquitetura. Como exemplos da aplicabilidade da arquitetura, ontologia e metodologia propostas, foram desenvolvidos os ambientes Casa Inteligente, destinado à simulação de interação entre pessoas, serviços e aparelhos domésticos, e um ambiente denominado AVAX (Ambiente Virtual para Aprendizagem de Xadrez), destinado a apoiar as interações e a aprendizagem em uma comunidade de praticantes de Xadrez.

Made available in DSpace on 2016-08-29T15:32:42Z (GMT). No. of bitstreams: 1 tese_2355_TeseDoutoradoLiviaLopesAzevedo.pdf: 3253912 bytes, checksum: db0943aa28cbfc442995960e11eb8ec2 (MD5) Previous issue date: 2007-12-21 / Nos últimos anos o estudo de sistemas complexos tem atraído a atenção de pesquisadores em várias áreas do conhecimento, devido ao crescente interesse na forma de organização dos sistemas. Exemplos de sistemas complexos estão presentes numa variedade de situações que vivenciamos e têm sido amplamente estudados através da modelagem de simulação multiagente. Entretanto, existe uma lacuna entre os ambientes para estudo de sistemas complexos e os usuários que deles fazem uso. Esta tese apresenta a proposta de um ambiente, denominado AProSiMA, que possibilita a usuários leigos em programação construir seus próprios modelos de simulação multiagente. O ambiente tem ainda como proposta geral propiciar o processo de resolução cooperativa de problemas. Para tanto disponibiliza aos usuários: acesso à recuperação de informação e mecanismos para localizar especialistas que podem estar geograficamente distribuídos e convidá-los para trabalhar de modo cooperativo na busca de solução para o problema; espaço compartilhado para a discussão e formalização das estratégias de resolução de problemas; mecanismos de direcionamento de perguntas e respostas aos especialistas, formação de grupos cooperados e mecanismos de comunicação que suportem o trabalho cooperativo.

Esta tesis propone formalismos para modelar la dinámica de conocimiento en bases de creencias de agentes en un sistema multi-agente, los cuales adquieren información de sus pares. Dicha dinámica es modelada por la teoría de cambio de creencias, la cuál busca mostrar como quedan constituidas las creencias de un agente después de recibir cierta infor-mación externa. Nuestra propuesta se enfoca en revisión de creencias con múltiples fuentes (Multi-Source Belief Revision), ya que los agentes pueden recibir información a través de múltiples informantes, los cuales son agentes independientes con sus propios intereses y podrían no ser completamente fiables. Por este motivo, en esta tesis se propone la utili-zación de un orden parcial de informantes que representa la credibilidad de los mismos para el agente que se está mode-lando. El orden parcial de credibilidad entre agentes no necesita permanecer estático ya que el agente puede elegir actualizar su relación de orden parcial para reflejar una nueva percepción de la credibilidad de un informante. Es por esto que, otro de los objetivos de esta tesis es el estudio y desarrollo de técnicas y formalismos para la actualización del grado de credibilidad que se le asigna a un agente por inte-ractuar en el marco de un sistema multi-agente. Por lo tanto, se proponen operadores de cambio, tanto para revisar las creencias de un agente, como para revisar la credibilidad que un agente tiene sobre los demás agentes del sistema. De esta manera, la investigación desarrollada también se enfoca en la caracterización y desarrollo de operadores de cambio, que permitan modelar la dinámica de la confianza y reputación de agentes en un sistema. En resumen, se propone combinar formalismos de revisión de creencias y actualización de conocimiento con técnicas de mantenimiento de confianza y reputación de agentes en un ambiente distribuido, para representar la dinámica de órdenes parciales de credibilidad. / This Thesis proposes formalisms to model the dynamics of knowledge on belief bases of agents in a multi-agent system, where agents interact with peers exchanging information about their beliefs. This dynamics of knowledge is modeled by the belief change theory, which seeks to show how beliefs of an agent remain formed after receiving some external infor-mation. Our proposal focuses on multiple source belief revision (MSBR), where agents can receive information through multiple informants which are independent agents with their own interests and may not be completely reliable. For this reason, this Thesis proposes the use of a partial order of informants that represents the credibility of them for the agent being modeled. The partial order of credibility among agents can be changed, since the agent can update its partial order relation to reflect a new perception of the credibility of an informant. Therefore, another goal of this Thesis is the study and development of techniques and formalisms for the update of the credibility degree assigned to an agent by interacting within a multi-agent system. Thus, the research developed also focuses on the characterization and development of exchange operators, which allow modeling the dynamic of trust and reputation of agents in a system. In summary, we propose to combine the formalism of belief revision and knowledge updating with technical main-tenance of trust and reputation of agents in a distributed environment, in order to represent the dynamic of partial orders of credibility.

En el vasto campo de estudio sobre la comunicación entre humanos, un aspecto destacado es el rol que desempeña la pragmática en el uso del lenguaje; más específicamente la teoría de los actos del habla. Una parte importante de la interpretación pragmática de un enunciado en lenguaje natural, es la elección del acto del habla correcto para el contexto en que se usa. Adaptar las técnicas de comunicación, tan naturales para los humanos, al ambito de la Inteligencia Artificial no es algo sencillo. Tal es así que un pionero como Alan Turin estableció un fuerte vínculo entre comunicación e inteligencia. De ahí que para lograr que los agentes computacionales se comuniquen, es necesaria una adecuada integración de varios procesos. Para clarificar algunas de estas ideas, mostrar distintos tipos de ejemplos y para motivar la lectura, se presenta una situación ficticia adecuada para evaluar los intercambios de actos del habla y los conflictos que pueden surgir cuando los interlocutores son agentes. En este marco ficticio, los agentes se emplean para analizar los diálogos entre soldados que operan en una coalición internacional en un país ficticio de oriente medio. Más allá de la exibilidad que caracteriza a los agentes, existe mucha investigación sobre el uso de recetas o planes para guiarlos hacia determinados objetivos o metas. Los pasos o progresos que realiza el agente muchas veces involucran el intercambio de actos del habla con otros pares. El progreso en ese intercambio se consigue empleando "operadores" o mensajes que se pueden aplicar siempre que se disponga de un determinado conocimiento. Eso es algo propio de los lenguajes de comunicación de agentes conocidos, como KQML y ACL, por esa razón en su especificación de los mensajes, establecen cual es el estado mental requerido para emplear un mensaje determinado y que cambios se producirán al aplicarlo. El ser social es una cualidad requerida en la definición de agente, asociado con esto est a la idea de compromiso con los demás miembros del sistema multi-agente. Cada afirmación transmitida, cada requerimiento hecho, cada promesa realizada, se mantienen en un almacen de compromisos, gracias al cual los dem as pueden formar un perfil o conjunto de antecedentes sobre el cual es posible razonar. Pero también es necesario considerar los problemas que introduce la transmisión, como demoras y extravíos de los mensajes, por los que seguramente surgen diferencias en las percepciones de los interlocutores. Se deben cumplir ciertas condiciones que garanticen que los agentes tengan las mismas observaciones para exigir que, si alguien es acreedor de un compromiso, el correspondiente deudor se asuma como tal. Esta situación, en la que los compromisos est an alineados, es deseable; resulta conveniente, en consecuencia, establecer los requisitos para que la evolución del sistema vaya en esa dirección. Para lograr que los agentes realmente se puedan comunicar, es necesario que empleen razonamiento. Si en la búsqueda de cumplir con sus metas, los agentes deben superar situaciones de conflicto, como ser diferencias en los puntos de vista individual, la comunicación es un medio que ayuda. Es conocida la tradición del diálogo para lograr acuerdos, por ejemplo, entre un feudal y su vasallo o en los ambitos legales. Se requieren reglas claras que motiven el avance hacia una resolución que sea aceptada por las partes, reglas con las cuales se pueda razonar, hacer afirmaciones, requerir fundamentos o argumentos y plantear contrargumentos. Estos entornos son conocidos como juegos de di alogo, en los cuales se usan distintos tipos de l ogicas para soportar las conclusiones que son obtenidas a medida que progresa el intercambio de mensajes. En particular la persuasión resulta de interés entre agentes idependientes, aquellos que mantienen una interacción ocasional; como puede ser el caso de los soldados en el contexto ficticio introducido para recrear ejemplos. / Communication among humans beings is a widespread topic. In this context, Pragmatics plays a very important role in establishing how language is used, in which Speech Acts Theory stands out. An important part of pragmatic interpretation in natural language utterances is the choice of the appropriate speech act for each context. Adapting human communication techniques, which are so natural for humans, is not simple in the area of Artificial Intelligence. Alan Turing, a pioneer in this field, established a strong link between communication and intelligence. Thus, the adequate integration of several processes is necessary in order to have computer agents communicate. To clarify some of these ideas, show diferent types of examples, and motivate reading, an appropriate fictitious situation is presented. This is to evaluate the exchange of speech acts and problems that may arise when the interlocutors are agents. In this fictitious framework, agents are used to analyze the dialogues between soldiers who are part of an international coalition in a fictitious Middle Eastern country. Beyond the flexibility that characterizes the agents, there are plenty of research works on the use of recipes or plans to guide agents towards certain objectives or goals. The exchange of speech acts with other peers is often involved in the steps or progress made by the agents. Progress in this exchange is achieved by using "operators" or messages that can be send as long as certain knowledge is available. This characteristic is typical in classical agent communication languages, such as KQML and ACL. For this reason, the specification of messages in these languages establish both; the mental state required in order to employ a certain message, and the changes produced when applying the message. A very important characteristic required in the definition of an agent is to be a social being accompanied by the idea of commitment with other members of the multi-agent system. Every statement transmitted, every request made, and every promise done are kept in a commitment store, through which, others agents can create a profile or set of backgrounds from which it is possible to reason. Besides it is necessary to consider the problems introduced by the transmission, such as delays and misled messages, which are likely to foster differences among the interlocutors perceptions. It is essential the existace of specific conditions to ensure that all agents have the same observations. That is to say; if someone is a creditor of a commitment, the corresponding debtor assumes himself as such. The situation in which the commitments are aligned, is desirable. Therefore, it is convenient to establish the conditions for the system to evolve in the direction of the alignment. In order to achieve that the agents can succesfully communicate, it is necessary that they reason. In the pursuit of ful lling their goals, agents must overcome situations of conflict, such as diferences in individual points of view in which communication is a means that helps. The dialogue has a very well known tradition to reach agreements, for example, between a feudal and his vassal or in legal matters. Clear rules are required to motivate the progress in the potential resolution accepted by the parties, rules by which it is possible to reason, make statements, demand arguments or propose counterarguments. These ruling environments are known as dialogue games in which different types of logics are used to support the inferences obtained, while the exchange of messages progresses. In this context, persuasion is of a particular interest among independent agents who maintain occasional interactions. This may be the case of soldiers in the fictional context introduced to recreate the examples.

Se presenta una introduccién a la simulacién de sistemas complejos por medio de un modelo basado en agentes (MBA) para todo aquel interesado en responder preguntas sobre sistemas complejos envueltos en contextos sociales y de ingenieria. Esta investigacién se conducira por medio de aplicaciones en el campo de la ingenieria para ilustrar e1 potencial de la metodologia del MBA y asi entender Como usar esta metodologia en aplicaciones futuras. El Capitulo 1 presenta la introduccién, objetivos, esquema del estudio y la contribucién del trabajo de investigacién como herramienta fitil a tener en cuenta durante la toma de decisiones de politicas pfiblicas. El Capitulo 2 presenta el primer articulo cientifico titulado: Assessing the Use of Recycled Concrete Via Agent-Based Model. A Peruvian Perspective, que plantea el uso de un modelo basado en agentes para simular e1 sector de construccién de proyectos pfiblicos para un caso de estudio en la Region Piura. E1 Capitulo 3 presenta e1 estudio titulado: Understanding the recycled solid waste collection based on agents, el cual explora e1 impacto del nivel de segregacién de los residentes en el porcentaje de bolsas recicladas recolectadas. El Capitulo 4 muestra e1 segundo articulo cientifico titulado: Human evacuation for tsunamis using agent-based model. A Peruvian case, cuyo objetivo es mostrar e1 proceso de evacuacién de las personas frente a1 riesgo de tsunamis tomando como caso de estudio al distrito de Mancora. Tiene como producto final la mejora del mapa de evacuacién por medio del analisis del indice de Capacidad—Demanda (CDI). Finalmente, se lleva a cabo una discusién general sobre la aplicacién de modernas tecnologias para el estudio de sistemas complejos; asi como su aplicacién para futuras investigaciones. / Tesis

Este trabalho reside no campo de sistemas multiagente (MAS) compostos por agentes inteligentes que são capazes de usar protocolos de comunicação da Internet. Uma plataforma multiagente é um software ou framework capaz de gerenciar múltiplos aspectos da execução de agentes e suas interações. Muitas plataformas MAS foram desenvolvidas nos últimos anos, todas elas compatíveis com padrões de desenvolvimento de sistemas interoperáveis em diferentes níveis. Nos últimos anos,novas linguagens de programação foram definidas e novos protocolos foram adotados para comunicação em sistemas distribuídos. Esses fatos também influenciaram a comunidade multiagente,com a proposição de novas plataformas para apoiar o desenvolvimento de sistemas multiagente. Além disso, a adoção de agentes como paradigma para o desenvolvimento de sistemas distribuídos complexos em larga escala é vista como uma solução interessante na era do grande volume de dados. Portanto, uma comparação entre as plataformas existentes e seu suporte para desenvolver e implantar com eficiência sistemas multiagente de grande escala pode beneficiar a comunidade de desenvolvedores interessada em escolher qual plataforma melhor se adapta a seus projetos. O objetivo deste trabalho é avaliar plataformas multiagente em relação à escalabilidade, desempenho e compatibilidade com outras tecnologias com o objetivo de facilitar a escolha do desenvolvedor que queira projetar Sistemas Multiagente de grande porte. A fim de escolher as plataformas MAS para a comparação proposta, são consideradas plataformas de código aberto que são ativamente utilizadas pela comunidade multiagente. Além disso, tais plataformas MAS devem ser capazes de oferecer uma implantação de forma distribuída, característica essencial de sistemas escaláveis. Depois de restringir a lista de plataformas MAS de acordo com esses critérios, são analisados os sistemas de transporte de mensagens utilizando benchmarks para análise de escalabilidade e desempenho, considerando diferentes cenários de comunicação. Por fim, é apresentado um cenário realístico onde um MAS escalável pode ser adotado como solução. / This work resides in the field of multiagent systems (MAS) composed of intelligent agents that are able to use Internet communication protocols. A multiagent platform is a software or framework capable of managing multiple aspects of the agent execution and their interactions. In the recent years, many MAS platforms have been developed, all of them compliant with interoperable system development standards at different levels. Also, new programming languages have been defined and new protocols have been adopted for communication in distributed systems. These facts also influenced the multiagent community with the proposition of new platforms to support the development of multiagent systems. In addition, the adoption of agents as a paradigm for the development of large scale complex distributed systems is seen as an interesting solution in the era of big data. Therefore, a comparison between existing platforms and their support for efficiently developing and deploying large scale multiagent systems can benefit the developer community interested in choosing which platform best fits their projects. The purpose of this work is evaluate multiagent platforms for scalability, performance and compatibility with other technologies in order to facilitate the choice of the developer that wants design large scale multiagent systems. In order to choose MAS platforms for the proposed comparison, are considered open source platforms that are actively used by the multiagent community. Moreover, these MAS platforms should be able to provide a deployment in a distributed manner, essential characteristic of scalable systems. After narrowing the list of MAS platforms according to these criteria, message transport systems are analyzed using benchmarks for scalability and performance comparison, considering different communication scenarios. Finally, a realistic scenario is presented where a scalable MAS can be adopted as a solution.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2018-03-06T16:26:14Z No. of bitstreams: 1 2017_LeonardoHenriqueMoreira.pdf: 1690592 bytes, checksum: e6528f291ca601089ce0d3f64309f5ca (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-03-07T15:45:35Z (GMT) No. of bitstreams: 1 2017_LeonardoHenriqueMoreira.pdf: 1690592 bytes, checksum: e6528f291ca601089ce0d3f64309f5ca (MD5) / Made available in DSpace on 2018-03-07T15:45:35Z (GMT). No. of bitstreams: 1 2017_LeonardoHenriqueMoreira.pdf: 1690592 bytes, checksum: e6528f291ca601089ce0d3f64309f5ca (MD5) Previous issue date: 2018-03-07 / Planejamento multiagente é um tema desafiador e atual na área de pesquisa de Inteligência Artificial. A complexidade e necessidade de interação entre os agentes tem como consequência elevados valores para métricas relacionadas ao tempo de execução e volume de comunicação. Considerando esses fatores como interessantes questões de pesquisa, esse trabalho propõe um modelo de planejamento multiagente com verificação, transformação e validação de planos. O modelo proposto foi denominado LCMAP - Lightweigth Coordination Multiagent Planning, por utilizar um modelo de coordenação eficiente reduzindo o nível de troca de mensagens entre os agentes. No LCMAP a verificação e transformação do problema são realizadas em uma fase inicial, com o intuito de facilitar o processo de planejamento diminuindo a interação entre os agentes. As capacidades dos agentes são analisadas quanto à possibilidade de atingirem os objetivos de forma total ou parcial. Para simplificar o problema original, o mesmo é transformado em um conjunto de instâncias menores através da atribuição dos objetivos aos agentes com as capacidades necessárias. Desta forma, o processo de planejamento é realizado de maneira individual, minimizando o tempo necessário e o volume de mensagens trocadas. Por fim, os planos calculados são validados, garantindo que suas execuções possam ocorrer de maneira paralela. As principais contribuições do trabalho incluem: (i) realização de testes antes da fase de planejamento para avaliar a possibilidade de encontrar uma solução; (ii) utilização de técnicas de execução paralela, sendo este aspecto pouco explorado nos trabalhos relacionados; e (iii) alocação eficiente dos recursos disponíveis através de estratégias que visam minimizar o número de agentes ou balancear a carga entre os mesmos. / Multiagent planning is a challenging and modern theme in the Artificial Intelligence research area. The complexity and requirements of interactions among agents lead to high values of metrics related to execution time and communication volume. Concerning these points as interesting research questions, this work proposes a multiagent planning model with plan verification, transformation, and validation. The proposal was defined as LCMAP - Lightweight Coordination Multiagent Planning due to its use of an efficient coordination process that aims to reduce the message exchanged level among agents. In LCMAP, the problem verification and validation are carried out in an initial phase in order to ease the planning process by diminishing agent interactions. The agent’s capabilities are analyzed about the possibility of reaching the goals in a total or partial way. The original problem is transformed to smaller instances set by assigning goals to agents with the required capabilities. In this sense, the planning process is performed in an individual way, minimizing the necessary time and the message exchanged volume. Finally, the plans found are validated in order to grant that their executions can occur parallel. The main contributions of these works include: (i) tests carried out before the planning phase in order to evaluate the possibility of finding a solution; (ii) use of parallel execution techniques, which are rarely exploited in related works; and (iii) efficient allocation of available resources using strategies that aim to minimize the number of agents or balance the load among them.