履行职责但维护权利
人工智能
2023-02-08 v1
摘要
大部分综合文献侧重于研究如何综合出一种策略以完成任务。该任务对智能体而言是一项职责。在本文中，我们主张智能体也应被赋予权利，即智能体自身可以选择去完成的任务（例如，给电池充电的权利）。智能体在履行其职责时应能够维护这些权利。我们在 LTLf 综合的背景下研究这一问题：我们以 LTLf 规范的形式给出职责和权利，并综合出一种合适的策略来实现职责，如果智能体选择这样做，该策略可以即时修改以同时实现权利。我们表明，处理权利并不会使综合变得实质上更困难，尽管它需要比标准 LTLf 综合更复杂解的概念。我们还将结果扩展到智能体在执行过程中被赋予进一步职责和权利的情况。
引用
@article{arxiv.2302.03384,
title = {Act for Your Duties but Maintain Your Rights},
author = {Shufang Zhu and Giuseppe De Giacomo},
journal= {arXiv preprint arXiv:2302.03384},
year = {2023}
}