Protocol Conformance for Logic-based Agents

Ulrich Endriss (1) , Nicolas Maudet (1) , Fariba Sadri (1) , Francesca Toni (1)

1 Imperial College London

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) occurring in open societies it is crucial that agents are equipped with proper means to check, and possibly enforce, conformance to protocols. We identify different levels of conformance (weak, exhaustive, and robust conformance) and explore how a specific class of logic-based agents can exploit a new representation formalism for communication protocols based on simple if-then rules in order to either check conformance a priori or enforce it at runtime.

Domaines: Intelligence artificielle [cs.AI]

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. Protocol Conformance for Logic-based Agents. 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), Aug 2003, Acapulco, Mexico. pp.679-684. ⟨hal-01393012⟩