Protocol Conformance for Logic-based Agents
نویسندگان
چکیده
An agent communication protocol specifies the "rules of encounter" governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negotiation dialogues) occur ring in open societies it is crucial that agents are equipped with proper means to check, and possi bly enforce, conformance to protocols. We identify different levels of conformance (weak, exhaustive, and robust conformance) and explore how a spe cific class of logic-based agents can exploit a new representation formalism for communication proto cols based on simple if-then rules in order to either check conformance a priori or enforce it at runtime.
منابع مشابه
Logic-Based Agent Communication Protocols
An agent communication protocol specifies the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negotiation dialogues) occurring in open societies, the problem of checking an agent’s conformance to such a protocol is a central issue. We identify different levels of conformance (weak, exhaustive, and robust conformance) and ...
متن کاملVerification of Protocol Conformance and Agent Interoperability
In open multi-agent systems agent interaction is usually ruled by public protocols defining the rules the agents should respect in message exchanging. The respect of such rules guarantees interoperability. Given two agents that agree on using a certain protocol for their interaction, a crucial issue (known as “a priori conformance test”) is verifying if their interaction policies, i.e. the prog...
متن کاملVerifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implementation is “conformant” w.r.t. the abstract specification of it. In this work we tackle those aspects of the conformance verification issue, that regard the dependence/independence of conformance from the agent priva...
متن کاملVerifying Agent Conformance with Protocols Specified in a Temporal Action Logic
The paper addresses the problem of agents compatibility and their conformance to protocols. We assume that the specification of protocols is given in an action theory by means of temporal constraints and, in particular, communicative actions are defined in terms of their effects and preconditions on the social state of the protocol. We show that the problem of verifying the conformance of an ag...
متن کاملA Verifiable Logic-Based Agent Architecture
In this paper, we present the SCIFF platform for multi-agent systems. The platform is based on Abductive Logic Programming, with a uniform language for specifying agent policies and interaction protocols. A significant advantage of the computational logic foundation of the SCIFF framework is that the declarative specifications of agent policies and interaction protocols can be used directly, at...
متن کامل