Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/30

TitleAgentes inteligentes como objectos dum sistema distribuído de realidade virtual
Author(s)Machado, José Manuel
Advisor(s)Neves, José Carlos Ferreira Maia
Issue date2001
Abstract(s)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.
TypeDoctoral thesis
DescriptionTese de doutoramento em Informática Industrial
URIhttp://hdl.handle.net/1822/30
AccessRestricted access (UMinho)
Appears in Collections:BUM - Teses de Doutoramento
DI/CCTC - Teses de Doutoramento (phd thesis)

Files in This Item:
File Description SizeFormat 
tesejmac.pdf
  Restricted access
2,3 MBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID