Formalization of Interaction Events in Multi-agent Systems

The problem of the description of interaction between spatially divided agents in the form of dialogues is explored. The concept of processes synchronization is analyzed to formalize the specification of interaction at the level of events constituting the processes. The approach to formalization of the description of conditions of synchronization when both the independent behavior and the communications of agents can be presented at a logic level is offered. It is shown, that the collective behavior of agents can be specified by the synthetic temporal logic that unites linear and branching time temporal logics.

Developing Agent Interaction Protocols with PRALU

The purpose of the paper is to explore the possibility of applying existing formal theories of description and design of distributed and concurrent systems to interaction protocols for real-time multi-agent systems. In particular it is shown how the language PRALU, proposed for description of parallel logical control algorithms and rooted in the Petri net formalism, can be used for the modeling of complex concurrent conversations between agents in a multi-agent system. It is demonstrated with a known example of English auction on how to specify an agent interaction protocol using considered means.

Contratos bilaterais em mercados multi-agente de energia eléctrica: protocolo de ofertas alternadas

A liberalização do sector eléctrico, e a consequente criação de mercados de energia eléctrica regulados e liberalizados, mudou a forma de comercialização da electricidade. Em particular, permitiu a entrada de empresas nas actividades de produção e comercialização, aumentando a competitividade e assegurando a liberdade de escolha dos consumidores, para decidir o fornecedor de electricidade que pretenderem. A competitividade no sector eléctrico aumentou a necessidade das empresas que o integram a proporem preços mais aliciantes (do que os preços propostos pelos concorrentes), e contribuiu para o desenvolvimento de estratégias de mercado que atraiam mais clientes e aumentem a eficiência energética e económica. A comercialização de electricidade pode ser realizada em mercados organizados ou através de contratação directa entre comercializadores e consumidores, utilizando os contratos bilaterais físicos. Estes contratos permitem a negociação dos preços de electricidade entre os comercializadores e os consumidores. Actualmente, existem várias ferramentas computacionais para fazer a simulação de mercados de energia eléctrica. Os simuladores existentes permitem simulações de transacções em bolsas de energia, negociação de preços através de contratos bilaterais, e análises técnicas a redes de energia. No entanto, devido à complexidade dos sistemas eléctricos, esses simuladores apresentam algumas limitações. Esta dissertação apresenta um simulador de contratos bilaterais em mercados de energia eléctrica, sendo dando ênfase a um protocolo de ofertas alternadas, desenvolvido através da tecnologia multi-agente. Em termos sucintos, um protocolo de ofertas alternadas é um protocolo de interacção que define as regras da negociação entre um agente vendedor (por exemplo um retalhista) e um agente comprador (por exemplo um consumidor final). Aplicou-se o simulador na resolução de um caso prático, baseado em dados reais. Os resultados obtidos permitem concluir que o simulador, apesar de simplificado, pode ser uma ferramenta importante na ajuda à tomada de decisões inerentes à negociação de contratos bilaterais em mercados de electricidade.

Personalised Advertising Supported by Agents

This paper reports the development of a B2B platform for the personalization of the publicity transmitted during the program intervals. The platform as a whole must ensure that the intervals are filled with ads compatible with the profile, context and expressed interests of the viewers. The platform acts as an electronic marketplace for advertising agencies (content producer companies) and multimedia content providers (content distribution companies). The companies, once registered at the platform, are represented by agents who negotiate automatically the price of the interval timeslots according to the specified price range and adaptation behaviour. The candidate ads for a given viewer interval are selected through a matching mechanism between ad, viewer and the current context (program being watched) profiles. The overall architecture of the platform consists of a multiagent system organized into three layers consisting of: (i) interface agents that interact with companies; (ii) enterprise agents that model the companies, and (iii) delegate agents that negotiate a specific ad or interval. The negotiation follows a variant of the Iterated Contract Net Interaction Protocol (ICNIP) and is based on the price/s offered by the advertising agencies to occupy the viewer’s interval.

Adaptive business intelligence for an open negotiation environment

Engineering of negotiation model allows to develop effective heuristic for business intelligence. Digital ecosystems demand open negotiation models. To define in advance effective heuristics is not compliant with the requirement of openness. The new challenge is to develop business intelligence in advance exploiting an adaptive approach. The idea is to learn business strategy once new negotiation model rise in the e-market arena. In this paper we present how recommendation technology may be deployed in an open negotiation environment where the interaction protocol models are not known in advance. The solution we propose is delivered as part of the ONE Platform, open source software that implements a fully distributed open environment for business negotiation

Adaptive business intelligence for an open negotiation environment

Engineering of negotiation model allows to develop effective heuristic for business intelligence. Digital ecosystems demand open negotiation models. To define in advance effective heuristics is not compliant with the requirement of openness. The new challenge is to develop business intelligence in advance exploiting an adaptive approach. The idea is to learn business strategy once new negotiation model rise in the e-market arena. In this paper we present how recommendation technology may be deployed in an open negotiation environment where the interaction protocol models are not known in advance. The solution we propose is delivered as part of the ONE Platform, open source software that implements a fully distributed open environment for business negotiation

Effects of resistance training on the performance of activities of daily living in patients with Alzheimer's disease

Aim: The objective of this study was to investigate the effects of resistance training in activities of daily living performance in Alzheimer's disease (AD) patients. Methods: An exploratory and longitudinal study, lasting for 16weeks, with the participation of 34 patients divided equally in: the training group (TG), who participated in a resistance training protocol (three sets of 20 repetitions in five exercises); and the social gathering group (SGG), who participated in a social interaction protocol (i.e. group dynamics, writing and reading activities). Results: We observed significant differences between the groups in moving around the house, climbing stairs, standing up from the floor and putting on socks tests. Conclusion: This study showed that resistance training improves agility, lower limb strength, balance and flexibility in AD patients, while SGG protocol is important to improve the agility. © 2012 Japan Geriatrics Society.

Desenvolvimento neuropsicomotor de crianças de um ano atendidas em unidades de ESF: fatores de risco e proteção

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Modelo de arquitectura para gestión cooperativa de sistemas y servicios distribuidos basado en agentes autónomos

La creciente complejidad, heterogeneidad y dinamismo inherente a las redes de telecomunicaciones, los sistemas distribuidos y los servicios avanzados de información y comunicación emergentes, así como el incremento de su criticidad e importancia estratégica, requieren la adopción de tecnologías cada vez más sofisticadas para su gestión, su coordinación y su integración por parte de los operadores de red, los proveedores de servicio y las empresas, como usuarios finales de los mismos, con el fin de garantizar niveles adecuados de funcionalidad, rendimiento y fiabilidad. Las estrategias de gestión adoptadas tradicionalmente adolecen de seguir modelos excesivamente estáticos y centralizados, con un elevado componente de supervisión y difícilmente escalables. La acuciante necesidad por flexibilizar esta gestión y hacerla a la vez más escalable y robusta, ha provocado en los últimos años un considerable interés por desarrollar nuevos paradigmas basados en modelos jerárquicos y distribuidos, como evolución natural de los primeros modelos jerárquicos débilmente distribuidos que sucedieron al paradigma centralizado. Se crean así nuevos modelos como son los basados en Gestión por Delegación, en el paradigma de código móvil, en las tecnologías de objetos distribuidos y en los servicios web. Estas alternativas se han mostrado enormemente robustas, flexibles y escalables frente a las estrategias tradicionales de gestión, pero continúan sin resolver aún muchos problemas. Las líneas actuales de investigación parten del hecho de que muchos problemas de robustez, escalabilidad y flexibilidad continúan sin ser resueltos por el paradigma jerárquico-distribuido, y abogan por la migración hacia un paradigma cooperativo fuertemente distribuido. Estas líneas tienen su germen en la Inteligencia Artificial Distribuida (DAI) y, más concretamente, en el paradigma de agentes autónomos y en los Sistemas Multi-agente (MAS). Todas ellas se perfilan en torno a un conjunto de objetivos que pueden resumirse en alcanzar un mayor grado de autonomía en la funcionalidad de la gestión y una mayor capacidad de autoconfiguración que resuelva los problemas de escalabilidad y la necesidad de supervisión presentes en los sistemas actuales, evolucionar hacia técnicas de control fuertemente distribuido y cooperativo guiado por la meta y dotar de una mayor riqueza semántica a los modelos de información. Cada vez más investigadores están empezando a utilizar agentes para la gestión de redes y sistemas distribuidos. Sin embargo, los límites establecidos en sus trabajos entre agentes móviles (que siguen el paradigma de código móvil) y agentes autónomos (que realmente siguen el paradigma cooperativo) resultan difusos. Muchos de estos trabajos se centran en la utilización de agentes móviles, lo cual, al igual que ocurría con las técnicas de código móvil comentadas anteriormente, les permite dotar de un mayor componente dinámico al concepto tradicional de Gestión por Delegación. Con ello se consigue flexibilizar la gestión, distribuir la lógica de gestión cerca de los datos y distribuir el control. Sin embargo se permanece en el paradigma jerárquico distribuido. Si bien continúa sin definirse aún una arquitectura de gestión fiel al paradigma cooperativo fuertemente distribuido, estas líneas de investigación han puesto de manifiesto serios problemas de adecuación en los modelos de información, comunicación y organizativo de las arquitecturas de gestión existentes. En este contexto, la tesis presenta un modelo de arquitectura para gestión holónica de sistemas y servicios distribuidos mediante sociedades de agentes autónomos, cuyos objetivos fundamentales son el incremento del grado de automatización asociado a las tareas de gestión, el aumento de la escalabilidad de las soluciones de gestión, soporte para delegación tanto por dominios como por macro-tareas, y un alto grado de interoperabilidad en entornos abiertos. A partir de estos objetivos se ha desarrollado un modelo de información formal de tipo semántico, basado en lógica descriptiva que permite un mayor grado de automatización en la gestión en base a la utilización de agentes autónomos racionales, capaces de razonar, inferir e integrar de forma dinámica conocimiento y servicios conceptualizados mediante el modelo CIM y formalizados a nivel semántico mediante lógica descriptiva. El modelo de información incluye además un “mapping” a nivel de meta-modelo de CIM al lenguaje de especificación de ontologías OWL, que supone un significativo avance en el área de la representación y el intercambio basado en XML de modelos y meta-información. A nivel de interacción, el modelo aporta un lenguaje de especificación formal de conversaciones entre agentes basado en la teoría de actos ilocucionales y aporta una semántica operacional para dicho lenguaje que facilita la labor de verificación de propiedades formales asociadas al protocolo de interacción. Se ha desarrollado también un modelo de organización holónico y orientado a roles cuyas principales características están alineadas con las demandadas por los servicios distribuidos emergentes e incluyen la ausencia de control central, capacidades de reestructuración dinámica, capacidades de cooperación, y facilidades de adaptación a diferentes culturas organizativas. El modelo incluye un submodelo normativo adecuado al carácter autónomo de los holones de gestión y basado en las lógicas modales deontológica y de acción.---ABSTRACT---The growing complexity, heterogeneity and dynamism inherent in telecommunications networks, distributed systems and the emerging advanced information and communication services, as well as their increased criticality and strategic importance, calls for the adoption of increasingly more sophisticated technologies for their management, coordination and integration by network operators, service providers and end-user companies to assure adequate levels of functionality, performance and reliability. The management strategies adopted traditionally follow models that are too static and centralised, have a high supervision component and are difficult to scale. The pressing need to flexibilise management and, at the same time, make it more scalable and robust recently led to a lot of interest in developing new paradigms based on hierarchical and distributed models, as a natural evolution from the first weakly distributed hierarchical models that succeeded the centralised paradigm. Thus new models based on management by delegation, the mobile code paradigm, distributed objects and web services came into being. These alternatives have turned out to be enormously robust, flexible and scalable as compared with the traditional management strategies. However, many problems still remain to be solved. Current research lines assume that the distributed hierarchical paradigm has as yet failed to solve many of the problems related to robustness, scalability and flexibility and advocate migration towards a strongly distributed cooperative paradigm. These lines of research were spawned by Distributed Artificial Intelligence (DAI) and, specifically, the autonomous agent paradigm and Multi-Agent Systems (MAS). They all revolve around a series of objectives, which can be summarised as achieving greater management functionality autonomy and a greater self-configuration capability, which solves the problems of scalability and the need for supervision that plague current systems, evolving towards strongly distributed and goal-driven cooperative control techniques and semantically enhancing information models. More and more researchers are starting to use agents for network and distributed systems management. However, the boundaries established in their work between mobile agents (that follow the mobile code paradigm) and autonomous agents (that really follow the cooperative paradigm) are fuzzy. Many of these approximations focus on the use of mobile agents, which, as was the case with the above-mentioned mobile code techniques, means that they can inject more dynamism into the traditional concept of management by delegation. Accordingly, they are able to flexibilise management, distribute management logic about data and distribute control. However, they remain within the distributed hierarchical paradigm. While a management architecture faithful to the strongly distributed cooperative paradigm has yet to be defined, these lines of research have revealed that the information, communication and organisation models of existing management architectures are far from adequate. In this context, this dissertation presents an architectural model for the holonic management of distributed systems and services through autonomous agent societies. The main objectives of this model are to raise the level of management task automation, increase the scalability of management solutions, provide support for delegation by both domains and macro-tasks and achieve a high level of interoperability in open environments. Bearing in mind these objectives, a descriptive logic-based formal semantic information model has been developed, which increases management automation by using rational autonomous agents capable of reasoning, inferring and dynamically integrating knowledge and services conceptualised by means of the CIM model and formalised at the semantic level by means of descriptive logic. The information model also includes a mapping, at the CIM metamodel level, to the OWL ontology specification language, which amounts to a significant advance in the field of XML-based model and metainformation representation and exchange. At the interaction level, the model introduces a formal specification language (ACSL) of conversations between agents based on speech act theory and contributes an operational semantics for this language that eases the task of verifying formal properties associated with the interaction protocol. A role-oriented holonic organisational model has also been developed, whose main features meet the requirements demanded by emerging distributed services, including no centralised control, dynamic restructuring capabilities, cooperative skills and facilities for adaptation to different organisational cultures. The model includes a normative submodel adapted to management holon autonomy and based on the deontic and action modal logics.

Cultural Consonance, a 5HT2A Receptor Polymorphism, and Depressive Symptoms: A Longitudinal Study of Gene x Culture Interaction in Urban Brazil

In this study in urban Brazil we examine, as a predictor of depressive symptoms, the interaction between a single nucleotide polymorphism in the 2A receptor in the serotonin system (-1438G/A) and cultural consonance in family life, a measure of the degree to which an individual perceives her family as corresponding to a widely shared cultural model of the prototypical family. A community sample of 144 adults was followed over a 2-year-period. Cultural consonance in family life was assessed by linking individuals` perceptions of their own families with a shared cultural model of the family derived from cultural consensus analysis. The -1438G/A polymorphism in the 2A serotonin receptor was genotyped using a standard protocol for DNA extracted from leukocytes. Covariates included age, sex, socioeconomic status, and stressful life events. Cultural consonance in family life was prospectively associated with depressive symptoms. In addition, the interaction between genotype and cultural consonance in family life was significant. For individuals with the A/A variant of the -1438G/A polymorphism of the 2A receptor gene, the effect of cultural consonance in family life on depressive symptoms over a 2-year-period was larger (beta = -0.533, P < 0.01) than those effects for individuals with either the G/A (beta = -0.280, P < 0.10) or G/G (beta = -0.272, P < 0.05) variants. These results are consistent with a process in which genotype moderates the effects of culturally meaningful social experience on depressive symptoms. Am. J. Hum. Biol. 21:91-97, 2009. (C) 2008 Wiley-Liss, Inc.

Equine chorionic gonadotropin and gonadotropin-releasing hormone enhance fertility in a norgestomet-based, timed artificial insemination protocol in suckled Nelore (Bos indicus) cows

Two experiments were conducted to investigate the effects of equine chorionic gonadotropin (eCG) at progestin removal and gonadotropin-releasing hormone (GnRH) at timed artificial insemination (TA!) on ovarian follicular dynamics (Experiment 1) and pregnancy rates (Experiment 2) in suckled Nelore (Bos indicus) cows. Both experiments were 2 x 2 factorials (eCG or No eCG, and GnRH or No GnRH), with identical treatments. In Experiment 1, 50 anestrous cows, 134.5 +/- 2.3 d postpartum, received a 3 mg norgestomet ear implant se, plus 3 mg norgestomet and 5 mg estradiol valerate im on Day 0. The implant was removed on Day 9, with TAI 54 h later. Cows received 400 IU eCG or no further treatment on Day 9 and GnRH (100 mu g gonadorelin) or no further treatment at TAI. Treatment with eCG increased the growth rate of the largest follicle from Days 9 to 11 (means +/- SEM, 1.53 +/- 0.1 vs. 0.48 +/- 0.1 mm/d; P < 0.0001), its diameter on Day 11(11.4 +/- 0.6 vs. 9.3 +/- 0.7 mm; P = 0.03), as well as ovulation rate (80.8% vs. 50.0%, P = 0.02), whereas GnRH improved the synchrony of ovulation (72.0 +/- 1.1 VS. 71.1 +/- 2.0 h). In Experiment 2 (n = 599 cows, 40 to 120 d postpartum), pregnancy rates differed (P = 0.004) among groups (27.6%, 40.1%, 47.7%, and 55.7% for Control. GnRH, eCG, and eCG + GnRH groups). Both eCG and GnRH improved pregnancy rates (51.7% vs. 318%, P = 0.002; and 48.0% vs 37.6%, P = 0.02, respectively), although their effects were not additive (no significant interaction). In conclusion, eCG at norgestomet implant removal increased the growth rate of the largest follicle (LF) from implant removal to TAI, the diameter of the LF at TAI, and rates of ovulation and pregnancy rates. Furthermore, GnRH at TAI improved the synchrony of ovulations and pregnancy rates in postpartum Nelore cows treated with a norgestomet-based TAI protocol. (C) 2010 Elsevier Inc. All rights reserved.

Recombinant expression of Munc18c in a baculovirus system and interaction with syntaxin4

Two protein families that are critical for vesicle transport are the Syntaxin and Munc18/Sec1. families of proteins. These two molecules form a high affinity complex and play an essential role in vesicle docking and fusion. Munc18c was expressed as an N-terminally His-tagged fusion protein from recombinant baculovirus in Sf9 insect cells. His-tagged Munc18c was purified to homogeneity using both cobalt-chelating affinity chromatography and gel filtration chromatography. With this simple two-step protocol, 3.5 mg of purified Munc18c was obtained from a 1 L culture. Further, the N-terminal His-tag could be removed by thrombin cleavage while the tagged protein was bound to metal affinity resin. Recombinant Munc18c produced in this way is functional, in that it forms a stable complex with the SNARE interacting partner, syntaxin4. Thus we have developed a method for producing and purifying large amounts of functional Munc18c-both tagged and detagged-from a baculovirus expression system. We have also developed a method to purify the Munc18c:syntaxin4 complex. These methods will be employed for future functional and structural studies. Crown copyright (C) 2003 Published by Elsevier Inc. All rights reserved.

Efficient implementation of a dominance protocol for wireless medium access

Mestrado em Engenharia Electrotécnica e de Computadores

SOLAP+: extending the interaction model

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfillment of the requirements for the degree of Master in Computer Science

Impact of a telenursing service on satisfaction and health outcomes of children with inflammatory rheumatic diseases and their families: a crossover randomized trial study protocol.

BACKGROUND: Pediatric rheumatic diseases have a significant impact on children's quality of life and family functioning. Disease control and management of the symptoms are important to minimize disability and pain. Specialist clinical nurses play a key role in supporting medical teams, recognizing poor disease control and the need for treatment changes, providing a resource to patients on treatment options and access to additional support and advice, and identifying best practices to achieve optimal outcomes for patients and their families. This highlights the importance of investigating follow-up telenursing (TN) consultations with experienced, specialist clinical nurses in rheumatology to provide this support to children and their families. METHODS/DESIGN: This randomized crossover, experimental longitudinal study will compare the effects of standard care against a novel telenursing consultation on children's and family outcomes. It will examine children below 16 years old, recently diagnosed with inflammatory rheumatic diseases, who attend the pediatric rheumatology outpatient clinic of a tertiary referral hospital in western Switzerland, and one of their parents. The telenursing consultation, at least once a month, by a qualified, experienced, specialist nurse in pediatric rheumatology will consist of providing affective support, health information, and aid to decision-making. Cox's Interaction Model of Client Health Behavior serves as the theoretical framework for this study. The primary outcome measure is satisfaction and this will be assessed using mixed methods (quantitative and qualitative data). Secondary outcome measures include disease activity, quality of life, adherence to treatment, use of the telenursing service, and cost. We plan to enroll 56 children. DISCUSSION: The telenursing consultation is designed to support parents and children/adolescents during the course of the disease with regular follow-up. This project is novel because it is based on a theoretical standardized intervention, yet it allows for individualized care. We expect this trial to confirm the importance of support by a clinical specialist nurse in improving outcomes for children and adolescents with inflammatory rheumatisms. TRIAL REGISTRATION: ClinicalTrial.gov identifier: NCT01511341 (December 1st, 2012).