Using Strategic Logics to Reason about Agent Programs

Yadav, Nitin; Sardina, Sebastian

Using Strategic Logics to Reason about Agent Programs

Download BibTeX Cite

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 3101-3104.

Abstract

We propose a variant of Alternating-time Temporal Logic (ATL) grounded in the agents' operational know-how, as defined by their libraries of abstract plans. In our logic, it is possible to refer to rational strategies for agents developed under the Belief-Desire-Intention agent paradigm. This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.

Nitin Yadav, and Sebastian Sardina. 2013. Using Strategic Logics to Reason about Agent Programs. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 3101–3104. https://ijcai.org/proceedings/2013/465

@inproceedings{ijcai2013p465,
  title     = {Using Strategic Logics to Reason about Agent Programs},
  author    = {Yadav, Nitin and Sardina, Sebastian},
  booktitle = {Proceedings of the Twenty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-13}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Francesca Rossi},
  pages     = {3101--3104},
  year      = {2013},
  month     = {8},
  url       = {https://ijcai.org/proceedings/2013/465},
}

TY  - CPAPER
TI  - Using Strategic Logics to Reason about Agent Programs
AU  - Yadav, Nitin
AU  - Sardina, Sebastian
T2  - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2013
SP  - 3101
EP  - 3104
UR  - https://ijcai.org/proceedings/2013/465
ER  -