Reasoning about the executability of goal-plan trees

User supplied domain control knowledge in the form of hierarchically structured agent plans is at the heart of a number of approaches to reasoning about action. This knowledge encodes the “standard operating procedures” of an agent for responding to environmental changes, thereby enabling fast and effective action selection. This paper develops mechanisms for reasoning about a set of hierarchical plans and goals, by deriving “summary information” from the conditions on the execution of the basic actions forming the “leaves” of the hierarchy. We provide definitions of necessary and contingent pre-, in-, and postconditions of goals and plans that are consistent with the conditions of the actions forming a plan. Our definitions extend previous work with an account of both deterministic and non-deterministic actions, and with support for specifying that actions and goals within a (single) plan can execute concurrently. Based on our new definitions, we also specify requirements that are useful in scheduling the execution of steps in a set of goal-plan trees. These requirements essentially define conditions that must be protected by any scheduler that interleaves the execution of steps from different goal-plan trees

Give Agents Some REST: Hypermedia-driven Agent Environments

International audienceTo keep up with current technological developments, the engineering of multi-agent systems (MAS) has to provide solutions to: (i) support large scale systems, (ii) cope with open systems, and (iii) support humans in the loop. In this paper, we claim that the World Wide Web provides a suitable middleware for engineering MAS that address these challenges in an integrated manner. Even though approaches to engineer Web-based MAS have already been explored in the MAS community, existing proposals do not achieve a complete integration with the Web architecture. We approach this problem from a new angle: we design the agent environment as a hypermedia application. We apply REST, the architectural style of the Web, to introduce a resource-oriented abstraction layer for agent environments that decouples the application environment from its deployment context. Higher-level environment abstractions can then be implemented on top of this lower-level abstraction layer. To demonstrate our approach, we implemented a multi-agent application for the Internet of Things in which software agents can seamlessly navigate, use and cooperate in an environment deployed over multiple Web services (e.g., Facebook, Twitter) and constrained devices

Behavior of Hylamer polyethylene in hip arthroplasty: comparison of two gamma sterilization techniques

Hylamer polyethylene was introduced in the 1990s as an alternative to conventional polyethylene. Its chemical and physical properties, and especially its high crystallinity, were claimed to improve resistance to wear. Initially Hylamer devices were sterilized by gamma radiation in air, then the technique was changed and gamma radiation was performed in the absence of oxygen. Clinical experience has shown the early loosening of some devices made from Hylamer. The aim of this study was to ascertain whether early wear and consequent osteolysis was linked to the sterilization method. We retrospectively compared 31 patients with hip prostheses with Hylamer liners sterilized by gamma radiation in air (group 1) with 30 patients with the same prosthesis, but sterilized in the absence of oxygen (group 2). The groups were similar for sex, age, disease, head diameter and material. Mean follow-up was 84 months and no clinical signs of failure were present. Radiographic measurement revealed that wear of group 1 was significantly greater than that of group 2 (0.23 mm/year vs 0.09 mm/year, p=0.001). Periacetabular and femoral osteolysis in group 1 was significantly greater than group 2. In conclusion, the method of sterilization might have influenced the outcome of Hylamer polyethylene liners

Study protocol: The Childhood to Adolescence Transition Study (CATS)

Background: Puberty is a multifaceted developmental process that begins in late-childhood with a cascade of endocrine changes that ultimately lead to sexual maturation and reproductive capability. The transition through puberty is marked by an increased risk for the onset of a range of health problems, particularly those related to the control of behaviour and emotion. Early onset puberty is associated with a greater risk of cancers of the reproductive tract and cardiovascular disease. Previous studies have had methodological limitations and have tended to view puberty as a unitary process, with little distinction between adrenarche, gonadarche and linear growth. The Childhood to Adolescence Transition Study (CATS) aims to prospectively examine associations between the timing and stage of the different hormonally-mediated changes, as well as the onset and course of common health and behavioural problems that emerge in the transition from childhood to adolescence. The initial focus of CATS is on adrenarche, the first hormonal process in the pubertal cascade, which begins for most children at around 8 years of age.Methods/Design: CATS is a longitudinal population-based cohort study. All Grade 3 students (8-9 years of age) from a stratified cluster sample of schools in Melbourne, Australia were invited to take part. In total, 1239 students and a parent/guardian were recruited to participate in the study. Measures are repeated annually and comprise student, parent and teacher questionnaires, and student anthropometric measurements. A saliva sample was collected from students at baseline and will be repeated at later waves, with the primary purpose of measuring hormonal indices of adrenarche and gonadarche.Discussion: CATS is uniquely placed to capture biological and phenotypic indices of the pubertal process from its earliest manifestations, together with anthropometric measures and assessment of child health and development. The cohort will provide rich detail of the development, lifestyle, external circumstances and health of children during the transition from childhood through to adolescence. Baseline associations between the hormonal measures and measures of mental health and behaviour will initially be examined cross-sectionally, and then in later waves longitudinally. CATS will make a unique contribution to the understanding of adrenarche and puberty in children's health and development