Belief Revision in Multi-Agent Systems

The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption-based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which means that different agents can have different perspectives on the same fact provided that these stances are appropriately justified. The belief revision algorithm is presented, the meta-level code needed to ensure that all system-wide queries can be uniquely answered is described, and the DATMS’ implementation in a general purpose multi-agent shell is discussed.

Improving Assumption based Distributed Belief Revision

Belief revision is a critical issue in real world DAI applications. A Multi-Agent System not only has to cope with the intrinsic incompleteness and the constant change of the available knowledge (as in the case of its stand alone counterparts), but also has to deal with possible conflicts between the agents’ perspectives. Each semi-autonomous agent, designed as a combination of a problem solver – assumption based truth maintenance system (ATMS), was enriched with improved capabilities: a distributed context management facility allowing the user to dynamically focus on the more pertinent contexts, and a distributed belief revision algorithm with two levels of consistency. This work contributions include: (i) a concise representation of the shared external facts; (ii) a simple and innovative methodology to achieve distributed context management; and (iii) a reduced inter-agent data exchange format. The different levels of consistency adopted were based on the relevance of the data under consideration: higher relevance data (detected inconsistencies) was granted global consistency while less relevant data (system facts) was assigned local consistency. These abilities are fully supported by the ATMS standard functionalities.

Distributed Belief Revision and Environmental Decision Support

This article discusses the development of an Intelligent Distributed Environmental Decision Support System, built upon the association of a Multi-agent Belief Revision System with a Geographical Information System (GIS). The inherent multidisciplinary features of the involved expertises in the field of environmental management, the need to define clear policies that allow the synthesis of divergent perspectives, its systematic application, and the reduction of the costs and time that result from this integration, are the main reasons that motivate the proposal of this project. This paper is organised in two parts: in the first part we present and discuss the developed - Distributed Belief Revision Test-bed - DiBeRT; in the second part we analyse its application to the environmental decision support domain, with special emphasis on the interface with a GIS.

Distributed Belief Revision and Environmental Decision Support

This article discusses the development of an Intelligent Distributed Environmental Decision Support System, built upon the association of a Multi-agent Belief Revision System with a Geographical Information System (GIS). The inherent multidisciplinary features of the involved expertises in the field of environmental management, the need to define clear policies that allow the synthesis of divergent perspectives, its systematic application, and the reduction of the costs and time that result from this integration, are the main reasons that motivate the proposal of this project. This paper is organised in two parts: in the first part we present and discuss the developed ; in the second part we analyse its application to the environmental decision support domain, with special emphasis on the interface with a GIS.

Consistency and Context Management in a Multi Agent Belief Revision Testbed

Multi-agent architectures are well suited for complex inherently distributed problem solving domains. From the many challenging aspects that arise within this framework, a crucial one emerges: how to incorporate dynamic and conflicting agent beliefs? While the belief revision activity in a single agent scenario is concentrated on incorporating new information while preserving consistency, in a multi-agent system it also has to deal with possible conflicts between the agents perspectives. To provide an adequate framework, each agent, built as a combination of an assumption based belief revision system and a cooperation layer, was enriched with additional features: a distributed search control mechanism allowing dynamic context management, and a set of different distributed consistency methodologies. As a result, a Distributed Belief Revision Testbed (DiBeRT) was developed. This paper is a preliminary report presenting some of DiBeRT contributions: a concise representation of external beliefs; a simple and innovative methodology to achieve distributed context management; and a reduced inter-agent data exchange format.

Description of an injury in a human caused by a false tocandira (Dinoponera gigantea, Perty, 1833) with a revision on folkloric, pharmacological and clinical aspects of the giant ants of the genera Paraponera and Dinoponera (sub-family Ponerinae)

The authors observed an injury caused by the sting of a false tocandira ant in the hand of an amateur fisherman and they describe the clinical findings and the evolution of the envenoming, which presented an acute and violent pain, cold sweating, nausea, a vomiting episode, malaise, tachycardia and left axillary's lymphadenopathy. About three hours after the accident, still feeling intense pain in the place of the sting, he presented an episode of great amount of blood in the feces with no history of digestive, hematological or vascular problems. The intense pain decreased after eight hours, but the place stayed moderately painful for about 24 hours. In that moment, he presented small grade of local edema and erythema. The authors still present the folkloric, pharmacological and clinical aspects related to the tocandiras stings, a very interesting family of ants, which presents the largest and more venomous ants of the world.

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Manipulus Rubiacearum - V. A revision of the genus Capirona.

The taxonomic histort of the genus Capirona is presented. Complete synonymies, descriptions, common names, distributions and discussions are given for Capirona and its two species C. descorticans and C. leiophloea. The generic distribution is the Amazon valley and eastern Guianas and coincides with that of the genus Hevea. C. descorticans is know from the western and southeastern Amazon valley; C. leiophloea is reported from the eastern Guianas and the northeastern Amazon valley. The zone of contact between the two species is along the southern edge oh the Amazon River and the lower drainage of the Rio Tapajoz in Pará, Brazil.

Revision of the genus Macrostomus Wiedemann (Diptera: Empididae: Empidinae): II. The pictipennis species-group

All species of Macrostomus Wiedemann allied with Macrostomus pictipennis (Bezzi), are treated in the pictipennis species-group. Three currently recognized species and four new species are included, namely M. cervicicauda Smith, M. cysticercus Smith, M. manauara, sp. nov. from Brazil (Amazonas and Pará states), M. pacaraima, sp. nov. from Brazil (Roraima, Amazonas and Pará states), M. pictipennis (Bezzi), M. smithi, sp. nov. from Guyana and Brazil (Roraima State) and M. utinga, sp. nov. from Brazil (Pará State). All primary types were examined and a key to species is presented.

Modelo de Gestion Intersectorial para la formalización de villas, a partir de la revisión de normativa urbana, marco jurídico-político, y la innovación tecnológica de los recursos. Intersectorial management model for the formality of the illegal growth settles beginning from the revision of the urban norm, political - juridical, and the technological innovation of the resources.

El Proyecto que se presenta en esta convocatoria está relacionado con el diseño y desarrollo de procesos de gestión intersectorial para la reconversión formal del hábitat en asentamientos de crecimiento espontáneo e ilegal a partir de la la revisión de marcos legales y normativos respecto del derecho al uso de suelo urbano y la seguridad jurídica en la tenencia (regulación dominial) bajo un enfoque sustentable de los Derechos Humanos (DDHH) como así también a partir de la innovación tecnológica de los recursos para el mejoramiento habitacional en el marco de los aportes relacionados con la Responsabilidad Social Empresarial (RSE) .La originalidad, en este caso, se basa en la exploración de nuevos procesos de gestión mixta en los que intervienen diversos actores: ESTADO, SOCIEDAD, EMPRESA y COMUNIDAD CIENTIFICA, configurando un circuito intersectorial de gestión, capacitación y producción de hábitat que respondan al fortalecimiento del desarrollo comunitario, entendido como desarrollo económico con inclusión social y urbana.Los objetivos están relacionados con el fortalecimiento de la producción integral del hábitat social procurando el desarrollo genuino de las comunidades a partir de la expansión de sus capacidades y sus derechos.El presente proyecto de investigación explorará la producción de hábitat y de ciudad informal procurando reconvertirla hacia un modelo de gestión sustentable (normativo y tecnológico), basado en la necesidad de producir ciudadanía digna a partir de la construcción formal de hábitat.La propuesta del proyecto supone la participación intersectorial en la planificación formal y en la toma de decisiones para una inclusión social y económica, en el marco de un modelo de desarrollo de génesis inclusor, constituyéndose en un avance de conocimientos del propio campo disciplinar (hábitat) como así también de otros campos afines a los mismos (jurídico- social - económico- productivo- político ).

A partial revision of Paullinia (Sapindaceae) for Ecuador, Peru, and Bolivia, part I / Donald R. Simpson.

v.36:no.12(1976)