Enacting protocols by commitment concession

Yolum, Pınar; Singh, Munindar P.

doi:10.1145/1329125.1329158

Cited by 13 publications

(8 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Besides, we plan to support other normative concepts such as obligations and prohibitions, which are relevant to commitments (Boella & van der Torre, 2004;Craven & Sergot, 2008;Ågotnes, van der Hoek, & Wooldridge, 2010;Criado, Argente, & Botti, 2011). Last but not least integration of ProMoca with the recent work on dynamic protocol creation in open systems is an interesting future work (Yolum & Singh, 2007;Artikis, 2009;Meneguzzi, Telang, & Singh, 2013;Günay, Winikoff, & Yolum, 2013Cranefield, Savarimuthu, Meneguzzi, & Oren, 2015). This research aims to automate creation of protocols at run-time, which requires agents to agree on a commitment protocol to regulate their interaction according to their own requirements.…”

Section: Discussionmentioning

confidence: 99%

ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols

Günay¹,

Liu²,

Zhang³

2016

jair

View full text Add to dashboard Cite

Social commitment protocols regulate interactions of agents in multiagent systems. Several methods have been developed to analyze properties of commitment protocols. However, analysis of an agent's behavior in a commitment protocol, which should take into account the agent's goals and beliefs, has received less attention. In this paper we present ProMoca framework to address this issue. Firstly, we develop an expressive formal language to model agents with respect to their commitments. Our language provides dedicated elements to define commitment protocols, and model agents in terms of their goals, behaviors, and beliefs. Furthermore, our language provides probabilistic and non-deterministic elements to model uncertainty in agents' beliefs. Secondly, we identify two essential properties of an agent with respect to a commitment protocol, namely compliance and goal satisfaction. We formalize these properties using a probabilistic variant of linear temporal logic. Thirdly, we adapt a probabilistic model checking algorithm to automatically analyze compliance and goal satisfaction properties. Finally, we present empirical results about efficiency and scalability of ProMoca.

show abstract

Section: Discussionmentioning

confidence: 99%

ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols

Günay¹,

Liu²,

Zhang³

2016

jair

View full text Add to dashboard Cite

show abstract

“…One work that focuses on the problem of protocol composition is [32]. It introduces considerations of rationality on the enactment of protocols.…”

Section: Related Workmentioning

confidence: 99%

A mechanism for discovering semantic relationships among agent communication protocols

Berges

Bermúdez

Goñi

et al. 2010

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agent communication capability at the semantic level. Agents should be able to communicate with each other freely using different communication protocols, constituted by communication acts. For that scenario, we introduce in this paper an efficient mechanism that presents the following main features: (i) It promotes the description of the communication acts of protocols as classes that belong to a communication acts ontology, and associates to those acts a social commitment semantics formalized through predicates in the Event Calculus. (ii) It is sustained on the idea that different protocols can be compared semantically by looking to the set of fluents associated to each branch of the protocols. Those sets are generated using Semantic Web technology rules. (iii) It discovers the following types of protocol relationships: equivalence, specialization, restriction, prefix, suffix, infix and complement_to_infix.

show abstract

“…Consequences: In general, the antecedents and consequents of the commitments are both composite expressions. Importantly, we need a mechanism to ensure progress by in essence breaking the symmetry, e.g., via a form of concession [10].…”

Section: Fig 4 Commercial Transactionmentioning

confidence: 99%

Business Modeling via Commitments

Telang

Singh

2009

Service-Oriented Computing: Agents, Semantics, and Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. Existing computer science approaches to business modeling offer lowlevel abstractions such as data and control flows, which fail to capture the business intent underlying the interactions that are central to real-life business models. In contrast, existing management science approaches are high-level but not only are these semiformal, they are also focused exclusively on managerial concerns such as valuations and profitability. This paper proposes a novel business metamodel based on commitments that considers additional agent-oriented concepts, specifically, goals and tasks. It proposes a set of business patterns and algorithms for checking model completeness and verification of agent interactions. Unlike traditional models, our approach marries rigor and flexibility, providing a crisp notion of correctness and compliance independent of specific executions.

show abstract

Enacting protocols by commitment concession

Cited by 13 publications

References 11 publications

ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols

ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols

A mechanism for discovering semantic relationships among agent communication protocols

Business Modeling via Commitments

Contact Info

Product

Resources

About