Machine-checked Verification of Cognitive Agents

Alexander Jensen

2022

Abstract

The ability to demonstrate reliability is an important aspect in deployment of software systems. This applies to cognitive multi-agent systems in particular due to their inherent complexity. We are still pursuing better approaches to demonstrate their reliability. The use of proof assistants and theorem proving has proven itself successful in verifying traditional software programs. This paper explores how to apply theorem proving to verify agent programs. We present our most recent work on formalizing a verification framework for cognitive agents using the proof assistant Isabelle/HOL.

Paper Citation

in Harvard Style

Jensen A. (2022). Machine-checked Verification of Cognitive Agents. In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-547-0, pages 245-256. DOI: 10.5220/0010838700003116

in Bibtex Style

@conference{icaart22,
author={Alexander Jensen},
title={Machine-checked Verification of Cognitive Agents},
booktitle={Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2022},
pages={245-256},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010838700003116},
isbn={978-989-758-547-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Machine-checked Verification of Cognitive Agents
SN - 978-989-758-547-0
AU - Jensen A.
PY - 2022
SP - 245
EP - 256
DO - 10.5220/0010838700003116