Act for Your Duties but Maintain Your Rights

Abstract

Most of the synthesis literature has focused on studying how to synthesize a strategy to fulfill a task. This task is a duty for the agent. In this paper, we argue that intelligent agents should also be equipped with rights, that is, tasks that the agent itself can choose to fulfill (e.g., the right of recharging the battery). The agent should be able to maintain these rights while acting for its duties. We study this issue in the context of LTLf synthesis: we give duties and rights in terms of LTLf specifications, and synthesize a suitable strategy to achieve the duties that can be modified on-the-fly to achieve also the rights, if the agent chooses to do so. We show that handling rights does not make synthesis substantially more difficult, although it requires a more sophisticated solution concept than standard LTLf synthesis. We also extend our results to the case in which further duties and rights are given to the agent while already executing.

Foundations of Reactive Synthesis for Declarative Process Specifications

“…We now turn to realizability of DECLARE. We start from the key consideration that in the case of agents in AI (Zhu and De Giacomo 2022), as well as in BPM, there is background knowledge on how Environment operates. In particular, in BPM the external stakeholders participate to the process in a constrained way: when it is their turn, they take (arbitrary) decisions on which next action to trigger but only on the subset of all actions made available by the information system supporting the enactment of the process (Dumas et al 2018).…”