Abstract
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.
Original language | English |
---|---|
Title of host publication | Distributed Computing and Artificial Intelligence |
Editors | Kenji Matsui, Sigeru Omatu, Tan Yigitcanlar, Sara Rodríguez González |
Publisher | Springer |
Publication date | 2022 |
Pages | 1-11 |
ISBN (Print) | 9783030862602 |
DOIs | |
Publication status | Published - 2022 |
Event | 18th International Symposium on Distributed Computing and Artificial Intelligence - Salamanca, Spain Duration: 6 Oct 2021 → 8 Oct 2021 https://www.dcai-conference.net/ |
Conference
Conference | 18th International Symposium on Distributed Computing and Artificial Intelligence |
---|---|
Country/Territory | Spain |
City | Salamanca |
Period | 06/10/2021 → 08/10/2021 |
Internet address |
Series | Lecture Notes in Networks and Systems |
---|---|
Volume | 327 LNNS |
ISSN | 2367-3370 |
Bibliographical note
Publisher Copyright:© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.