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 language | English |
|---|---|
| Title of host publication | Proceedings of the 13th International Conference on Agents and Artificial Intelligence |
| Editors | Ana Paula Rocha, Luc Steels, Jaap van den Herik |
| Volume | 1 |
| Publisher | Science and Technology Publishing |
| Publication date | 2021 |
| Pages | 337-344 |
| ISBN (Print) | 978-989-758-484-8 |
| Publication status | Published - 2021 |
| Event | 13th International Conference on Agents and Artificial Intelligence - Online conference Duration: 4 Feb 2021 → 6 Feb 2021 Conference number: 13 https://icaart.scitevents.org/NLPinAI.aspx?y=2021 http://www.icaart.org/ |
Conference
| Conference | 13th International Conference on Agents and Artificial Intelligence |
|---|---|
| Number | 13 |
| Location | Online conference |
| Period | 04/02/2021 → 06/02/2021 |
| Other | With a special session on Natural Language Processing in Artificial Intelligence - NLPinAI 2021. |
| Internet address |
Keywords
- Agent Programming
- Formal Verification
- Agent Logic
- GOAL