Towards Verifying GOAL Agents in Isabelle/HOL

Alexander Jensen

2021

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.

Paper Citation

in Harvard Style

Jensen A. (2021). Towards Verifying GOAL Agents in Isabelle/HOL.In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-484-8, pages 345-352. DOI: 10.5220/0010268503450352

in Bibtex Style

@conference{icaart21,
author={Alexander Jensen},
title={Towards Verifying GOAL Agents in Isabelle/HOL},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2021},
pages={345-352},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010268503450352},
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 GOAL Agents in Isabelle/HOL
SN - 978-989-758-484-8
AU - Jensen A.
PY - 2021
SP - 345
EP - 352
DO - 10.5220/0010268503450352