scispace - formally typeset
Search or ask a question
BookDOI

Multi-Agent Systems and Applications III

TL;DR: An Unified Framework for Programming Autonomous, Intelligent and Mobile Agents and Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems are presented.
Abstract: Invited Talks.- Making Agents Acceptable to People.- Coalition Formation: Towards Feasible Solutions Abstract of a Key-Note Speech.- Coalition Task Support Using I-X and ?I-N-C-A?.- Formal Methods.- Towards Motivation-Based Decisions for Worth Goals.- Modal Structure for Agents Interaction Based on Concurrent Actions.- A Multi-agent Modal Language for Concurrency with Non-communicating Agents.- Self-Synchronization of Cooperative Agents in a Distributed Environment.- MIP-Nets: A Compositional Model of Multiagent Interaction.- Social Knowledge & Meta-Reasoning.- Calibrating Collective Commitments.- Abstract Architecture for Meta-reasoning in Multi-agent Systems.- Balancing Individual Capabilities and Social Peer Pressure for Role Adoption.- From Social Agents to Multi-agent Systems: Preliminary Report.- Negotiation & Policies.- DAML-Based Policy Enforcement for Semantic Data Transformation and Filtering in Multi-agent Systems.- Architectures for Negotiating Agents.- RIO : Roles, Interactions and Organizations.- Conversation Mining in Multi-agent Systems.- Ontologies & Languages.- The Knowledge Market: Agent-Mediated Knowledge Sharing.- Ontology of Cooperating Agents by Means of Knowledge Components.- Mapping between Ontologies in Agent Communication.- A Social ACL Semantics by Deontic Constraints.- A Formal Specification Language for Agent Conversations.- Planning.- Framework for Multi-agent Planning Based on Hybrid Automata.- Multi-agent System for Resource Allocation and Scheduling.- Towards Autonomous Decision Making in Multi-agent Environments Using Fuzzy Logic.- Towards an Object Oriented Implementation of Belief-Goal-Role Multi-agent Systems.- Coalitions.- Fuzzy Coalition Formation among Rational Cooperative Agents.- Multi-agent Simulation of Work Teams.- Multi-agent Knowledge Logistics System "KSNet": Implementation and Case Study for Coalition Operations.- Evolution & Emergent Behavior.- Learning User Preferences for Multi-attribute Negotiation: An Evolutionary Approach.- A Model of Co-evolution in Multi-agent System.- Emergence of Specialized Behavior in a Pursuit-Evasion Game.- On a Dynamical Analysis of Reinforcement Learning in Games: Emergence of Occam's Razor.- Forgiveness in Strategies in Noisy Multi-agent Environments.- Platforms.- An Unified Framework for Programming Autonomous, Intelligent and Mobile Agents.- Tailoring an Agent Architecture to a Flexible Platform Suitable for Cooperative Robotics.- Airports for Agents: An Open MAS Infrastructure for Mobile Agents.- Beyond Prototyping in the Factory of Agents.- Agent Oriented Software Engineering with INGENIAS.- Protocols.- Requirement Analysis for Interaction Protocols.- Engineering a Protocol Server Using Strategy-Agents.- Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems.- Security.- Biological Approach to System Information Security (BASIS): A Multi-agent Approach to Information Security.- Adaptive Agents Applied to Intrusion Detection.- Communication Security in Multi-agent Systems.- Teamwork of Hackers-Agents: Modeling and Simulation of Coordinated Distributed Attacks on Computer Networks.- Real-Time & Synchronization.- Formal Modeling of Dynamic Environments for Real-Time Agents.- Deliberative Server for Real-Time Agents.- Regional Synchronization for Simultaneous Actions in Situated Multi-agent Systems.- A Multi-agent System for Dynamic Network Reconfiguration.- Industrial Applications.- A Highly Distributed Intelligent Multi-agent Architecture for Industrial Automation.- The Cambridge Packing Cell - A Holonic Enterprise Demonstrator.- Towards Autonomy, Self-Organisation and Learning in Holonic Manufacturing.- An Agent-Based Personalized Producer/Consumer Scenario.- Application of Intelligent Agents in Power Industry: Promises and Complex Issues.- E-business & Virtual Enterprises.- Brokering in Electronic Insurance Markets.- Modelling Electronic Organizations.- The Use of Adaptive Negotiation by a Shopping Agent in Agent-Mediated Electronic Commerce.- Agent Interaction Protocols for the Selection of Partners for Virtual Enterprises.- Web & Mobile Agents.- A Multiagent-Based Peer-to-Peer Network in Java for Distributed Spam Filtering.- Engineering Web Service Invocations from Agent Systems.- A Component Based Multi-agent Architecture to Support Mobile Business Processes.- Code Complexity Metrics for Mobile Agents Implemented with Aspect/J(TM).
Citations
More filters
Journal ArticleDOI
TL;DR: This paper surveys the literature in manufacturing control systems using distributed artificial intelligence techniques, namely multi-agent systems and holonic manufacturing systems principles and points out the challenges and research opportunities for the future.

770 citations

Book ChapterDOI
07 Nov 2004
TL;DR: The experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment is described and how this work has uncovered requirements for increasing the expressivity of policy beyond what can be done with description logic is described.
Abstract: In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing these capabilities within the context of two applications: Coalition Search and Rescue (CoSAR-TS) and Semantic Firewall (SFW). We describe how this work has uncovered requirements for increasing the expressivity of policy beyond what can be done with description logic (e.g., role-value-maps), and how we are extending our representation and reasoning mechanisms in a carefully controlled manner to that end. Since KAoS employs OWL for policy representation, it fits naturally with the use of OWL-S workflow descriptions generated by the AIAI I-X planning system in the CoSAR-TS application. The advanced reasoning mechanisms of KAoS are based on the JTP inference engine and enable the analysis of classes and instances of processes from a policy perspective. As the result of analysis, KAoS concludes whether a particular workflow step is allowed by policy and whether the performance of this step would incur additional policy-generated obligations. Issues in the representation of processes within OWL-S are described. Besides what is done during workflow composition, aspects of policy compliance can be checked at runtime when a workflow is enacted. We illustrate these capabilities through two application examples. Finally, we outline plans for future work.

636 citations

Book ChapterDOI
20 Jul 2004
TL;DR: A framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents, which is utmost suitable for the modelling of all types of MAS from open to closed environments.
Abstract: In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents. It specifies global goals of the system independently from those of the specific agents that populate the system. Both the norms that regulate interaction between agents, as well as the contextual meaning of those interactions are important aspects when specifying the organizational structure. Omni integrates all this aspects in one framework. In order to make design of the multi-agent system manageable, we distinguish three levels of abstraction with increasing implementation detail. All dimensions of Omni have a formal logical semantics, which ensures consistency and possibility of verification of the different aspects of the system. Omni is therefore utmost suitable for the modelling of all types of MAS from open to closed environments.

171 citations

Journal ArticleDOI
TL;DR: The goal of this paper is to present EIDE, an integrated development environment for supporting the engineering of multiagent systems as electronic institutions.

166 citations

Book ChapterDOI
01 Jan 2005
TL;DR: This chapter proposes an alternative approach, allowing all of a mechanism to be formal and explicit, and presents a taxonomy of declarative rules which can be used to capture a wide variety of negotiation mechanisms in a principled and well-structured way.
Abstract: If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when negotiation terminates, and what is the structure of the resulting agreements. Current standardization activities such as FIPA [2] and WS-Agreement [3] represent this as a negotiation protocol specifying the flow of messages. However, they omit other aspects of the rules of negotiation (such as obliging a participant to improve on a previous offer), requiring these to be represented implicitly in an agent’s design, potentially resulting incompatibility, maintenance and re-usability problems. In this chapter, we propose an alternative approach, allowing all of a mechanism to be formal and explicit. We present (i) a taxonomy of declarative rules which can be used to capture a wide variety of negotiation mechanisms in a principled and well-structured way; (ii) a simple interaction protocol, which is able to support any mechanism which can be captured using the declarative rules; (iii) a software framework for negotiation that allows agents to effectively participate in negotiations defined using our rule taxonomy and protocol and (iv) a language for expressing aspects of the negotiation based on OWL-Lite [4]. We provide examples of some of the mechanisms that the framework can support.

130 citations

References
More filters
Book
30 May 1997
TL;DR: The design of and experimentation with the Knowledge Query and Manipulation Language (KQML), a new language and protocol for exchanging information and knowledge, which is aimed at developing techniques and methodology for building large-scale knowledge bases which are sharable and reusable.

2,223 citations


"Multi-Agent Systems and Application..." refers background or methods in this paper

  • ...Additional details on this mechanism can be found in [1]....

    [...]

  • ...Multiagent systems have been widely used in applications that are inherently distributed such as information retrieval [2], network diagnosis [1], and distributed vehicle monitoring [10, 3, 4, 9]....

    [...]

  • ...Complexity issues have also been addressed for WF-nets and IOWF [1]....

    [...]

  • ...The I-X research draws on earlier work on Nonlin [1], O-Plan [2], [3], [4], [5], [6], Optimum-AIV [7], [8], <I-N-OVA> [9], [10] and the Enterprise Project [11], [12], [13] but seeks to make the framework generic and to clarify terminology, simplify the approach taken, and increase re-usability and applicability of the core ideas....

    [...]

  • ...As Castelfranchi showed, it is important to distinguish between individual intentions, bilateral commitments, and collective motivational attitudes [1]....

    [...]

Proceedings Article
01 Jan 1992
TL;DR: Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs that has declarative semantics and logically comprehensive semantics.
Abstract: Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e. it provides for the expression of arbitrary sentences in the rst-order predicate calculus); it provides for the representation of knowledge about the representation of knowledge; it provides for the representation of nonmonotonic reasoning rules; and it provides for the de nition of objects, functions, and relations.

1,017 citations


"Multi-Agent Systems and Application..." refers background or methods in this paper

  • ...[15] used a different Petri net translation of the protocols to debug multiagent systems....

    [...]

  • ...The use of Petri nets to model multiagent systems have been done in other recent work such as [7, 15, 12, 17]....

    [...]

  • ...Currently, the research in agent role adoption has been focused on agent’s current roles [15]....

    [...]

  • ...This is now not felt to be appropriate, and we are adopting the gIBIS orientation of expressing these issues as questions to be considered [14], [15]....

    [...]

  • ...We also adopt the Z notation [15] which is based on set-theory and first order logic....

    [...]

Journal ArticleDOI
TL;DR: The author proposes a conceptual shift from individual agent representations to social interaction and looks at the underlying reasons why agents from different vendors-or even different research projects-cannot communicate with each other.
Abstract: Agent communication languages have been used for years in proprietary multiagent systems. Yet agents from different vendors-or even different research projects-cannot communicate with each other. The author looks at the underlying reasons and proposes a conceptual shift from individual agent representations to social interaction.

475 citations


"Multi-Agent Systems and Application..." refers background or methods in this paper

  • ...Multiagent systems have been widely used in applications that are inherently distributed such as information retrieval [2], network diagnosis [1], and distributed vehicle monitoring [10, 3, 4, 9]....

    [...]

  • ...More details on the "yes/no/maybe" constraint management approach used in I-X and the earlier O-Plan systems are available in [3]....

    [...]

  • ...The I-X research draws on earlier work on Nonlin [1], O-Plan [2], [3], [4], [5], [6], Optimum-AIV [7], [8], <I-N-OVA> [9], [10] and the Enterprise Project [11], [12], [13] but seeks to make the framework generic and to clarify terminology, simplify the approach taken, and increase re-usability and applicability of the core ideas....

    [...]

  • ...By now, the coordinated behavior of agents involved in teamwork is considered, and concurrent actions are to be concerned [3, 4, 5, 6]....

    [...]

  • ...Starting from this observation, in [3] we motivated the introduction of a new modal language for multi-agents systems and described in details the propositional system with its main properties....

    [...]

Book
01 Jan 1995

404 citations


"Multi-Agent Systems and Application..." refers background or methods in this paper

  • ...An approach described in [4] for workflows and another describing agent subtyping relationship [10] can be adapted for changes in agent behaviour....

    [...]

  • ...Multiagent systems have been widely used in applications that are inherently distributed such as information retrieval [2], network diagnosis [1], and distributed vehicle monitoring [10, 3, 4, 9]....

    [...]

  • ...In [10], the focus is on behavioural substitutability of agents participating in interaction protocols....

    [...]

  • ...Parikh introduced Game Logic in [10] to reason about program correctness....

    [...]

  • ...The I-X research draws on earlier work on Nonlin [1], O-Plan [2], [3], [4], [5], [6], Optimum-AIV [7], [8], <I-N-OVA> [9], [10] and the Enterprise Project [11], [12], [13] but seeks to make the framework generic and to clarify terminology, simplify the approach taken, and increase re-usability and applicability of the core ideas....

    [...]

Book ChapterDOI
01 Jan 2000
TL;DR: This work presents a social semantics for ACLs that gives primacy to the interactions among the agents, based on social commitments and developed in temporal logic.
Abstract: The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal semantics for ACLs remains one of the greatest challenges of multiagent systems theory. Previous semantics have largely been mentalistic in their orientation and are based solely on the beliefs and intentions of the participating agents. Such semantics are not suitable for most multiagent applications, which involve autonomous and heterogeneous agents, whose beliefs and intentions cannot be uniformly determined. Accordingly, we present a social semantics for ACLs that gives primacy to the interactions among the agents. Our semantics is based on social commitments and is developed in temporal logic. This semantics, because of its public orientation, is essential to providing a rigorous basis for multiagent protocols.

393 citations


"Multi-Agent Systems and Application..." refers background or methods in this paper

  • ...For some of the history and relationships between earlier work in AI on plan representations, work from the process and design communities and the standards bodies, and the part that <I-N-OVA> played in this see [4]....

    [...]

  • ...Thus, pair (T, ∝) is a flow of time [4] which determines a branching-time formalization....

    [...]

  • ...The I-X research draws on earlier work on Nonlin [1], O-Plan [2], [3], [4], [5], [6], Optimum-AIV [7], [8], <I-N-OVA> [9], [10] and the Enterprise Project [11], [12], [13] but seeks to make the framework generic and to clarify terminology, simplify the approach taken, and increase re-usability and applicability of the core ideas....

    [...]

  • ...In this work we adopt the smart agent framework described in [4]....

    [...]

  • ...By now, the coordinated behavior of agents involved in teamwork is considered, and concurrent actions are to be concerned [3, 4, 5, 6]....

    [...]