On using Theorem Proving for Cognitive Agent-oriented Programming

Alexander Jensen, Koen Hindriks, Jørgen Villadsen

Abstract

Demonstrating reliability of cognitive multi-agent systems is of key importance. There has been an extensive amount of work on logics for verifying cognitive agents but it has remained mostly theoretical. Cognitive agent-oriented programming languages provide the tools for compact representation of complex decision making mechanisms, which offers an opportunity for applying a theorem proving approach. We base our work on the belief that theorem proving can add to the currently available approaches for providing assurance for cognitive multi-agent systems. However, a practical approach using theorem proving is missing. We explore the use of proof assistants to make verifying cognitive multi-agent systems more practical.

Download


Paper Citation


in Harvard Style

Jensen A., Hindriks K. and Villadsen J. (2021). On using Theorem Proving for Cognitive Agent-oriented Programming.In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-484-8, pages 446-453. DOI: 10.5220/0010349504460453


in Bibtex Style

@conference{icaart21,
author={Alexander Jensen and Koen Hindriks and Jørgen Villadsen},
title={On using Theorem Proving for Cognitive Agent-oriented Programming},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2021},
pages={446-453},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010349504460453},
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 - On using Theorem Proving for Cognitive Agent-oriented Programming
SN - 978-989-758-484-8
AU - Jensen A.
AU - Hindriks K.
AU - Villadsen J.
PY - 2021
SP - 446
EP - 453
DO - 10.5220/0010349504460453