Managing healthcare workflows in a multi-agent system environment

Whilst Multi-Agent System (MAS) architectures appear to offer a more flexible model for designers and developers of complex, collaborative information systems, implementing real-world business processes that can be delegated to autonomous agents is still a relatively difficult task. Although a range of agent tools and toolkits exist, there still remains the need to move the creation of models nearer to code generation, in order that the development path be more rigorous and repeatable. In particular, it is essential that complex organisational process workflows are captured and expressed in a way that MAS can successfully interpret. Using a complex social care system as an exemplar, we describe a technique whereby a business process is captured, expressed, verified and specified in a suitable format for a healthcare MAS.</p

Revisiting the Gaia hypothesis: Maximum Entropy, Kauffman's 'Fourth Law' and physiosemeiosis

Recently, Kleidon suggested a restatement of the Gaia hypothesis based on Maximum Entropy approaches to the Earth system. Refuting conceptions of Gaia as a homeostatic system, Gaia is seen as a non-equilibrium thermodynamic system which continuously moves away from equilibrium, driven by maximum entropy production which materializes in hierarchically coupled mechanisms of energetic flows via dissipation and physical work. I propose to relate this view with Kauffman's 'Fourth Law of Thermodynamics', which I interprete as a proposition about the accumulation of information in evolutionary processes. Then, beyond its use in the Kleidon model, the concept of physical work is expanded to including work directed at the capacity to work: I offer a twofold specification of Kauffman's concept of an 'autonomous agent', one as a 'self-referential heat engine', and the other in terms of physiosemeiosis, which is a naturalized application of Peirce's theory of signs emerging from recent biosemiotic research. I argue that the conjunction of these three theoretical sources, Maximum Entropy, Kauffman's Fourth Law, and physiosemeiosis, allows to show that the Kleidon restatement of the Gaia hypothesis is equivalent to the proposition that the biosphere is a system of generating, processing and storing information, thus directly treating information as a physical phenomenon. I substantiate this argument by proposing a more detailed analysis of the notion of hierarchy in the Kleidon model. In this view, there is a fundamental ontological continuity between the biological processes and the human economy, as both are seen as information processing and entropy producing systems. As with other previous transitions in evolution, the human economy leverages the mechanisms by which Gaia moves further away from equilibrium. This implies that information and natural resources or energy are not substitutes, i.e. the knowledge economy continues to build on the same physical principles as the biosphere, with energy and information being two aspects of the same underlying physical process. --Gaia,non-equilibrium systems,Fourth Law,work,Peirce,triadism,hierarchy,economic growth

KEMNAD: A Knowledge Engineering Methodology for Negotiating Agent Development

Automated negotiation is widely applied in various domains. However, the development of such systems is a complex knowledge and software engineering task. So, a methodology there will be helpful. Unfortunately, none of existing methodologies can offer sufficient, detailed support for such system development. To remove this limitation, this paper develops a new methodology made up of: (1) a generic framework (architectural pattern) for the main task, and (2) a library of modular and reusable design pattern (templates) of subtasks. Thus, it is much easier to build a negotiating agent by assembling these standardised components rather than reinventing the wheel each time. Moreover, since these patterns are identified from a wide variety of existing negotiating agents(especially high impact ones), they can also improve the quality of the final systems developed. In addition, our methodology reveals what types of domain knowledge need to be input into the negotiating agents. This in turn provides a basis for developing techniques to acquire the domain knowledge from human users. This is important because negotiation agents act faithfully on the behalf of their human users and thus the relevant domain knowledge must be acquired from the human users. Finally, our methodology is validated with one high impact system

Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY

One of the most challenging tasks in software specifications engineering for a multi-agent system is to ensure correctness. As these systems have high concurrency, often have dynamic environments, the formal specification and verification of these systems along with step-wise refinement from abstract to concrete concepts play major role in system correctness. Our objectives are the formal specification, analysis with respect to functional as well as non-functional properties by step-wise refinement from abstract to concrete specifications and then formal verification of these specifications. A multi-agent system is concurrent system with processes working in parallel with synchronization between them. We have worked on Gaia multi-agent method along with finite state process based finite automata techniques and as a result we have defined the formal specifications of our system, checked the correctness and verified all possible flow of concurrent executions of these specifications. Our contribution consists in transforming requirement specifications based on organizational abstractions into executable formal verification specifications based on finite automata. We have considered a case study of our multi-agent system to exemplify formal specifications and verification. Keywords: Multi-Agent System, Agent Models and Architecture, Gaia multi-agent method, Formal methods, Formal verification, Finite State Process (FSP), Labelled Transition System (LTS), Labelled Transition System Analyzer (LTSA), Safety property, Liveness propert

Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY

One of the most challenging tasks in software specifications engineering for a multi-agent system is to ensure correctness. As these systems have high concurrency, often have dynamic environments, the formal specification and verification of these systems along with step-wise refinement from abstract to concrete concepts play major role in system correctness. Our objectives are the formal specification, analysis with respect to functional as well as non-functional properties by step-wise refinement from abstract to concrete specifications and then formal verification of these specifications. A multi-agent system is concurrent system with processes working in parallel with synchronization between them. We have worked on Gaia multi-agent method along with finite state process based finite automata techniques and as a result we have defined the formal specifications of our system, checked the correctness and verified all possible flow of concurrent executions of these specifications. Our contribution consists in transforming requirement specifications based on organizational abstractions into executable formal verification specifications based on finite automata. We have considered a case study of our multi-agent system to exemplify formal specifications and verification.Comment: 16 pages; Computer Engineering and Intelligent Systems http://www.iiste.org - ISSN 2222-1719 (Paper) ISSN 2222-2863 (Online) - Vol.5, No.3, 201

Fast Point Spread Function Modeling with Deep Learning

Modeling the Point Spread Function (PSF) of wide-field surveys is vital for many astrophysical applications and cosmological probes including weak gravitational lensing. The PSF smears the image of any recorded object and therefore needs to be taken into account when inferring properties of galaxies from astronomical images. In the case of cosmic shear, the PSF is one of the dominant sources of systematic errors and must be treated carefully to avoid biases in cosmological parameters. Recently, forward modeling approaches to calibrate shear measurements within the Monte-Carlo Control Loops ($MCCL$) framework have been developed. These methods typically require simulating a large amount of wide-field images, thus, the simulations need to be very fast yet have realistic properties in key features such as the PSF pattern. Hence, such forward modeling approaches require a very flexible PSF model, which is quick to evaluate and whose parameters can be estimated reliably from survey data. We present a PSF model that meets these requirements based on a fast deep-learning method to estimate its free parameters. We demonstrate our approach on publicly available SDSS data. We extract the most important features of the SDSS sample via principal component analysis. Next, we construct our model based on perturbations of a fixed base profile, ensuring that it captures these features. We then train a Convolutional Neural Network to estimate the free parameters of the model from noisy images of the PSF. This allows us to render a model image of each star, which we compare to the SDSS stars to evaluate the performance of our method. We find that our approach is able to accurately reproduce the SDSS PSF at the pixel level, which, due to the speed of both the model evaluation and the parameter estimation, offers good prospects for incorporating our method into the $MCCL$ framework.Comment: 25 pages, 8 figures, 1 tabl

Designing Multi-Agent Systems - The NDA Approach Applied in Health Care

In this paper we introduce inherent problems of information logistics in health care. Promising research results on agentbased systems have allowed us to conclude that this approach is especially suitable to coping with these problems. In order to adequately capture the requirements of a complex setting, we present an approach for the design of agent-based systems. The basis forms the ethnography-based requirements analysis approach Needs Driven Approach (NDA). The NDA supports the participating observation of work processes and guides the construction of domain models. As a result of a field study, a Technische Universitat Munchen meta-model is constructed which reflects the interrelationships of its elements. According to basic ideas of the Model Driven Architecture (MDA), the elements of the meta-model are mapped to constructs of software engineering