Abstract
The need to ensure reliability of agent systems increases with the applications of multi-agent technology. As we continue to develop tools that make verification more accessible to industrial applications, it becomes an even more critical requirement for the tools themselves to be reliable. We suggest that this reliability ought not be based on empirical evidence such as testing procedures. Instead we propose using an interactive theorem prover to ensure the reliability of the verification process. Our work aims to verify agent systems by emdedding a verification framework in the interactive theorem prover Isabelle/HOL.
| 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 | 345-352 |
| 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
- Proof Assistants