履行你的义务，但维护你的权利
Act for Your Duties but Maintain Your Rights
摘要：
大多数的综合文献都集中在研究如何综合一个策略来完成一项任务。这项工作是代理人的职责。在本文中，我们认为智能代理也应该配备权利，即代理本身可以选择完成的任务（例如，对电池再充电的权利）。代理人在履行其职责的同时，应当能够维护这些权利。我们在LTLf合成的背景下研究这个问题：我们给出了LTLf规范方面的职责和权利，并合成了一个合适的策略来实现可以在运行中修改的职责，以实现权利，如果代理选择这样做。我们表明，处理权并没有使合成更困难，虽然它需要一个更复杂的解决方案的概念比标准的LTLf合成。我们还扩展我们的结果的情况下，进一步的义务和权利给予代理人，而已经执行。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
