Cooperative games model the allocation of profit from joint actions, following considerations such as stability and fairness. We propose the reliability extension of such games, where agents may fail to participate in the game. In the reliability extension, each agent only “survives” with a certain probability, and a coalition’s value is the probability that its surviving members would be a win...

Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose a labelled tableau-calculus for this logic. We also present an extension of the calculus for a logic of arbitrary announcements.

Our work was motivated by a lack of support for machine learning capabilities in agent communication languages such as KQML, Agent-0 and FIPA. The requirements were that such any extension to these communication languages should allow heterogeneous inductive algorithms to interact on a principled, consistent basis and that the inductive inferences being communicated should not be able to introd...

A class of networked multi-agent systems is studied in this study where each agent has an identical dynamics of a simple integrator and the topology of the connections is fixed. It is proved that, when there are saturation constraints, a general consensus protocol widely used in the literatures for this class of multi-agent systems remains valid. As an extension, a ‘bang-bang’ type of consensus...

Recently several agent architectures have been proposed that incorporate obligations. However, agent specification or verification languages that take obligations into account have received less attention. Our research question is how properties involving obligations can be specified or verified in an extension of Rao and Georgeff’s BDICTL. In Section 2 we extend BDICTL with so-called Standard ...

Roles have a limited use within object-oriented (OO) analysis and design. In extending OO concepts to agentoriented software engineering (AOSE), roles must be adapted to incorporate autonomy and other agent essentials. In this paper, we present our perspective on roles and how to specify them. We also introduce an extension to roles for design, namely agent classes. We describe how roles and ag...

This document describes an overview of a multi-agent system formed by a team of gold miners to compete in the Multi-Agent Programming Contest 2007 (the Gold Miners scenario). The objective is to test and improve Jason , the interpreter for an agent programming language used to implement the MAS. Jason [2, 4] is an agent platform based on an extension of an agent-oriented programming language ca...

Emerging agent-based systems offer a new means of effectively managing knowledge to address complex decision processes, thereby enabling solutions to many real problems that have heretofore appeared intractable. This article presents an overview of expert system and agent technologies, and shows the latter as a powerful extension of artificial intelligence for systems development. To illustrate...

In this paper we propose a new paradigm for software. It is an extension of the agent based computing approach. The main components of this paradigm include: the use of formal methods for specification of agent functionality; inter-agent communication using a common syntax with ontology defined semantics; goal driven fusion of agents, services and ontologies; control theory based architecture o...