Extend Commitment Protocols with Temporal Regulations: Why and How

TL;DR

This paper proposes extending commitment protocols to incorporate explicit temporal regulations, enabling more flexible, normative, and complex commitments in multi-agent interactions.

Contribution

It introduces a unified framework to represent temporal regulations with normative force and complex conditions within commitment protocols.

Findings

Framework allows representing laws and conventions as temporal regulations.

Enables commitments to complex conditions involving temporal aspects.

Supports normative and flexible multi-agent interactions.

Abstract

The proposal of Elisa Marengo's thesis is to extend commitment protocols to explicitly account for temporal regulations. This extension will satisfy two needs: (1) it will allow representing, in a flexible and modular way, temporal regulations with a normative force, posed on the interaction, so as to represent conventions, laws and suchlike; (2) it will allow committing to complex conditions, which describe not only what will be achieved but to some extent also how. These two aspects will be deeply investigated in the proposal of a unified framework, which is part of the ongoing work and will be included in the thesis.