Towards Verifying a Blocks World for Teams GOAL Agent

Alexander Jensen

2021

Abstract

We continue to see an increase in applications based on multi-agent system technology. As the technology becomes more widespread, so does the requirement for agent systems to operate reliably. In this paper, we expand on the approach of using an agents logic to prove properties of agents. Our work describes a transformation from GOAL program code to an agent logic. We apply it to a Blocks World for Teams agent and prove a correctness property. Finally, we sketch future challenges of extending the framework.

Paper Citation

in Harvard Style

Jensen A. (2021). Towards Verifying a Blocks World for Teams GOAL Agent.In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-484-8, pages 337-344. DOI: 10.5220/0010268303370344

in Bibtex Style

@conference{icaart21,
author={Alexander Jensen},
title={Towards Verifying a Blocks World for Teams GOAL Agent},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2021},
pages={337-344},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010268303370344},
isbn={978-989-758-484-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Towards Verifying a Blocks World for Teams GOAL Agent
SN - 978-989-758-484-8
AU - Jensen A.
PY - 2021
SP - 337
EP - 344
DO - 10.5220/0010268303370344