Modelling the Provenance of Data in Autonomous Systems

Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be demonstrably rigorous for the result to be deemed reliable. A provenance system supports applications in recording adequate documentation about process executions to answer queries regarding provenance, and provides functionality to perform those queries. Several provenance systems are being developed, but all focus on systems in which the components are textitreactive, for example Web Services that act on the basis of a request, job submission system, etc. This limitation means that questions regarding the motives of autonomous actors, or textitagents, in such systems remain unanswerable in the general case. Such questions include: who was ultimately responsible for a given effect, what was their reason for initiating the process and does the effect of a process match what was intended to occur by those initiating the process? In this paper, we address this limitation by integrating two solutions: a generic, re-usable framework for representing the provenance of data in service-oriented architectures and a model for describing the goal-oriented delegation and engagement of agents in multi-agent systems. Using these solutions, we present algorithms to answer common questions regarding responsibility and success of a process and evaluate the approach with a simulated healthcare example.

Technology diffusion: analysing the diffusion of agent technologies

Despite several examples of deployed agent systems, there remain barriers to the large-scale adoption of agent technologies. In order to understand these barriers, this paper considers aspects of marketing theory which deal with diffusion of innovations and their relevance to the agents domain and the current state of diffusion of agent technologies. In particular, the paper examines the role of standards in the adoption of new technologies, describes the agent standards landscape, and compares the development and diffusion of agent technologies with that of object-oriented programming. The paper also reports on a simulation model developed in order to consider different trajectories for the adoption of agent technologies, with trajectories based on various assumptions regarding industry structure and the existence of competing technology standards. We present details of the simulation model and its assumptions, along with the results of the simulation exercises.

Extending Agent Languages for Autonomy

BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents with a static plan library of behaviours invoked reactively. These languages provide a theoretically sound basis for agent design but are very limited in providing direct support for autonomy and societal cooperation needed for large scale systems. Some techniques for autonomy and cooperation have been explored in the past in ad hoc implementations, but not incorporated in any agent language. In order to address these shortcomings we extend the well known AgentSpeak(L) BDI agent language to include behaviour generation through planning, declarative goals and motivated goal adoption. We also develop a language-specific multiagent cooperation scheme and, to address potential problems arising from autonomy in a multiagent system, we extend our agents with a mechanism for norm processing leveraging existing theoretical work. These extensions allow for greater autonomy in the resulting systems, enabling them to synthesise new behaviours at runtime and to cooperate in non-scripted patterns.

Modelling and Administration of Contract-Based Systems

Mirroring the paper versions exchanged between businesses today, electronic contracts offer the possibility of dynamic, automatic creation and enforcement of restrictions and compulsions on agent behaviour that are designed to ensure business objectives are met. However, where there are many contracts within a particular application, it can be difficult to determine whether the system can reliably fulfil them all; computer-parsable electronic contracts may allow such verification to be automated. In this paper, we describe a conceptual framework and architecture specification in which normative business contracts can be electronically represented, verified, established, renewed, etc. In particular, we aim to allow systems containing multiple contracts to be checked for conflicts and violations of business objectives. We illustrate the framework and architecture with an aerospace example.

Using adaptive automata in a multi-paradigm programming environment

In this paper the architecture of an experimental multiparadigmatic programming environment is sketched, showing how its parts combine together with application modules in order to perform the integration of program modules written in different programming languages and paradigms. Adaptive automata are special self-modifying formal state machines used as a design and implementation tool in the representation of complex systems. Adaptive automata have been proven to have the same formal power as Turing Machines. Therefore, at least in theory, arbitrarily complex systems may be modeled with adaptive automata. The present work briefly introduces such formal tool and presents case studies showing how to use them in two very different situations: the first one, in the name management module of a multi-paradigmatic and multi-language programming environment, and the second one, in an application program implementing an adaptive automaton that accepts a context-sensitive language.

Argumentative systems in robots

Nowadays, the development of intelligent agents intends to be more refined, using improved architectures and reasoning mechanisms. Revise the beliefs of an agent is also an important subject, due to the consistency that agents should have about their knowledge. In this work we propose deliberative and argumentative agents using Lego Mindstorms robots, Argumentative NXT BDI-like Agents. These agents are built using the notions of the BDI model and they are capable to reason using the DeLP formalism. They update their knowledge base with their perceptions and revise it when necessary. Two variations are presented: the Single Argumentative NXT BDI-like Agent and the MAS Argumentative NXT BDI-like Agent.

Aprendizado por Reforço com Valores deInfluência em Sistemas Multi-Agente

We propose a new paradigm for collective learning in multi-agent systems (MAS) as a solution to the problem in which several agents acting over the same environment must learn how to perform tasks, simultaneously, based on feedbacks given by each one of the other agents. We introduce the proposed paradigm in the form of a reinforcement learning algorithm, nominating it as reinforcement learning with influence values. While learning by rewards, each agent evaluates the relation between the current state and/or action executed at this state (actual believe) together with the reward obtained after all agents that are interacting perform their actions. The reward is a result of the interference of others. The agent considers the opinions of all its colleagues in order to attempt to change the values of its states and/or actions. The idea is that the system, as a whole, must reach an equilibrium, where all agents get satisfied with the obtained results. This means that the values of the state/actions pairs match the reward obtained by each agent. This dynamical way of setting the values for states and/or actions makes this new reinforcement learning paradigm the first to include, naturally, the fact that the presence of other agents in the environment turns it a dynamical model. As a direct result, we implicitly include the internal state, the actions and the rewards obtained by all the other agents in the internal state of each agent. This makes our proposal the first complete solution to the conceptual problem that rises when applying reinforcement learning in multi-agent systems, which is caused by the difference existent between the environment and agent models. With basis on the proposed model, we create the IVQ-learning algorithm that is exhaustive tested in repetitive games with two, three and four agents and in stochastic games that need cooperation and in games that need collaboration. This algorithm shows to be a good option for obtaining solutions that guarantee convergence to the Nash optimum equilibrium in cooperative problems. Experiments performed clear shows that the proposed paradigm is theoretical and experimentally superior to the traditional approaches. Yet, with the creation of this new paradigm the set of reinforcement learning applications in MAS grows up. That is, besides the possibility of applying the algorithm in traditional learning problems in MAS, as for example coordination of tasks in multi-robot systems, it is possible to apply reinforcement learning in problems that are essentially collaborative

In vitro study of CD133 human stem cells labeled with superparamagnetic iron oxide nanoparticles

Superparamagnetic iron oxide nanoparticles (SPIONs) are applied in stem cell labeling because of their high magnetic susceptibility as compared with ordinary paramagnetic species, their low toxicity, and their ease of magnetic manipulation. The present work is the study of CD133(+) stem cell labeling by SPIONs coupled to a specific antibody (AC133), resulting in the antigenic labeling of the CD133+ stem cell, and a method was developed for the quantification of the SPION content per cell, necessary for molecular imaging optimization. Flow cytometry analysis established the efficiency of the selection process and helped determine that the CD133 cells selected by chromatographic affinity express the transmembrane glycoprotein CD133. The presence of antibodies coupled to the SPION, expressed in the cell membrane, was observed by transmission electron microscopy. Quantification of the SPION concentration in the marked cells using the ferromagnetic resonance technique resulted in a value of 1.70 x 10 (13) mol iron (9.5 pg) or 7.0 x 10 (6) nanoparticles per cell ( the measurement was carried out in a volume of 2 mu L containing about 6.16 x 10 5 pg iron, equivalent to 4.5 x 10 (11) SPIONs). (c) 2008 Elsevier B.V. All rights reserved.

Cell-based Therapies for Tendon and Ligament Injuries

Tendon and ligament injuries have proved difficult to treat effectively. Cell-based therapies offer the potential to harness the complex protein synthetic machinery of the cell to induce a regenerative response rather than fibrous scarring. This article reviews the current state of play with respect to the clinically used cell preparations for the treatment of tendon and ligaments overstrain injuries.

Cytotoxic effects of current dental adhesive systems on immortalized odontoblast cell line MDPC-23

Objectives: Evaluate the cytotoxic effect of the three dental adhesive systems. Methods: The immortalized mouse odontoblast cell line (MDPC-23) was plated (30,000 cell/cm 2) in 24 well dishes, allowed to grow for 72 h, and counted under inverted light microscopy. Uncured fresh adhesives were added to culture medium to simulate effects of unset adhesive. Three adhesives systems were applied for 120 min to cells in six wells for each group: Group 1) Single Bond (3M), Group 2) Prime & Bond 2.1 (Dentsply), and Group 3) Syntac Sprint (Vivadent). In the control group, PBS was added to fresh medium. The cell number was counted again and the cell morphology was assessed under SEM. In addition, the adhesive systems were applied to circles of filter paper, light-cured for 20 s, and placed in the bottom of 24 wells (six wells for each experimental materials and control group). MDPC-23 cells were plated (30,000 cell/cm 2) in the wells and allowed to incubate for 72 h. The zone of inhibition around the filter papers was measured under inverted light microscopy; cell morphology was evaluated under SEM; and the MTT assay was performed for mitochondrial respiration. Results: The fresh adhesives exhibited more toxic (cytopathic effects) to MDPC-23 cells than polymerized adhesives on filter papers, and as compared to the control group. The cytopathic effect of the adhesive systems occurred in the inhibition zone around the filter papers, which was confirmed by the MTT assay and statistical analysis (ANOVA) combined with Fisher's PLSD test. In the control group, MDPC-23 cells were dense on the plastic substrate and were in contact with the filter paper. In the experimental groups, when acid in the adhesive systems was removed by changing the culture medium, or when the adhesives were light-cured, some cells grew in the wells in spite of the persistent cytotoxic effect. Significance: All dentin adhesive systems were cytotoxic odontoblast-like cells. Both acidity and non-acidic components of these systems were responsible for the high cytopathic effect of those dental materials. © 1999 Academy of Dental Materials. Published by Elsevier Science Ltd. All rights reserved.