Representing and monitoring social commitments using the event calculus

Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo

doi:10.1007/s10458-012-9202-0

Cited by 62 publications

(76 citation statements)

References 46 publications

(89 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Chesani et al [22,23] were perhaps the first to address commitment monitoring through a formal yet operational approach. They define a declarative, practical language for commitments, and exhibit a proof approach with the reactive event calculus.…”

Section: Related Work and Discussionmentioning

confidence: 99%

Commitments and interaction norms in organisations

Dastani

Torre

Yorke-Smith

2015

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

In an organisational setting such as an online marketplace, an entity called the 'organisation' or 'institution' defines interaction protocols, monitors agent interaction, and intervenes to enforce the interaction protocols. The organisation might be a software system that thus regulates the marketplace, for example. In this article we abstract over applicationspecific protocols and consider commitment lifecycles as generic interaction protocols. We model interaction protocols by explicitly-represented norms, such that we can operationalise the enforcement of protocols by means of norm enforcement, and we can analyse the protocols by a logical analysis of the norms. We adopt insights and methods from commitment-based approaches to agent interaction as well as from norm-based approaches to agent behaviour governance. First, we show how to use explicitly-represented norms to model commitment dynamics (lifecycles). Second, we introduce an operational semantics to operationalise norm enforcement. Third, we show how to logically analyse interaction protocols by means of commitment dynamics and norm enforcement. The model, semantics, and analysis are illustrated by a running example from a vehicle insurance domain. Keywords Commitments · Normative organisations · Operational semanticsThe foundations of the ideas developed in this article were presented at the COIN workshop at AAMAS'12 [34] and briefly summarized at the AAMAS'12 conference [33].

show abstract

Section: Related Work and Discussionmentioning

confidence: 99%

Commitments and interaction norms in organisations

Dastani

Torre

Yorke-Smith

2015

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

show abstract

“…Moreover, the modular nature of the implementation facilitates the development of extensions for tackling richer, data-aware contexts [9,17,10]. We are also interested in tackling, in the implementation, a more sophisticate notion of social context and of enactment of a protocol in a social context [3], as well as to introduce a typing system along the line of [1].…”

Section: Discussionmentioning

confidence: 99%

Exploiting Social Commitments in Programming Agent Interaction

Baldoni

Baroglio

Capuzzimati

et al. 2015

PRIMA 2015: Principles and Practice of Multi-Agent Systems

View full text Add to dashboard Cite

Abstract. Modeling and regulating interactions among agents is a critical step in the development of Multiagent Systems (MASs). Some recent works assume a normative view, and suggest to model interaction protocols in terms of obligations. In this paper we propose to model interaction protocols in terms of goals and commitments, and show how such a formalization promotes a deliberative process inside the agents. The proposal is implemented via JaCaMo+, an extension of JaCaMo, in which Jason agents can interact, while preserving their deliberative capabilities, by exploiting commitment-based protocols, reified by special CArtAgO artifacts.

show abstract

“…We incorporate deadlines in all norm types, extending previous work on commitments [9], [16]. Listing 2 provides the rules defining a norm's lifecycle (as Figure 1 shows).…”

Section: A Temporal Normsmentioning

confidence: 99%

“…In particular, they verify whether the agent's expectations are satisfiable by its current state. Chesani et al [9] propose a monitoring approach for commitments via the Reactive Event Calculus (REC). We support a more general model of norms, and provide generation of expectations from norm enactments.…”

Section: Related Workmentioning

confidence: 99%

“…We will improve the generation process in future work by considering additional pruning techniques to reduce the number of generated enactments. Implementations of EC, such as REC [9], suffer from performance limitation in run time monitoring. However, recent implementations of EC such as RTEC [6] support efficient event recognition for both retrospective analysis (e.g., diagnosis) and monitoring.…”

Section: Scalabilitymentioning

confidence: 99%

See 1 more Smart Citation

NANE: Identifying Misuse Cases Using Temporal Norm Enactments

Kafalı

Singh

Williams

2016

2016 IEEE 24th International Requirements Engineering Conference (RE)

View full text Add to dashboard Cite

Abstract-Recent data breaches in domains such as healthcare where confidentiality of data is crucial indicate that breaches often originate from misuses, not only from vulnerabilities in the technical (software or hardware) architecture. Current requirements engineering (RE) approaches determine what access control mechanisms are needed to protect sensitive resources (assets). However, current RE approaches inadequately characterize how a user is expected to interact with others in relation to the relevant assets. Consequently, a requirements analyst cannot readily identify misuses by legitimate users. We adopt social norms as a natural, formal means of characterizing user interactions whereby potential misuses map to norm violations. Our research goal is to help analysts identify misuse cases by formal reasoning about norm enactments. We propose NANE, a formal framework for identifying such misuse cases using a semiautomated process. We demonstrate how NANE enables monitoring of potential misuses on a healthcare scenario.

show abstract

Representing and monitoring social commitments using the event calculus

Cited by 62 publications

References 46 publications

Commitments and interaction norms in organisations

Commitments and interaction norms in organisations

Exploiting Social Commitments in Programming Agent Interaction

NANE: Identifying Misuse Cases Using Temporal Norm Enactments

Contact Info

Product

Resources

About