2015
DOI: 10.1007/978-3-319-24309-2_7
|View full text |Cite
|
Sign up to set email alerts
|

Empowering Agent Coordination with Social Engagement

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
11
0

Year Published

2015
2015
2018
2018

Publication Types

Select...
4
2

Relationship

5
1

Authors

Journals

citations
Cited by 8 publications
(11 citation statements)
references
References 14 publications
0
11
0
Order By: Relevance
“…To verify the compliance of an agent to a protocol, in fact, it is sufficient to verify whether the agent is capable of fulfilling the commitments associated with a specific protocol role. This paves the way for methodologies implementing agents driven by the commitments (see for example, the CoSE methodology [63]), and also mechanisms of agent-type checking, in which agent behaviors are typed with the set of commitments they make progress on [64].…”
Section: Impact and Discussionmentioning
confidence: 99%
“…To verify the compliance of an agent to a protocol, in fact, it is sufficient to verify whether the agent is capable of fulfilling the commitments associated with a specific protocol role. This paves the way for methodologies implementing agents driven by the commitments (see for example, the CoSE methodology [63]), and also mechanisms of agent-type checking, in which agent behaviors are typed with the set of commitments they make progress on [64].…”
Section: Impact and Discussionmentioning
confidence: 99%
“…2COMM supports programming JADE and Jason agents, by following a uniform approach. Moreover, agents programming can leverage the methodology explained in [3]. It also simplifies the interaction of different agent platforms thanks to its connectors, which make protocol artifacts accessible and, thus, allow mediated communication between agents that belong to different platforms.…”
Section: Conclusion and Discussionmentioning
confidence: 99%
“…In this light, the social state can be seen as a special kind of business artifact in the sense of [6,18,14]. JaCaMo+ allows specifying agent programs as Jason plans, whose triggering events amount to the change of the state of some commitment [2]. Suppose, to make an example, that the commitment goes to the state "detached" and that this event triggers a plan in the agent which is the debtor of that commitment: the connection between the commitment and the associated plan is not only causal (event triggers plan), but rather the plan is explicitly attached to the commitment, in the sense that its aim is to satisfy the consequent condition of the commitment (norm-awareness).…”
Section: Steps Towards Data and Norm Awarenessmentioning
confidence: 99%
“…A language for representing norms that guarantees a priori the decidability of property analysis would be a great advancement being the tool that agents need to reason and decide which action to take, thus leveraging their autonomy. JaCaMo [9], simpAL [40], JaCaMo+ [2] are existing platforms for the development of MAS that have the right potential for developing the view depicted in Figure 2. The next step would be the introduction of information-centric artifacts, whose lifecycle and data evolution are realized by way of query languages that, as for DACMAS [36], guarantee decidability when certain constraints are met.…”
Section: Steps Towards Data and Norm Awarenessmentioning
confidence: 99%