Theorem proving approaches have successfully been applied to verify various traditional software and hardware systems. However, it has not been explored how theorem proving can be applied to verify agent systems. We formalize a framework for verification of cognitive agent programs in a proof assistant. This enables access to powerful automation and provides assurance that our results are correct.
|Title of host publication||Distributed Computing and Artificial Intelligence|
|Editors||Kenji Matsui, Sigeru Omatu, Tan Yigitcanlar, Sara Rodríguez González|
|Publication status||Published - 2022|
|Event||18th International Symposium on Distributed Computing and Artificial Intelligence - Salamanca, Spain|
Duration: 6 Oct 2021 → 8 Oct 2021
|Conference||18th International Symposium on Distributed Computing and Artificial Intelligence|
|Period||06/10/2021 → 08/10/2021|
|Series||Lecture Notes in Networks and Systems|
Bibliographical notePublisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.