Design and development of financial applications using ontology-based multi-agent systems

Researchers in the field of finance now use increasingly sophisticated mathematical models that require intelligent software on high performance computing systems. Agent models to date that are designed for financial markets have their knowledge specified through low level programming that require technical expertise in software, not normally available with finance professionals. Hence there is a need for system development methodologies where domain experts and researchers and can specify the behaviour of the agent applications without any knowledge of the underlying agent software. This paper proposes an approach to achieve the above objectives through the use of ontologies that drive the behaviours of agents. This approach contributes towards the building of semantically aware intelligent services, where ontologies are used rather than low level programming to dictate the characteristics of the agent applications. This approach is expected to allow more extensive usage of multi-agent systems in financial business applications

Proceedings of the 2nd International Workshop on Security in Mobile Multiagent Systems

This report contains the Proceedings of the Second Workshop on Security on Security of Mobile Multiagent Systems (SEMAS2002). The Workshop was held in Montreal, Canada as a satellite event to the 5th International Conference on Autonomous Agents in 2001. The far reaching influence of the Internet has resulted in an increased interest in agent technologies, which are poised to play a key role in the implementation of successful Internet and WWW-based applications in the future. While there is still considerable hype concerning agent technologies, there is also an increasing awareness of the problems involved. In particular, that these applications will not be successful unless security issues can be adequately handled. Although there is a large body of work on cryptographic techniques that provide basic building-blocks to solve specific security problems, relatively little work has been done in investigating security in the multiagent system context. Related problems are secure communication between agents, implementation of trust models/authentication procedures or even reflections of agents on security mechanisms. The introduction of mobile software agents significantly increases the risks involved in Internet and WWW-based applications. For example, if we allow agents to enter our hosts or private networks, we must offer the agents a platform so that they can execute correctly but at the same time ensure that they will not have deleterious effects on our hosts or any other agents / processes in our network. If we send out mobile agents, we should also be able to provide guarantees about specific aspects of their behaviour, i.e., we are not only interested in whether the agents carry out-out their intended task correctly. They must defend themselves against attacks initiated by other agents, and survive in potentially malicious environments. Agent technologies can also be used to support network security. For example in the context of intrusion detection, intelligent guardian agents may be used to analyse the behaviour of agents on a firewall or intelligent monitoring agents can be used to analyse the behaviour of agents migrating through a network. Part of the inspiration for such multi-agent systems comes from primitive animal behaviour, such as that of guardian ants protecting their hill or from biological immune systems

An executable Theory of Multi-Agent Systems Refinement

Complex applications such as incident management, social simulations, manufacturing applications, electronic auctions, e-institutions, and business to business applications are pervasive and important nowadays. Agent-oriented methodology is an advance in abstractionwhich can be used by software developers to naturally model and develop systems for suchapplications. In general, with respect to design methodologies, what it may be important tostress is that control structures should be added at later stages of design, in a natural top-downmanner going from specifications to implementations, by refinement. Too much detail (be itfor the sake of efficiency) in specifications often turns out to be harmful. To paraphrase D.E.Knuth, “Premature optimization is the root of all evil” (quoted in ‘The Unix ProgrammingEnvironment’ by Kernighan and Pine, p. 91).The aim of this thesis is to adapt formal techniques to the agent-oriented methodologyinto an executable theory of refinement. The justification for doing so is to provide correctagent-based software by design. The underlying logical framework of the theory we proposeis based on rewriting logic, thus the theory is executable in the same sense as rewriting logicis. The storyline is as follows. We first motivate and explain constituting elements of agentlanguages chosen to represent both abstract and concrete levels of design. We then proposea definition of refinement between agents written in such languages. This notion of refinement ensures that concrete agents are correct with respect to the abstract ones. The advantageof the definition is that it easily leads to formulating a proof technique for refinement viathe classical notion of simulation. This makes it possible to effectively verify refinement bymodel-checking. Additionally, we propose a weakest precondition calculus as a deductivemethod based on assertions which allow to prove correctness of infinite state agents. Wegeneralise the refinement relation from single agents to multi-agent systems in order to ensure that concrete multi-agent systems refine their abstractions. We see multi-agent systemsas collections of coordinated agents, and we consider coordination artefacts as being basedeither on actions or on normative rules. We integrate these two orthogonal coordinationmechanisms within the same refinement theory extended to a timed framework. Finally, wediscuss implementation aspects.LEI Universiteit LeidenFoundations of Software Technolog

Simulator for Undergraduate Multi-Agent Systems

In recent years, Multi-Agent Systems (MAS) have for the first time begun to be accepted in mainstream computing. Software companies haave been founded focusing purely on MAS software, telecommunications companies now use agent-based technologies in cell phones, and there have even been two successful DARPA funded, military-grade defense projects in the past ten years. The growth in demand development tools available. The various development platforms focus on mobile devices, large-scale distributed systems, and specific research applications; however, these tools leave an important facet of MAS development unsatisfied--undergraduate research and teaching. Each of the solutions available is either too complex, too specific, or in some way infeasible to be used by students in what is possibly their first introduction to MAS. This research concentrates on creating a distributed, graphical MAS simulator in Java and an associated Application Program Interface (API) for developing agent-based systems at the undergraduate level. Whether in research or in the classroom, the well designed, easily extensible API allows students to create and immediately display their agents\u27 interactions in the simulation environment with minimal programming. The API provides agents with the capacity for perception, communication, memory, and action. Future undergraduate research and learning in the field of MAS will be greatly facilitated by this intuitive simulation platform. Students can learn MAS by observing agents visually, and student researchers can focus purely on programming and analyzing agent behavior

Cooperative agent-based software architecture for distributed simulation

This paper proposes a cooperative multiagent model using distributed object-based systems for supporting distributed virtual environment and distributed simulation technologies for military and government applications. The agent model will use the condition-event driven rule based system as the basis for representing knowledge. In this model, the updates and revision of beliefs of agents corresponds to modifying the knowledge base. These agents are reactive and respond to stimulus as well as the environment in which they are embedded. Further, these agents are smart and can learn from their actions. The distributed agent-based software architecture will enable us to realise human behaviour model environment and computer-generated forces (also called computer-generated actor (CGA)) architectures. The design of the cooperative agent-based architecture will be based on mobile agents, interactive distributed computing models, and advanced logical modes of programming. This cooperative architecture will be developed using Java based tools and distributed databases

Special Issue “Advances in Multi-Agent Systems”: Editorial

Multi-agent systems (MAS) are collections of autonomous computational entities (the agents) capable of pro-actively pursuing goals and re-actively adapting to environment change. Agents in MAS exploit their social abilities, interacting with peers, and their situated capabilities as well, by perceiving and acting on the world around them. From distributed computing to intelligent systems, the relevance of agents and MAS as software abstractions is steadily growing as they are extensively and increasingly used to model, simulate, and build heterogeneous systems across a huge variety of diverse application scenarios and business domains, ranging from industrial manufacturing to robotics, from social simulation to applications, and more. The recent, renewed popularity of AI techniques has further spread the adoption of MAS, focusing in particular on the cognitive capabilities of agents, so that intelligent systems can be modelled and built as MAS. Along those lines, this Special Issue gathers five contributions that well represent the many diverse advancements that are currently ongoing in the MAS field

Multi-agent Confidential Abductive Reasoning

In the context of multi-agent hypothetical reasoning, agents typically have partial knowledge about their environments, and the union of such knowledge is still incomplete to represent the whole world. Thus, given a global query they collaborate with each other to make correct inferences and hypothesis, whilst maintaining global constraints. Most collaborative reasoning systems operate on the assumption that agents can share or communicate any information they have. However, in application domains like multi-agent systems for healthcare or distributed software agents for security policies in coalition networks, confidentiality of knowledge is an additional primary concern. These agents are required to collaborately compute consistent answers for a query whilst preserving their own private information. This paper addresses this issue showing how this dichotomy between "open communication" in collaborative reasoning and protection of confidentiality can be accommodated. We present a general-purpose distributed abductive logic programming system for multi-agent hypothetical reasoning with confidentiality. Specifically, the system computes consistent conditional answers for a query over a set of distributed normal logic programs with possibly unbound domains and arithmetic constraints, preserving the private information within the logic programs. A case study on security policy analysis in distributed coalition networks is described, as an example of many applications of this system

Agents and E-commerce: Beyond Automation

The fast-growing information and communication technologies have shifted the contemporary commerce in both its information and market spaces. Businesses demand a new generation of agile and adaptive commerce systems. Towards this end, software agents, a type of autonomous artifacts, have been viewed as a promising solution. They have been taking an increasingly important part in facilitating e-commerce operations in the last two decades. This article presents a systematized overview of the diversity of agent applications in commerce. The paper argues that agents start playing more substantial role in determining social affairs. They also have a strong potential to be used to build the future highly responsive and smart e-commerce systems. The opportunities and challenges presented by proliferation of agent technologies in e-commerce necessitate the development of insights into their place in information systems research, as well as practical implications for the management

7th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2009)

PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems. PAAMS is an international yearly tribune to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a unique opportunity to bring multi-disciplinary experts, academics and practitioners together to exchange their experience in the development of Agents and Multi-Agent Systems. This volume presents the papers that have been accepted for the 2009 edition. These articles capture the most innovative results and this year’s trends: Assisted Cognition, E-Commerce, Grid Computing, Human Modelling, Information Systems, Knowledge Management, Agent-Based Simulation, Software Development, Transports, Trust and Security. Each paper has been reviewed by three different reviewers, from an international committee composed of 64 members from 20 different countries. From the 92 submissions received, 35 were selected for full presentation at the conference, and 26 were accepted as posters