Synthesizing strategies under expected and exceptional environment behaviors

Benjamin Aminof; Giuseppe De Giacomo; Alessio Lomuscio; Aniello Murano; Sasha Rubin

IJCAI 2020poster0 citations

Synthesizing strategies under expected and exceptional environment behaviors

Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Abstract

We consider an agent that operates with two models of the environment: one that captures expected behaviors and one that captures additional exceptional behaviors. We study the problem of synthesizing agent strategies that enforce a goal against environments operating as expected while also making a best effort against exceptional environment behaviors. We formalize these concepts in the context of linear-temporal logic, and give an algorithm for solving this problem. We also show that there is no trade-off between enforcing the goal under the expected environment specification and making a best-effort for it under the exceptional one.

Knowledge Representation and Reasoning: Action, Change and CausalityPlanning and Scheduling: Theoretical Foundations of PlanningAgent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis

BibTeX

@inproceedings{ijcai2020p232,
  title     = {Synthesizing strategies under expected and exceptional environment behaviors},
  author    = {Aminof, Benjamin and De Giacomo, Giuseppe and Lomuscio, Alessio and Murano, Aniello and Rubin, Sasha},
  booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-20}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Christian Bessiere},
  pages     = {1674--1680},
  year      = {2020},
  month     = {7},
  note      = {Main track},
  doi       = {10.24963/ijcai.2020/232},
  url       = {https://doi.org/10.24963/ijcai.2020/232},
}