Jamal Bentahar

Learn More
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the dynamics of conversations between agents; (2) to analyze conversations; (3) to help autonomous agents to take part in consistent conversations. The proposed formalism, called(More)
In this paper we present a semantics for our approach based on social commitments (SCs) and arguments for conversational agents. More precisely, we propose a logical model based on CTL* and on dynamic logic (DL). Called Commitment and Argument Network, our formal framework based on this approach uses three basic elements: SCs, actions that agents apply to(More)
In open multi-agent systems, agents engage in interactions to share and exchange information. Due to the fact that these agents are self-interested, they may jeopardize mutual trust by not performing actions as they are expected to do. To this end, different models of trust have been proposed to assess the credibility of peers in the environment. These(More)
In this paper we present a modal semantics for our approach based on social commitments and arguments for conversational agents. Our formal framework based on this approach uses three basic elements: social commitments, actions that agents apply to these social commitments and arguments that agents use to support their actions. This framework, called(More)
As the number of Web services continues to increase, so does the opportunities to compose them to build more complex and complete business solutions. To facilitate and speed up Web-services discovery, Web services with similar (or equivalent) functionalities - such as flight booking and travel reservation - can be grouped into communities. Argumentation(More)
In last years, trust and reputation has been gaining increasing interest in multi-agent systems (MAS). To address this issue, we propose in this paper a maintenance-based trust mechanism for agents operating in multi-agent systems. In the proposed model, a comprehensive trust assessment process is provided to assess the trustworthiness of the participating(More)
Existing approaches about defining formal semantics of commitment usually consider operations as axioms or constrains on top of the commitment semantics, which fail to capture the meaning of interactions that are central to real-life business scenarios. Furthermore, existing semantic frameworks using different logics do not gather the full semantics of(More)
Web services communities can be seen as virtual clusters that agglomerate Web services with the same functionality (e.g., FlightBooking). However, selecting a community to deal with is a challenging task to users and providers. Reputation, besides other selection criteria, has been widely used for evaluating and ranking candidates. Interestingly, the(More)
This paper addresses the issue of selecting Web services residing in a community. Since these Web services have similar functionalities, this selection depends on their Quality of Service (QoS). Existing approaches only consider the satisfaction of users' requirements and neglect the satisfaction of Web services' requirements and the community to which they(More)
This paper examines the problem of Web service selection in a community. Web services reside in communities due to the similiar functionalities they offer. The selection in communities is important because each Web service provides a different level of service. Selection methods thus far only consider the satisfaction of users and neglect the satisfaction(More)