Agentes inteligentes como objectos dum sistema distribuído de realidade virtual

Abstract

O objectivo deste trabalho passa pela descrição, análise e verificação de sociedades abertas e globais de entidades heterogéneas denominadas agentes ou computees, que são para ser entendidas como os blocos constituintes de Sistemas Distribuídos de Realidade Virtual. São entidades computacionais, ricas em conhecimento, que apresentam funcionalidades sofisticadas, tais como o planeamento, a reactividade, a assimilação de conhecimento, a cooperação, a comunicação e a negociação. Na realidade, as intenções do projecto consistem em oferecer modelos lógicos e computacionais, assim como implementar arquétipos dessas entidades e das suas sociedades, que interactuem no contexto de um enquadramento global e aberto. As sociedades de agentes ou computees podem espelhar uma variedade de sociedades humanas, tais como sociedades comerciais, com ênfase nos padrões de comportamento e nas responsabilidades, ou sociedades mais burocratizadas, tais como aquelas que lidam com o Direito, com papeis pré-definidos, obrigações e regras de comunicação específicas. Os modelos das entidades, assim como os seus padrões de comportamento, são verificáveis; de facto, a motivação principal deste trabalho aponta para a identificação, especificação e verificação de propriedades desejáveis de tais modelos. Por outro lado, neste projecto, pretende-se estabelecer, numa base teórica forte, o desenho de uma arquitectura global para agentes ou computees, que permita tratar o conhecimento, as crenças e as intenções, e baseada ou edificada sobre a solidez da programação em lógica.

This work has as objective the description, analysis and verification of global and open societies of heterogeneous agents or computees, that are to be understood as the building blocks of Virtual Reality Distributed Systems. These are knowledge rich computational entities that present a number of sophisticated functionalities such as planning, reacting, knowledge assimilation, cooperation, coordination, communication and negotiation. Indeed, the aims of the project are to provide computational and logical models, and prototype implementations of such entities and their societies interacting in the context of an open and global environment. Societies of agents or computees can mirror varieties of human societies, such as trading organization emerging behaviour patterns and responsibilities, or more tightly organized societies such that the ones dealing with The Law, with predefined roles and obligations, and communication rules. The models of entities and their interaction and behaviour patterns are variable: indeed, one of the main aims of this work was to identify, specify and verify desirable properties of such models. In the other hand, this project also aims to establish, on a sound theoretical basis, the design of an overall architecture for agents or computees comprising knowledge, beliefs and intentions, based on, and building on the strengths of logic programming.