KR2021Proceedings of the 18th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

Online event. November 3-12, 2021.

Edited by
  1. Meghyn Bienvenu
  2. Gerhard Lakemeyer
  3. Esra Erdem

ISSN: 2334-1033
ISBN: 978-1-956792-99-7

Sponsored by
Published by

Copyright © 2021 International Joint Conferences on Artificial Intelligence Organization

Satisfiability Checking of Strategy Logic with Simple Goals

  1. Magdalena Kacprzak(Bialystok University of Technology)
  2. Artur Niewiadomski(Siedlce University, Faculty of Exact and Natural Sciences)
  3. Wojciech Penczek(Institute of Computer Science, Polish Academy of Sciences)
PDF
BibTeX
https://doi.org/10.24963/kr.2021/38

Keywords

  1. KR and autonomous agents and multi-agent systems

Abstract

In this paper, we introduce a new method of the satisfiability (SAT) checking for Simple-Goal Strategy Logic (SL[SG]), using symbolic Boolean model encoding and the SAT Modulo Monotonic Theories techniques, which was implemented into the tool SGSAT. To the best of our knowledge, this is the only tool solving the SAT problem for SL[SG]. Its applications include process synthesis, developing controllers as well as automatic planners in multi-agent scenarios.