Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications

Understand

In this work we investigate on the concept of "restraining bolt", envisioned in Science Fiction.

• Specifically we introduce a novel problem in AI.
• We have two distinct sets of features extracted from the world, one by the agent and one by the authority imposing restraining specifications (the "restraining bolt").
• The two sets are apparently unrelated since of interest to independent parties, however they both account for (aspects of) the same world.