The Logic of Doxastic Strategies
Artificial Intelligence
2023-12-14 v2 Logic in Computer Science
Abstract
In many real-world situations, there is often not enough information to know that a certain strategy will succeed in achieving the goal, but there is a good reason to believe that it will. The paper introduces the term ``doxastic'' for such strategies. The main technical contribution is a sound and complete logical system that describes the interplay between doxastic strategy and belief modalities.
Cite
@article{arxiv.2312.07107,
title = {The Logic of Doxastic Strategies},
author = {Junli Jiang and Pavel Naumov},
journal= {arXiv preprint arXiv:2312.07107},
year = {2023}
}
Comments
Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24)