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.
| Original language | English |
|---|---|
| Title of host publication | ICAART 2021 |
| Subtitle of host publication | Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1 |
| Editors | Ana Paula Rocha, Luc Steels, Jaap van den Herik |
| Publisher | SciTePress |
| Pages | 446-453 |
| Number of pages | 8 |
| Volume | 1 |
| ISBN (Electronic) | 9789897584848 |
| Publication status | Published - 2021 |
| Event | 13th International Conference on Agents and Artificial Intelligence, ICAART 2021 - Virtual, Online Duration: 4 Feb 2021 → 6 Feb 2021 |
Conference
| Conference | 13th International Conference on Agents and Artificial Intelligence, ICAART 2021 |
|---|---|
| City | Virtual, Online |
| Period | 4/02/21 → 6/02/21 |
UN SDGs
This output contributes to the following UN Sustainable Development Goals (SDGs)
-
SDG 16 Peace, Justice and Strong Institutions
Fingerprint
Dive into the research topics of 'On using theorem proving for cognitive agent-oriented programming'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver