ML Anthology

Using Strategic Logics to Reason About Agent Programs

Nitin Yadav, Sebastian Sardiña
IJCAI 2013 pp. 3101-3105
/ijcai/2013/yadav2013ijcai-using/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Yadav and Sardiña. "Using Strategic Logics to Reason About Agent Programs." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Yadav and Sardiña. "Using Strategic Logics to Reason About Agent Programs." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/yadav2013ijcai-using/)

BibTeX

@inproceedings{yadav2013ijcai-using,
  title     = {{Using Strategic Logics to Reason About Agent Programs}},
  author    = {Yadav, Nitin and Sardiña, Sebastian},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {3101-3105},
  url       = {https://mlanthology.org/ijcai/2013/yadav2013ijcai-using/}
}