Moral Planning Agents with LTL Values - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Moral Planning Agents with LTL Values

Résumé

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.
Fichier principal
Vignette du fichier
0047.pdf (184.97 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04301827 , version 1 (23-11-2023)

Identifiants

Citer

Umberto Grandi, Emiliano Lorini, Timothy Parker. Moral Planning Agents with LTL Values. 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023 ), International Joint Conferences on Artifical Intelligence (IJCAI), Aug 2023, Macau, China. pp.418-426, ⟨10.24963/ijcai.2023/47⟩. ⟨hal-04301827⟩
162 Consultations
124 Téléchargements

Altmetric

Partager

More