Towards Verifying a Blocks World for Teams GOAL Agent

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.
Original languageEnglish
Title of host publicationProceedings of the 13th International Conference on Agents and Artificial Intelligence
EditorsAna Paula Rocha, Luc Steels, Jaap van den Herik
Volume1
PublisherScience and Technology Publishing
Publication date2021
Pages337-344
ISBN (Print)978-989-758-484-8
Publication statusPublished - 2021
Event13th International Conference on Agents and Artificial Intelligence - Online Streaming
Duration: 4 Feb 20216 Feb 2021
http://www.icaart.org/

Conference

Conference13th International Conference on Agents and Artificial Intelligence
LocationOnline Streaming
Period04/02/202106/02/2021
Internet address

Keywords

  • Agent Programming
  • Formal Verification
  • Agent Logic
  • GOAL

Cite this