The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System

The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the space shuttle to air traffic management and business process control. The theory of PRS-like systems has also been widely studied: within the intelligent agents research community, the belief-desire-intention (BDI) model of practical reasoning that underpins PRS is arguably the dominant force in the theoretical foundations of rational agency. Despite the interest in PRS and BDI agents, no complete attempt has yet been made to precisely specify the behaviour of real PRS systems. This has led to the development of a range of systems that claim to conform to the PRS model, but which differ from it in many important respects. Our aim in this paper is to rectify this omission. We provide an abstract formal model of an idealised dMARS system (the most recent implementation of the PRS architecture), which precisely defines the key data structures present within the architecture and the operations that manipulate these structures. We focus in particular on dMARS plans, since these are the key tool for programming dMARS agents. The specification we present will enable other implementations of PRS to be easily developed, and will serve as a benchmark against which future architectural enhancements can be evaluated.     

On the application of the Neuron MOS transistor principle formodern VLSI design

In this paper, the speed performance, power consumption, and layout area of Neuron MOS transistor circuits are monitored considering the requirements of modern VLSI design. The Neuron MOS transistor is a recently discovered device principle which has a number of input gates that couple capacitively to a floating gate. The floating gate potential controls the current of a transistor channel. This device can be used in logic circuits. A threshold current through the Neuron MOS transistor can be defined that causes a switching of the output of the logic circuits as soon as the channel current surmounts or falls below the specified value. We designed two different multiplier cells, one based on a Neuron MOS inverter, and the other on a Neuron MOS n-MOSFET which is used as one input device of a comparator circuit. Functionality of both cells is proven for data rates up to 50 MHz which represents the first high-speed measurement of a circuit based on this new design principle. A perspective for the upper speed limit found at more than 500 MHz is given by simulation. The new design principle has a layout area reduced by more than a factor of two compared to usual multiplier cells. Moreover, it is shown, that depending on the design chosen, high speed operation leads to considerable power savings. In view of those advantages it is concluded that the principle of threshold logic qualifies for a major breakthrough for packing density improvement of CMOS-based applications     

The response of the adult and ATD heads to impacts onto a rigid surface

Given the high incidence of TBI, head injury has been studied extensively using both cadavers and anthropomorphic test devices (ATDs). However, few studies have benchmarked the response of ATD heads against human data. Hence, the objective of this study is to investigate the response of adult and ATD heads in impact, and to compare adult Hybrid III head responses to the adult head responses.     

Intact attentional control of working memory encoding in schizophrenia.

This study reports evidence that individuals with schizophrenia (SC) demonstrate intact attentional selection for visual working memory (WM) storage. A group of 62 participants with SC and 55 control participants without SC were studied in a series of 5 experiments that examined the ability to use top-down and bottom-up cues to guide WM encoding, as well as the ability to spontaneously select a subset of representations for storage. Participants with SC exhibited a consistent and robust ability to use selective attention in the control of WM in all 5 experiments, demonstrating a remarkable island of preserved functioning given the broad spectrum of impairments of attention and WM that have been widely reported in those with SC. These findings indicate that attention is not globally impaired in SC and make it possible to delineate more precisely the nature of the specific impairment of attention in this disorder. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

TRAVOS: Trust and Reputation in the Context of Inaccurate Information Sources

In many dynamic open systems, agents have to interact with one another to achieve their goals. Here, agents may be self-interested, and when trusted to perform an action for another, may betray that trust by not performing the action as required. In addition, due to the size of such systems, agents will often interact with other agents with which they have little or no past experience. There is therefore a need to develop a model of trust and reputation that will ensure good interactions among software agents in large scale open systems. Against this background, we have developed TRAVOS (Trust and Reputation model for Agent-based Virtual OrganisationS) which models an agent’s trust in an interaction partner. Specifically, trust is calculated using probability theory taking account of past interactions between agents, and when there is a lack of personal experience between agents, the model draws upon reputation information gathered from third parties. In this latter case, we pay particular attention to handling the possibility that reputation information may be inaccurate.     

Declarative planning in procedural agent architectures

Practical agent languages and their corresponding architectures have often relied on a static plan library with more or less direct trigger-response activation mechanisms as a source for agent behaviours for the sake of runtime efficiency. Although efficient, such a language design choice severely limits an agent’s ability to reason about its goals and adapt to unforeseen circumstances after being deployed. This effectively delegates the task of planning to the designers themselves, who must design plan libraries able to cope with every foreseeable situation an agent might find itself in by designing plans to deal with any contingency. In this paper we develop a formal conversion process from traditional BDI agent languages into declarative planning. Using this conversion process, we show how to integrate domain independent planning algorithms into the BDI interpreter, allowing a designer to program an agent not only through the trigger-response mechanism used in traditional languages, but also in terms of declarative goals. Our contribution here is twofold: firstly we increase an agent’s ability to cope with unforeseen situations and secondly we unburden an agent designer from having to define multiple plan combinations that could be easily generated by a planner.     

Pressurised feeding systems

Pressurised feeding is by no means new. Whitworth patented a method for pressurising steel in refractory lined ingot moulds in the mid 1800s, while accounts of pressurising aluminium castings during solidification appeared in the 1930s, and the pressurisation of risers in steel and iron castings surfaced in the 1950s. It is appropriate to distinguish between cases where the whole casting and rigging has been pressurised and those where the feeder heads alone were pressurised. Generally speaking, pressurising the whole casting has not proved especially effective. Early experiments with aluminium involved top pouring of moulds contained in an autoclave. The considerable height through which the metal fell undoubtedly mitigated results. Furthermore, since the alloys were of a non-skin forming variety (i.e. long freezing range) the puncture of the partially solidified surface led to further property degradation.

Work of Watmough and Berry in the US in 1961, repeated by Irani and Kondic at Birmingham published eight years later, employed aluminium sand cast bars with pressurised feeder heads surrounded by stout insulating sleeves. The results of both sets of experiments with long-freezing range alloys, showed excellent promise in terms of reducing dispersed porosity. During the nineties Fischer-Disa picked up this concept and successfully implemented it on a production basis for both aluminium and ductile iron. Most recently MSU in collaboration with US metal casters has applied the technique to tilt-poured permanent moulding (gravity-die casting). The results of this recent work will be described in detail.     

A Manifesto for Agent Technology: Towards Next Generation Computing

The European Commission's eEurope initiative aims to bring every citizen, home, school, business and administration online to create a digitally literate Europe. The value lies not in the objective itself, but in its ability to facilitate the advance of Europe into new ways of living and working. Just as in the first literacy revolution, our lives will change in ways never imagined. The vision of eEurope is underpinned by a technological infrastructure that is now taken for granted. Yet it provides us with the ability to pioneer radical new ways of doing business, of undertaking science, and, of managing our everyday activities. Key to this step change is the development of appropriate mechanisms to automate and improve existing tasks, to anticipate desired actions on our behalf (as human users) and to undertake them, while at the same time enabling us to stay involved and retain as much control as required. For many, these mechanisms are now being realised by agent technologies, which are already providing dramatic and sustained benefits in several business and industry domains, including B2B exchanges, supply chain management, car manufacturing, and so on. While there are many real successes of agent technologies to report, there is still much to be done in research and development for the full benefits to be achieved. This is especially true in the context of environments of pervasive computing devices that are envisaged in coming years. This paper describes the current state-of-the-art of agent technologies and identifies trends and challenges that will need to be addressed over the next 10 years to progress the field and realise the benefits. It offers a roadmap that is the result of discussions among participants from over 150 organisations including universities, research institutions, large multinational corporations and smaller IT start-up companies. The roadmap identifies successes and challenges, and points to future possibilities and demands; agent technologies are fundamental to the realisation of next generation computing.