Modelling Interactions via Commitments and Expectations

Torroni, Paolo; Yolum, Pınar; Singh, Munindar P.; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola

doi:10.4018/978-1-60566-256-5.ch011

Cited by 27 publications

(8 citation statements)

References 49 publications

(9 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other approaches to MAS RV include the spin-off proposals from the SOCS project where the SCIFF computational logic framework [3] is used to provide the semantics of social integrity constraints. To model MAS interaction, an expectation-based semantics specifies the links between observed and expected events, providing a means to test runtime conformance of an actual conversation with respect to a given interaction protocol [34]. Similar work has been performed using commitments [14].…”

Section: Related Workmentioning

confidence: 99%

RV4JaCa – Runtime Verification for Multi-Agent Systems

Engelmann

Ferrando²,

Panisson

et al. 2022

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This layer is capable of controlling events during the execution of the system without needing a specific implementation in the behaviour of each agent to recognise the events. MAS have been used in the context of hybrid intelligence. This use requires communication between software agents and human beings. In some cases, communication takes place via natural language dialogues. However, this kind of communication brings us to a concern related to controlling the flow of dialogue so that agents can prevent any change in the topic of discussion that could impair their reasoning. We demonstrate the implementation of a monitor that aims to control this dialogue flow in a MAS that communicates with the user through natural language to aid decision-making in hospital bed allocation.

show abstract

Section: Related Workmentioning

confidence: 99%

RV4JaCa – Runtime Verification for Multi-Agent Systems

Engelmann

Ferrando²,

Panisson

et al. 2022

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…Social commitments have become a popular tool for modelling social interactions, thereby providing a social semantics for agent communication languages, and defining multi-agent contracts (Castelfranchi, 1995; Singh, 1998; Singh, 1999; Fornara & Colombetti, 2003; Torroni, Yolum, et al ., 2009; Fornara & Colombetti, 2010; Dastani et al ., 2017). A social commitment is a commitment by a debtor towards a creditor for bringing about a given property.…”

Section: Models For Norm Monitoringmentioning

confidence: 99%

Monitoring norms: a multi-disciplinary perspective

Dastani

Torroni

Yorke-Smith

2018

The Knowledge Engineering Review

Self Cite

View full text Add to dashboard Cite

The concept of anormis found widely across fields including artificial intelligence, biology, computer security, cultural studies, economics, law, organizational behaviour and psychology. The concept is studied with different terminology and perspectives, including individual, social, legal and philosophical. If a norm is an expected behaviour in a social setting, then this article considers how it can be determined whether an individual is adhering to this expected behaviour. We call this processmonitoring, and again it is a concept known with different terminology in different fields. Monitoring of norms is foundational for processes of accountability, enforcement, regulation and sanctioning. Starting with a broad focus and narrowing to the multi-agent systems literature, this survey addresses four key questions: what is monitoring, what is monitored, who does the monitoring and how the monitoring is accomplished.

show abstract

“…Both formalisms are aimed at providing semantics to interaction protocols without hindering agent autonomy, but expectations differ from commitments in two important aspects: first, they do not have a mutable state, but collectively describe an evolution of an open system conforming to a protocol; second, an expectation is not characterized by a debtor and a creditor (although, loosely speaking, the agent whose behavior is described by the expectation can be viewed as the debtor, and the society as the creditor). An in-depth comparison between commitments and expectations is available in [Torroni et al 2009]. Kafalı et al [2016] present a framework, named Revani, for Revision and Verification of Normative Specifications for privacy.…”

Section: Related Workmentioning

confidence: 99%

Accountable Protocols in Abductive Logic Programming

Gavanelli

Alberti

Lamma

2018

ACM Trans. Internet Technol.

Self Cite

View full text Add to dashboard Cite

Finding the entity responsible for an unpleasant situation is often difficult, especially in artificial agent societies. S CIFF is a formalization of agent societies, including a language to describe rules and protocols, and an abductive proof procedure for compliance checking. However, how to identify the entity responsible for a violation is not always clear. In this work, a definition of accountability for artificial societies is formalized in S CIFF. Two tools are provided for the designer of interaction protocols: a guideline, in terms of syntactic features that ensure accountability of the protocol, and an algorithm (implemented in a software tool) to investigate if, for a given protocol, nonaccountability issues could arise.

show abstract

Modelling Interactions via Commitments and Expectations

Abstract: AbstrAct

Cited by 27 publications

References 49 publications

RV4JaCa – Runtime Verification for Multi-Agent Systems

RV4JaCa – Runtime Verification for Multi-Agent Systems

Monitoring norms: a multi-disciplinary perspective

Accountable Protocols in Abductive Logic Programming

Contact Info

Product

Resources

About