Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores - Major de Telecomunicações. Faculdade de Engenharia. Universidade do Porto. 2008

Tese de doutoramento. Engenharia Electrotécnica e de Computadores. 2005. Faculdade de Engenharia. Universidade do Porto

Tese de doutoramento. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2009

Magíster en Ciencias, Mención Computación / La tecnología de los agentes se ha convertido en la base de una gran cantidad de aplicaciones ya que permite la incorporación de bases de conocimiento de acciones y tareas para resolver problemas complejos. Por otro lado, se sabe que los Servidores Web se sustentan en el protocolo HTTP, protocolo que solo permite las solicitudes y respuestas entre Cliente y Servidor y no delegar funciones a otros Servidores separados geográficamente. Esta investigación consiste en un estudio exploratorio del concepto de la delegación en el contexto de la Web, donde agentes que residen en diferentes Servidores Web puedan cooperan entre sí para resolver tareas complejas. Para ello, se propone un lenguaje de especificación para la delegación de tareas en Servidores Web mediante agentes, con propiedades necesarias para su autonomía y que puedan ser utilizados con flexibilidad en entornos distribuidos bajo la restricción del protocolo de comunicación HTTP. En primer lugar, se presenta el modelo abstracto de la delegación en el entorno de la Web y los componentes necesarios para la elaboración del lenguaje especificación propuesto, mediante la definición de acciones básicas y opcionales que son implementadas por los agentes participantes en el proceso de la delegación. En segundo lugar, como caso de estudio, se desarrolla la implementación de NautiLOD de manera distribuida mediante agentes. NautiLOD es un lenguaje de expresión declarativo que está diseñado para especificar patrones de navegación en la red Linked Open Data, donde sus primeras propuestas de implementación han sido con un enfoque centralizado. En un tercer lugar, se presenta Agent Server, una plataforma flexible y escalable para Sistema MultiAgentes basados en el ambiente de la Web, desarrollado bajo los principios de REST, que permite gestionar agentes distribuidos. La principal conclusión de la tesis es la validación del lenguaje de especificación en una plataforma homogénea como es Linked Data que gracias a su semántica permite a los agentes procesar su contenido, razonar sobre este y realizar deducciones lógicas. Esto se realizó con consultas propias en los Endpoints SPARQL expresados en NautiLOD.

El presente trabajo busca desarrollar un modelo y un prototipo del sistema multi-agente para medir la confiabilidad, disponibilidad y fiabilidad de un sistema ERP. Se describe cómo se monitorea, actualmente, los sistemas ERP, sea manualmente o con apoyo de otros sistemas; se menciona cuales son los roles que actualmente administran cada uno de estos sistemas; se muestra el problema actual de manera gráfica; se formula el problema; se detalla los objetivos del presente trabajo; se muestra gráficamente la solución final al problema; se determina la justificación del presente trabajo; se muestra los procedimientos actuales utilizados para resolver parcialmente el problema y se identifica los programas de software que dan solución parcial al problema, siendo los más usados por las empresas; se detalla la funcionalidad de los sistemas ERP; se revisa los sistemas ERP, el posicionamiento mundial de estos sistemas; se explica la teoría de sistemas críticos y la metodología de construcción de agentes Zeus así como su utilización en el desarrollo de los agentes del presente trabajo; se explica detalladamente la identificación de indicadores de desempeño del sistema ERP; se detalla el modelamiento de cada uno de los agentes de software utilizados en el desarrollo del sistema CODA utilizando la metodología Ingenias; se detalla la implementación de la aplicación sistema CODA y finalmente; se detalla las conclusiones y trabajos futuros. / Multi-agent system to measure the trustworthiness, availability and reliability of an ERP system”. This article aims to describe a system model and a software named system CODA, which is intended to recover information from the main server where is installed the Enterprise Resource Planning System (ERP Baan IV), the data base (Oracle) and the operating system (AIX), those tasks are performed by software agents, then this information will be processed and validated by the agents, finally the critical information is send to the system “CODA”; this system has two sub systems, the Intranet sub system will be managed by an Administrator, who will coordinate the creation of the indicators, maintain the users and clients, the parameters, basic tables. The Extranet sub system will be used by the clients (General Manager, Operations Manager, Information Manager), they will see graphs for each indicator defined in the system, also they will see how the system is running and also if there are problems, they can drill down the problems and see the detail. The system send mails and alerts to the technical persons who will solve the problems, each mail is associated with the error code, a description called “sintoma”, the real problem and a propose solution, when a new problem appears the administrator must add the solution to the data base, so if in the future the problem occurs, the system propose the solution.

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção / Made available in DSpace on 2012-10-18T01:40:38Z (GMT). No. of bitstreams: 1 174060.pdf: 613416 bytes, checksum: e3cf7c64480c99fe41da01b2e2add917 (MD5) / O objetivo deste trabalho é desenvolver um processo de inteligência competitiva, utilizando a Internet como ferramenta, e aplicá-lo em um estudo multicaso. Este objetivo decorre da questão: como tornar a Internet uma ferramenta efetiva para a inteligência competitiva? A metodologia foi desenvolvida em 3 etapas: 1. Fundamentação teórica e construção do modelo; 2. Aplicação em um estudo de caso, como projeto piloto, no Núcleo de Estudos em Inovação, Gestão e Tecnologia de Informação (IGTI) vinculado ao Programa de Pós-Graduação em Engenharia de Produção da Universidade Federal de Santa Catarina; 3. Verificação da aplicabilidade em 3 estudos de caso, nas organizações: Dígitro Tecnologia Ltda.; Associação Catarinense de Empresas de Tecnologia (ACATE) e o Laboratório de Automação, Controle e Otimização de Processos (LCP) vinculado ao Departamento de Engenharia Química e de Alimentos da Universidade Federal de Santa Catarina. Concluindo, pode-se afirmar que, pelos casos estudados, foi possível vislumbrar a possibilidade efetiva de utilização do processo proposto em diferentes tipos de organizações. Estes resultados confirmam a necessidade de formalização do uso da informação nas organizações.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-18T04:30:30Z (GMT). No. of bitstreams: 0

Resumo não disponível.

O presente trabalho investiga a relação entre aprendizado e dinâmica em sistemas complexos multiagentes. Fazemos isso através de estudos experimentais em um cenário de racionalidade limitada que situa-se na interesecção entre Inteligência Artificial, Economia e Física Estatística, conhecido como “Minority Game”. Apresentamos resultados experimentais sobre o jogo focando o estudo do cenário sob uma perspectiva de Aprendizado de Máquina. Introduzimos um novo algoritmo de aprendizado para os agentes no jogo, que chamamos de aprendizado criativo, e mostramos que este algoritmo induz uma distribuição mais eficiente de recursos entre os agentes. Este aumento de eficiência mostra-se resultante de uma busca irrestrita no espaço de estratégias que permitem uma maximização mais eficiente das distâncias entre estratégias. Analisamos então os efeitos dos parâmetros deste algoritmo no desempenho de um agente, comparando os resultados com o algoritmo tradicional de aprendizado e mostramos que o algoritmo proposto é mais eficiente que o tradicional na maioria das situações. Finalmente, investigamos como o tamanho de memória afeta o desempenho de agentes utilizando ambos algoritmos e concluímos que agentes individuais com tamanhos de memória maiores apenas obtém um aumento no desempenho se o sistema se encontrar em uma região ineficiente, enquanto que nas demais fases tais aumentos são irrelevantes - e mesmo danosos - à performance desses agentes.