Moral Planning Agents with LTL Values

被引：0
|
作者：
Grandi, Umberto [1 ]
Lorini, Emiliano [1 ]
Parker, Timothy [1 ]
机构：
[1] Univ Toulouse, CNRS, IRIT, Toulouse, France
来源：
PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023 | 2023年
关键词：
LOGIC; RESPONSIBILITY; REPRESENTATION;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A moral planning agent (MPA) seeks to compare two plans or compute an optimal plan in an interactive setting with other agents, where relative ideality and optimality of plans are defined with respect to a prioritized value base. We model MPAs whose values are expressed by formulas of linear temporal logic (LTL) and define comparison for both joint plans and individual plans. We introduce different evaluation criteria for individual plans including an optimistic (risk-seeking) criterion, a pessimistic (risk-averse) one, and two criteria based on the use of anticipated responsibility. We provide complexity results for a variety of MPA problems.
引用
收藏
页码：418 / 426
页数：9
相关论文
共 50 条
  • [1] Collaborating agents: Values, sociality, and moral responsibility
    Doris, John M.
    BEHAVIORAL AND BRAIN SCIENCES, 2018, 41
  • [2] Ought we align the values of artificial moral agents?
    Erez Firt
    AI and Ethics, 2024, 4 (2): : 273 - 282
  • [3] LTL planning for groups of robots
    Kloetzer, Marius
    Belta, Calin
    PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, 2006, : 578 - 583
  • [4] Finite LTL Synthesis as Planning
    Camacho, Alberto
    Baier, Jorge A.
    Muise, Christian
    McIlraith, Sheila A.
    TWENTY-EIGHTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2018), 2018, : 29 - 38
  • [5] Correction: Ought we align the values of artificial moral agents?
    Erez Firt
    AI and Ethics, 2024, 4 (2): : 283 - 283
  • [6] Maximally Satisfying LTL Action Planning
    Tumova, Jana
    Marzinotto, Alejandro
    Dimarogonas, Dimos V.
    Kragic, Danica
    2014 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2014), 2014, : 1503 - 1510
  • [7] Moral Values in Moral Psychology
    Cazzell, Amber R.
    Starks, Shannon
    Hickman, Jacob R.
    Hardy, Sam A.
    JOURNAL OF THEORETICAL AND PHILOSOPHICAL PSYCHOLOGY, 2021, 41 (01): : 35 - 57
  • [8] A Graphical Language for LTL Motion and Mission Planning
    Srinivas, Shashank
    Kermani, Ramtin
    Kim, Kangjin
    Kobayashi, Yoshihiro
    Fainekos, Georgios
    2013 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS (ROBIO), 2013, : 704 - 709
  • [9] Robust Strategy Planning for UAV with LTL Specifications
    Ji, Xiaoting
    Niu, Yifeng
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 2890 - 2895
  • [10] Progression Heuristics for Planning with Probabilistic LTL Constraints
    Mallett, Ian
    Thiebaux, Sylvie
    Trevizan, Felipe
    THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 11870 - 11879
12345