The Experts below are selected from a list of 112002 Experts worldwide ranked by ideXlab platform

James Odell - One of the best experts on this subject based on the ideXlab platform.

  • Representing Agent Interaction protocols with Agent UML
    Lecture Notes in Computer Science, 2005
    Co-Authors: Marcphilippe Huget, James Odell
    Abstract:

    Several modeling techniques exist to represent Agent Interaction protocols mostly based on work done in distributed systems. These modeling techniques do not take the Agent features such as the autonomy into account. Agent Interaction Protocol designers are now considering specific modeling techniques that contain these features. In this paper, we present the second version of the Agent UML Interaction diagrams dedicated to Interaction protocols, and based on UML 2.0.

  • AOSE - Representing Agent Interaction protocols with Agent UML
    Agent-Oriented Software Engineering V, 2005
    Co-Authors: Marcphilippe Huget, James Odell
    Abstract:

    Several modeling techniques exist to represent Agent Interaction protocols mostly based on work done in distributed systems. These modeling techniques do not take the Agent features such as the autonomy into account. Agent Interaction Protocol designers are now considering specific modeling techniques that contain these features. In this paper, we present the second version of the Agent UML Interaction diagrams dedicated to Interaction protocols, and based on UML 2.0.

  • representing Agent Interaction protocols with Agent uml
    Adaptive Agents and Multi-Agents Systems, 2004
    Co-Authors: Marcphilippe Huget, James Odell
    Abstract:

    Several modeling techniques exist that represent Agent Interaction protocols. These techniques are based primarily on work done in distributed systems and do not consider features such as the Agent autonomy. Agent Interaction Protocol designers are now considering specific modeling techniques that contain these features. In this paper, we present the second version of the Agent UML Interaction diagrams dedicated to Interaction protocols and based on UML 2.0.

  • AAMAS - Representing Agent Interaction Protocols with Agent UML
    2004
    Co-Authors: Marcphilippe Huget, James Odell
    Abstract:

    Several modeling techniques exist that represent Agent Interaction protocols. These techniques are based primarily on work done in distributed systems and do not consider features such as the Agent autonomy. Agent Interaction Protocol designers are now considering specific modeling techniques that contain these features. In this paper, we present the second version of the Agent UML Interaction diagrams dedicated to Interaction protocols and based on UML 2.0.

  • representing Agent Interaction protocols in uml
    Lecture Notes in Computer Science, 2001
    Co-Authors: James Odell, H Van Dyke Parunak, B. Bauer
    Abstract:

    Gaining wide acceptance for the use of Agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts to support the development environment throughout the full system lifecycle. We address both of these requirements using AUML, the Agent UML (Unified Modeling Language)--a set of UML idioms and extensions. This paper illustrates the approach by presenting a three-layer AUML representation for Agent Interaction protocols: templates and packages to represent the protocol as a whole; sequence and collaboration diagrams to capture inter-Agent dynamics; and activity diagrams and state charts to capture both intra-Agent and inter-Agent dynamics.

Daniel Moldt - One of the best experts on this subject based on the ideXlab platform.

  • Formal semantics for AUML Agent Interaction protocol diagrams
    Lecture Notes in Computer Science, 2005
    Co-Authors: Lawrence Cabac, Daniel Moldt
    Abstract:

    In this paper we introduce an approach for defining semantics for AUML Agent Interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri nets. Agent Interaction protocol diagrams are used to model Agent conversations on an abstract level. By mapping elements of the diagrams to net components we are able to translate the diagrams into Petri nets, i.e to generate code structures from the drawings. We provide tool support for this approach by combining a tool for net components with a tool for drawing Agent Interaction protocol diagrams. This combined tool is available as a plug-in for RENEW (Reference Net Workshop).

  • AOSE - Formal semantics for AUML Agent Interaction protocol diagrams
    Agent-Oriented Software Engineering V, 2005
    Co-Authors: Lawrence Cabac, Daniel Moldt
    Abstract:

    In this paper we introduce an approach for defining semantics for AUML Agent Interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri nets. Agent Interaction protocol diagrams are used to model Agent conversations on an abstract level. By mapping elements of the diagrams to net components we are able to translate the diagrams into Petri nets, i.e to generate code structures from the drawings. We provide tool support for this approach by combining a tool for net components with a tool for drawing Agent Interaction protocol diagrams. This combined tool is available as a plug-in for Renew (Reference Net Workshop).

  • a proposal for structuring petri net based Agent Interaction protocols
    Applications and Theory of Petri Nets, 2003
    Co-Authors: Lawrence Cabac, Daniel Moldt, Heiko Rolke
    Abstract:

    In this paper we introduce net components as means for structuring Petri net-based Agent Interaction protocols. We provide a tool for effortless application of net components to nets. Thus we facilitate the construction of nets and unify their appearance. Net components can be used to derive code for Interaction protocols from a subset of extended AUML (Agent Unified Modeling Language) Interaction protocol diagrams. This allows for a smooth integration of some traditional software development specification approaches with high-level Petri nets. By using net components we do not only unify the structure of Mulan Agent protocols but also succeed to build a common language within a community of developers who share the net components.

Takayuki Nozawa - One of the best experts on this subject based on the ideXlab platform.

  • effectiveness of intrinsically motivated adaptive Agent for sustainable human Agent Interaction
    International Conference on Neural Information Processing, 2009
    Co-Authors: Takayuki Nozawa, Toshiyuki Kondo
    Abstract:

    To achieve sustainable human-Agent Interaction (HAI), we proposed a new model of intrinsically motivated adaptive Agent, which learns about the human partner and behaves to satisfy its intrinsic motivation. To investigate the model's effectiveness, we conducted a comparative HAI experiment with a simple Interaction setting. The results showed that the model was effective in inducing subjective impressions of higher enjoyability and sustainability. The subjects' brain activity measured by near-infrared spectroscopy (NIRS) indicated higher variability of activity at left dorsolateral prefrontal cortex during the Interaction with the proposed Agent.

  • IVA - Sustainability and Predictability in a Lasting Human---Agent Interaction
    Intelligent Virtual Agents, 1
    Co-Authors: Toshiyuki Kondo, Daisuke Hirakawa, Takayuki Nozawa
    Abstract:

    Sustainability is one of important features to be considered in a human---Agent Interaction (HAI) process, because humans are unavoidably accustomed to the Agents and it seems to become boredom as the Agents' behaviors come to be predictable. To be clear the relationship between the sustainability and the predictability, the Interaction processes between human subjects and a virtual entertainment robot with either of three different Interaction models are evaluated.

Lawrence Cabac - One of the best experts on this subject based on the ideXlab platform.

  • Formal semantics for AUML Agent Interaction protocol diagrams
    Lecture Notes in Computer Science, 2005
    Co-Authors: Lawrence Cabac, Daniel Moldt
    Abstract:

    In this paper we introduce an approach for defining semantics for AUML Agent Interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri nets. Agent Interaction protocol diagrams are used to model Agent conversations on an abstract level. By mapping elements of the diagrams to net components we are able to translate the diagrams into Petri nets, i.e to generate code structures from the drawings. We provide tool support for this approach by combining a tool for net components with a tool for drawing Agent Interaction protocol diagrams. This combined tool is available as a plug-in for RENEW (Reference Net Workshop).

  • AOSE - Formal semantics for AUML Agent Interaction protocol diagrams
    Agent-Oriented Software Engineering V, 2005
    Co-Authors: Lawrence Cabac, Daniel Moldt
    Abstract:

    In this paper we introduce an approach for defining semantics for AUML Agent Interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri nets. Agent Interaction protocol diagrams are used to model Agent conversations on an abstract level. By mapping elements of the diagrams to net components we are able to translate the diagrams into Petri nets, i.e to generate code structures from the drawings. We provide tool support for this approach by combining a tool for net components with a tool for drawing Agent Interaction protocol diagrams. This combined tool is available as a plug-in for Renew (Reference Net Workshop).

  • a proposal for structuring petri net based Agent Interaction protocols
    Applications and Theory of Petri Nets, 2003
    Co-Authors: Lawrence Cabac, Daniel Moldt, Heiko Rolke
    Abstract:

    In this paper we introduce net components as means for structuring Petri net-based Agent Interaction protocols. We provide a tool for effortless application of net components to nets. Thus we facilitate the construction of nets and unify their appearance. Net components can be used to derive code for Interaction protocols from a subset of extended AUML (Agent Unified Modeling Language) Interaction protocol diagrams. This allows for a smooth integration of some traditional software development specification approaches with high-level Petri nets. By using net components we do not only unify the structure of Mulan Agent protocols but also succeed to build a common language within a community of developers who share the net components.

Paolo Torroni - One of the best experts on this subject based on the ideXlab platform.

  • Specification and verification of Agent Interaction using abductive reasoning
    Lecture Notes in Computer Science, 2006
    Co-Authors: Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
    Abstract:

    Amongst several fundamental aspects in multi-Agent systems design, the definition of the Agent Interaction space is of the utmost importance. The specification of the Agent Interaction has several facets: syntax, semantics, and compliance verification. In an open society, heterogenous Agents can participate without showing any credentials. Accessing their internals or their knowledge bases is typically impossible, thus it is impossible to prove a priori that Agents will indeed behave according to the society rules. Within the SOCS (Societies Of ComputeeS) project, a language based on abductive semantics has been proposed as a mean to define Interactions in open societies. The proposed language allows the designer to define open, extensible and not over-constrained protocols. Beside the definition language, a software tool has been developed with the purpose of verifying at execution time if the Agents behave correctly with respect to the defined protocols. This paper provides a tutorial overview of the theory and of the tools the SOCS project provided to design, define and test Agent Interaction protocols.

  • COMPLIANCE VERIFICATION OF Agent Interaction: A LOGIC-BASED SOFTWARE TOOL
    Applied Artificial Intelligence, 2006
    Co-Authors: Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Abstract:

    In open societies of Agents, where Agents are autonomous and heterogeneous, it is not realistic to assume that Agents will always act so as to comply with Interaction protocols. Thus, the need arises for a formalism to specify constraints on Agent Interaction, and for a tool able to observe and check for Agent compliance with Interaction protocols. In this paper we present a JAVA-PROLOG software component built on logic programming technology, which can be used to verify compliance of Agent Interaction to protocols, and that has been integrated with the PROSOCS platform.

  • specification and verification of Agent Interaction protocols in a logic based system
    ACM Symposium on Applied Computing, 2004
    Co-Authors: Marco Alberti, Marco Gavanelli, Evelina Lamma, Paolo Torroni, Davide Daolio, Paola Mello
    Abstract:

    In multiAgent systems, Agent Interaction is ruled by means of Interaction protocols. Compliance to protocols can be hardwired in Agent programs; however, this requires that only "certified" Agents interact. In open societies, composed of autonomous and heterogeneous Agents whose internal structure is, in general, not accessible, Interaction protocols should be specified in terms of the Agent observable behaviour, and compliance should be verified by an external entity.In this paper, we propose a Java-Prolog-CHR system for verification of compliance of Agents' behaviour to protocols specified in a logic-based formalism (Social Integrity Constraints). We also present the application of the formalism and the system to the specification and verification of the FIPA Contract-Net protocol.

  • Specification and Verification of Agent Interaction using Social Integrity Constraints
    Electronic Notes in Theoretical Computer Science, 2004
    Co-Authors: Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Abstract:

    In this paper we propose a logic-based social approach to the specification and verification of Agent Interaction. We firstly introduce integrity constraints about social acts (called Social Integrity Constraints) as a formalism to express Interaction protocols and to give a social semantics to the behavior of Agents, focusing on communicative acts. Then, we discuss several possible kinds of verification of Agent Interaction, and we show how social integrity constraints can be used to verify some properties in this respect. We focus our attention on static verification of compliance of Agent specifications to Interaction protocols, and on run-time verification, based on Agents' observable behavior. We adopt as a running example the NetBill security transaction protocol for the selling and delivery of information goods.