A Theorem Proving Approach to Formal Verification of a Cognitive Agent

Alexander Birch Jensen*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 languageEnglish
Title of host publicationDistributed Computing and Artificial Intelligence
EditorsKenji Matsui, Sigeru Omatu, Tan Yigitcanlar, Sara Rodríguez González
PublisherSpringer
Publication date2022
Pages1-11
ISBN (Print)9783030862602
DOIs
Publication statusPublished - 2022
Event18th International Symposium on Distributed Computing and Artificial Intelligence - Salamanca, Spain
Duration: 6 Oct 20218 Oct 2021
https://www.dcai-conference.net/

Conference

Conference18th International Symposium on Distributed Computing and Artificial Intelligence
Country/TerritorySpain
CitySalamanca
Period06/10/202108/10/2021
Internet address
SeriesLecture Notes in Networks and Systems
Volume327 LNNS
ISSN2367-3370

Bibliographical note

Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Fingerprint

Dive into the research topics of 'A Theorem Proving Approach to Formal Verification of a Cognitive Agent'. Together they form a unique fingerprint.

Cite this