The goal of this thesis is twofold: first, we want to present the distributed belief accommodation and revision model for multi-agent systems that has been developed and, second, we wish to show its applicability to an appropriate domain. The Distributed Belief Accommodation & Revision model, called DeBAteR model, was developed for co-operative heterogeneous multi-agent systems used to model inherently dynamic distributed problems. In these systems, although the agents are able to detect changes both in the environment and in the problem specifications, each agent has only a partial view of the global picture. As a result the information that represents the current state of affairs is dynamic, incomplete and sometimes uncertain. This non-monotonic kind of data is called beliefs ? a belief is a piece of data that is held as correct as long as no contradicting evidence is found or presented. Each agent is expected to include an assumption based truth maintenance module for representing properly this type of data.
Our main effort was concentrated on the task of maintaining the system's information, which consists of updating, revising and accommodating the represented beliefs. Belief updating is necessary for including the changes detected by the agents both in the environment and/or in the problem specifications. Belief revision is essential for solving the inconsistencies detected among the represented beliefs. Belief accommodation and revision is crucial for integrating the multiple disparate perspectives regarding the same data items, which may occur whenever there is overlap of expertise domains between the agents.
In order to solve the information conflicts that result from the detection of inconsistencies between distinct beliefs or within multi-perspective beliefs we conceived the DeBATeR model. The DeBAteR is fully distributed, provides individual belief autonomy and is made of two methodologies: the pro-active belief accommodation and revision methodology and the delayed belief revision methodology. Whilst the first methodology is used to solve domain independent conflicts, the second methodology was devised for solving domain dependent conflicts. Both methodologies use argumentation for, in the case of the domain independent conflicts, choosing the most credible perspective between the existing multiple perspectives of a belief, and, in the case of the domain dependent conflicts, finding the best alternative belief support set for the affected concepts. These methodologies are distributed and their scope may be internal or collective. The DeBAteR model main contributions are: (i) the pro-active methodology conceived for solving domain independent conflicts and (ii) the capability, not only to represent and maintain individual beliefs and joint beliefs, but also to accommodate, rationally maintain and make use of multi-perspective beliefs.
Finally, we describe the developed decision support multi-agent system for choosing adequate project locations, called DIPLOMAT ? Dynamic and Interactive Project Location Test bed, which has the ability of accommodating and revising the represented beliefs according to the DeBAteR model methodologies. / O objectivo desta dissertação é duplo: por um lado, pretendemos dar a conhecer o modelo de revisão e acomodação de crenças para sistemas multi-agente por nós desenvolvido e, por outro, procuramos ilustrar a sua validade descrevendo a aplicação que realizámos. O modelo, designado DeBAteR ? Distributed Belief Accommodation & Revision, destina-se a sistemas multi-agente cooperativos e heterogéneos que modelam problemas inerentemente distribuídos e dinâmicos. Neste tipo de sistemas, a informação que representa o ambiente é dinâmica (os agentes possuem a capacidade de constatar alterações no ambiente e/ou nas condições do problema) e, muitas vezes, incompleta (os agentes possuem visões parcelares da realidade) e/ou incerta. Este tipo de informação, de carácter não definitivo, designa-se por crenças ? uma crença é uma convicção tida como correcta enquanto não for posta em causa por alguma evidência. Cada agente, a fim de representar e manipular crenças, foi enriquecido com um módulo específico de manutenção de consistência baseado em suposições.
O nosso esforço concentrou-se na tarefa de manutenção (actualização, revisão e acomodação) da informação do sistema. A actualização de crenças é essencial para incorporar as alterações que os agentes detectam no ambiente e/ou nas condições do problema. A revisão de crenças é indispensável para resolver inconsistências (conflitos) entre as crenças representadas. A acomodação e revisão simultânea de crenças é imprescindível para a integração das múltiplas perspectivas díspares que surgem em relação a um mesmo item de informação (crenças pluri-perspectiva) quando existe sobreposição de domínios de especialidade entre os agentes.
Para tentar solucionar estes conflitos entre crenças concebemos um modelo distribuído que assegura autonomia individual de crença. O modelo de acomodação e revisão de crenças DeBAteR é composto por duas metodologias: a metodologia pró-activa de acomodação e revisão de crenças pluri-perspectiva e a metodologia retardada de revisão de crenças. A primeira, destina-se a resolver conflitos independentes do domínio e a segunda destina-se à resolução de conflitos dependentes do domínio. Estas metodologias são suportadas quase integralmente por um sistema de argumentação que procura, no caso dos conflitos independentes do domínio, escolher a perspectiva mais credível e, no caso dos conflitos dependentes do domínio, encontrar o melhor conjunto alternativo de suporte para os conceitos afectados. Esta actividade é descentralizada e pode decorrer quer no âmbito intra-agente, quer no âmbito inter-agente. É ainda de realçar: (i) o carácter pró-activo da resolução dos conflitos independentes do domínio (crenças pluri-perspectiva) e (ii) a capacidade de, não só, representar e manter crenças de âmbito individual (crenças suportadas por apenas um agente) e crenças conjuntas (crenças suportadas por vários agentes), mas também, de sintetizar, manter racionalmente e utilizar crenças pluri-perspectiva.
Por último, descrevemos o sistema multi-agente de apoio à decisão no domínio da localização de empreendimentos desenvolvido, denominado DIPLOMAT ? Dynamic and Interactive Project Location Test bed, o qual possui a capacidade de acomodar e rever crenças de acordo com as metodologias concebidas no âmbito do modelo DeBAteR.
| Identifer | oai:union.ndltd.org:DITED/urn:dited:bn:29534 |
| Date | January 1999 |
| Creators | Malheiro, Maria Benedita Campos Neves |
| Contributors | Oliveira, Eugénio da Costa |
| Publisher | Instituições portuguesas -- UP-Universidade do Porto -- -Faculdade de Engenharia -- -Departamento de Engenharia Electrotécnica e de Computadores |
| Source Sets | National Library of Portugal DiTeD ETD Repository |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | phdthesis |
| Source | Porto |
Page generated in 0.0024 seconds