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 | Proceedings of the 13th International Conference on Agents and Artificial Intelligence |
Editors | Ana Paula Rocha, Luc Steels, Jaap van den Herik |
Volume | 1 |
Publisher | Science and Technology Publishing |
Publication date | 2021 |
Pages | 446-453 |
ISBN (Print) | 978-989-758-484-8 |
Publication status | Published - 2021 |
Event | 13th International Conference on Agents and Artificial Intelligence - Online conference Duration: 4 Feb 2021 → 6 Feb 2021 Conference number: 13 https://icaart.scitevents.org/NLPinAI.aspx?y=2021 http://www.icaart.org/ |
Conference
Conference | 13th International Conference on Agents and Artificial Intelligence |
---|---|
Number | 13 |
Location | Online conference |
Period | 04/02/2021 → 06/02/2021 |
Other | With a special session on Natural Language Processing in Artificial Intelligence - NLPinAI 2021. |
Internet address |
Keywords
- Agent Programming
- Formal Verification
- Agent Logic
- GOAL