Skip to main content
Jihad Labban

    Jihad Labban

    Abstract. The purpose of this paper is to propose a formal description of an argumentation-based negotiation protocol between autonomous agents. This protocol is designed to be secure and computationally efficient. The security is ensured... more
    Abstract. The purpose of this paper is to propose a formal description of an argumentation-based negotiation protocol between autonomous agents. This protocol is designed to be secure and computationally efficient. The security is ensured by allowing agents to reason about trust. The computational efficiency is achieved by specifying the protocol as a set of simple logical rules that agents can easily combine. These latter are specified as a set of computational dialogue games about which agents can reason. The protocol converges by checking the termination conditions. The paper addresses also the implementation issues of our protocol using an agentoriented platform equipped with logical programming.
    Multi-agent applications are primarily based on agent interactions, which are constrained by the trust of participating agents. Two important issues in these applications are how agents can communicate in a flexible and efficient way and... more
    Multi-agent applications are primarily based on agent interactions, which are constrained by the trust of participating agents. Two important issues in these applications are how agents can communicate in a flexible and efficient way and how an agent can authenticate information conveyed by other agents in the system. In this thesis, we present a new communication framework and trust model addressing these issues by considering three factors. The first factor is about the flexibility, complexity, soundness, and completeness of the communication protocol. The second factor is about the classification of agents from a trust point of view using direct interactions. The third factor is related to the categorization of the agent's chains through which the information is transmitted. Such a categorization is based upon the reliability of the agents in the chain. The model aims to examine all available data in order to determine the trustworthiness of agents as transmitters of informat...
    The purpose of this paper is to propose a formal description of an argumentation-based negotiation protocol between autonomous agents. This protocol is designed to be secure and computationally efficient. The security is ensured by... more
    The purpose of this paper is to propose a formal description of an argumentation-based negotiation protocol between autonomous agents. This protocol is designed to be secure and computationally efficient. The security is ensured by allowing agents to reason about trust. The computational efficiency is achieved by specifying the protocol as a set of simple logical rules that agents can easily combine. These latter are specified as a set of computational dialogue games about which agents can reason. The protocol converges by checking the termination conditions. The paper addresses also the implementation issues of our protocol using an agentoriented platform equipped with logical programming.