Abstract
Our aim is to develop a formal semantics for giving instructions to taskable agents, to investigate the complexity of decision problems relating to these semantics, and to explore the issues that these semantics raise. In the setting we consider, agents are given instructions in the form of Linear Temporal Logic (LTL) formulae; the intuitive interpretation of such an instruction is that the agent should act in such a way as to ensure the formula is satisfied. At the same time, agents are assumed to have inviolable and immutable background safety requirements, also specified as LTL formulae. Finally, the actions performed by an agent are assumed to have costs, and agents must act within a limited budget. For this setting, we present a range of interpretations of an instruction to achieve an LTL task Υ, intuitively ranging from “try to do this but only if you can do so with everything else remaining unchanged” up to “drop everything and get this done.” For each case we present a formal pre-/post-condition semantics, and investigate the computational issues that they raise.
Original language | English |
---|---|
Title of host publication | 29th International Symposium on Temporal Representation and Reasoning, TIME 2022 |
Editors | Alexander Artikis, Roberto Posenato, Stefano Tonetta |
Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
ISBN (Electronic) | 9783959772624 |
DOIs | |
State | Published - 1 Nov 2022 |
Event | 29th International Symposium on Temporal Representation and Reasoning, TIME 2022 - Virtual, Online Duration: 7 Nov 2022 → 9 Nov 2022 |
Publication series
Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|
Volume | 247 |
ISSN (Print) | 1868-8969 |
Conference
Conference | 29th International Symposium on Temporal Representation and Reasoning, TIME 2022 |
---|---|
City | Virtual, Online |
Period | 7/11/22 → 9/11/22 |
Bibliographical note
Publisher Copyright:© Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, and Michael Wooldridge.
Funding
Funding Giuseppe Perelli: Giuseppe Perelli is partially supported by the ERC Advanced Grant WhiteMech (No. 834228), by the EU ICT-48 2020 project TAILOR (No. 952215), and by the Sapienza University project “BeGood” (No. AR22117A2DC7CD60). Michael Wooldridge: Michael Wooldridge was supported by the UKRI under grant (grant EP/ W002949/1).
Funders | Funder number |
---|---|
EU ICT-48 2020 | 952215 |
UK Research and Innovation | EP/ W002949/1 |
European Commission | 834228 |
Sapienza Università di Roma | AR22117A2DC7CD60 |
Keywords
- Game theory
- Linear Temporal Logic
- Multi-Agent Systems
- Synthesis