Abstract
We study best-effort strategies (aka plans) in fully observable nondeterministic domains (FOND) for goals expressed in Linear Temporal Logic on Finite Traces (ltl \(_f\)). The notion of best-effort strategy has been introduced to also deal with the scenario when no agent strategy exists that fulfills the goal against every possible nondeterministic environment reaction. Such strategies fulfill the goal if possible, and do their best to do so otherwise. We present a technique for synthesizing best-effort strategies and propose some possible extensions of best-effort synthesis for multiple goal and planning domain specifications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Aminof, B., De Giacomo, G., Lomuscio, A., Murano, A., Rubin, S.: Synthesizing strategies under expected and exceptional environment behaviors. In: IJCAI, pp. 1674–1680 (2020)
Aminof, B., De Giacomo, G., Lomuscio, A., Murano, A., Rubin, S.: Synthesizing best-effort strategies under multiple environment specifications. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pp. 42–51 (2021)
Aminof, B., De Giacomo, G., Murano, A., Rubin, S.: Planning and synthesis under assumptions. arXiv (2018)
Aminof, B., De Giacomo, G., Murano, A., Rubin, S.: Planning under LTL environment specifications. In: ICAPS, pp. 31–39 (2019)
Aminof, B., De Giacomo, G., Rubin, S.: Best-effort synthesis: doing your best is not harder than giving up. In: IJCAI, pp. 1766–1772 (2021)
Baier, C., Katoen, J.P., Guldstrand Larsen, K.: Principles of Model Checking. MIT Press, Cambridge (2008)
Camacho, A., Bienvenu, M., McIlraith, S.A.: Finite LTL synthesis with environment assumptions and quality measures. In: KR (2018)
Camacho, A., Bienvenu, M., McIlraith, S.A.: Towards a unified view of AI planning and reactive synthesis. In: ICAPS, pp. 58–67 (2019)
Camacho, A., McIlraith, S.A.: Strong fully observable non-deterministic planning with LTL and LTL\(_f\) goals. In: IJCAI, pp. 5523–5531 (2019)
Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. AIJ 1–2(147), 35–84 (2003)
Cimatti, A., Roveri, M., Traverso, P.: Strong planning in non-deterministic domains via model checking. In: AIPS, pp. 36–43 (1998)
Ciolek, D.A., D’Ippolito, N., Pozanco, A., Sardiña, S.: Multi-tier automated planning for adaptive behavior. In: ICAPS, pp. 66–74 (2020)
De Giacomo, G., Parretti, G., Zhu, S.: Symbolic LTLf best-effort synthesis. In: EUMAS (2023)
De Giacomo, G., Rubin, S.: Automata-theoretic foundations of FOND planning for LTLf and LDLf goals. In: IJCAI, pp. 4729–4735 (2018)
De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: IJCAI, pp. 854–860 (2013)
De Giacomo, G., Vardi, M.Y.: Synthesis for LTL and LDL on finite traces. In: IJCAI, pp. 1558–1564 (2015)
Finkbeiner, B.: Synthesis of reactive systems. Dependable Softw. Syst. Eng. 45, 72–98 (2016)
Geffner, H., Bonet, B.: A Concise Introduction to Models and Methods for Automated Planning (2013)
Ghallab, M., Nau, D.S., Traverso, P.: Automated Planning - Theory and Practice (2004)
He, K., Wells, A.M., Kavraki, L.E., Vardi, M.Y.: Efficient symbolic reactive synthesis for finite-horizon tasks. In: ICRA, pp. 8993–8999 (2019)
Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL, pp. 179–190 (1989)
Pnueli, A.: The temporal logic of programs. In: FOCS, pp. 46–57 (1977)
Zhu, S., De Giacomo, G.: Act for your duties but maintain your rights. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pp. 384–393 (2022)
Zhu, S., De Giacomo, G.: Synthesis of Maximally permissive strategies for LTLf specifications. In: IJCAI, pp. 2783–2789. ijcai.org (2022)
Zhu, S., Tabajara, L.M., Li, J., Pu, G., Vardi, M.Y.: Symbolic LTL\(_f\) synthesis. In: IJCAI, pp. 1362–1369 (2017)
Acknowledgements
We thank the contributions of all the co-authors (in alphabetical order): Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, and Shufang Zhu. This work has been carried out while Gianmarco Parretti was enrolled in the Italian National Doctorate on Artificial Intelligence run by Sapienza University of Rome. This work has been partially supported by the ERC-ADG White- Mech (No. 834228), the EU ICT-48 2020 project TAILOR (No. 952215), the PRIN project RIPER (No. 20203FFYLK), and the PNRR MUR project FAIR (No. PE0000013).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Parretti, G. (2023). ltl \(_f\) Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications. In: Malvone, V., Murano, A. (eds) Multi-Agent Systems. EUMAS 2023. Lecture Notes in Computer Science(), vol 14282. Springer, Cham. https://doi.org/10.1007/978-3-031-43264-4_40
Download citation
DOI: https://doi.org/10.1007/978-3-031-43264-4_40
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-43263-7
Online ISBN: 978-3-031-43264-4
eBook Packages: Computer ScienceComputer Science (R0)