Conference paper
On Using Theorem Proving for Cognitive Agent-Oriented Programming
In
Proceedings of the 13<sup>th</sup> International Conference on Agents and Artificial Intelligence
—
2021, pp. 446-453
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.
| Language: | English |
|---|---|
| Publisher: | Science and Technology Publishing |
| Year: | 2021 |
| Pages: | 446-453 |
| Proceedings: | 13th International Conference on Agents and Artificial Intelligence |
| ISBN: | 9897584846 and 9789897584848 |
| Types: | Conference paper |
| DOI: | 10.5220/0010349504460453 |
| ORCIDs: | Jensen, Alexander Birch and Villadsen, Jørgen |
