Towards Verifying GOAL Agents in Isabelle/HOL

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

Abstract

The need to ensure reliability of agent systems increases with the applications of multi-agent technology. As we continue to develop tools that make verification more accessible to industrial applications, it becomes an even more critical requirement for the tools themselves to be reliable. We suggest that this reliability ought not be based on empirical evidence such as testing procedures. Instead we propose using an interactive theorem prover to ensure the reliability of the verification process. Our work aims to verify agent systems by emdedding a verification framework in the interactive theorem prover Isabelle/HOL.
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
Pages345-352
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
  • Proof Assistants

Fingerprint

Dive into the research topics of 'Towards Verifying GOAL Agents in Isabelle/HOL'. Together they form a unique fingerprint.

Cite this