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