Design and implementation of a FIPA based agent communication model for a logic programming framework

In this paper we consider the design of an agent communication model based on the FIPA Architecture and FIPA Interaction Protocols. Our goal is to allow the agents to reach each other by their characteristics and to exchange messages using a standard Agent Communication Language. We propose the design and implementation of a framework as an extension of Prolog, following the spirit of Logic Programming. In our framework, the agents are allowed to register themselves in MASs in order to allow other agents to locate them easily. The agents may search for agents having specific characteristics, or providing determined services in order to interact with them.Red de Universidades con Carreras en Informática (RedUNCI

Design and implementation of a FIPA based agent communication model for a logic programming framework

In this paper we consider the design of an agent communication model based on the FIPA Architecture and FIPA Interaction Protocols. Our goal is to allow the agents to reach each other by their characteristics and to exchange messages using a standard Agent Communication Language. We propose the design and implementation of a framework as an extension of Prolog, following the spirit of Logic Programming. In our framework, the agents are allowed to register themselves in MASs in order to allow other agents to locate them easily. The agents may search for agents having specific characteristics, or providing determined services in order to interact with them.Red de Universidades con Carreras en Informática (RedUNCI

Extend Commitment Protocols with Temporal Regulations: Why and How

The proposal of Elisa Marengo's thesis is to extend commitment protocols to explicitly account for temporal regulations. This extension will satisfy two needs: (1) it will allow representing, in a flexible and modular way, temporal regulations with a normative force, posed on the interaction, so as to represent conventions, laws and suchlike; (2) it will allow committing to complex conditions, which describe not only what will be achieved but to some extent also how. These two aspects will be deeply investigated in the proposal of a unified framework, which is part of the ongoing work and will be included in the thesis.Comment: Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 1-8 (arXiv:1107.1686

Epistemic Protocols for Distributed Gossiping

Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other's secrets. We consider distributed gossip protocols which are expressed by means of epistemic logic. We provide an operational semantics of such protocols and set up an appropriate framework to argue about their correctness. Then we analyze specific protocols for complete graphs and for directed rings.Comment: In Proceedings TARK 2015, arXiv:1606.0729

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples

Negotiation in Multi-Agent Systems

In systems composed of multiple autonomous agents, negotiation is a key form of interaction that enables groups of agents to arrive at a mutual agreement regarding some belief, goal or plan, for example. Particularly because the agents are autonomous and cannot be assumed to be benevolent, agents must influence others to convince them to act in certain ways, and negotiation is thus critical for managing such inter-agent dependencies. The process of negotiation may be of many different forms, such as auctions, protocols in the style of the contract net, and argumentation, but it is unclear just how sophisticated the agents or the protocols for interaction must be for successful negotiation in different contexts. All these issues were raised in the panel session on negotiation