信念策略的逻辑
人工智能
2023-12-14 v2 计算机科学中的逻辑
摘要
在许多现实情况中，通常没有足够的信息来知道某一策略能成功实现目标，但有充分理由相信它会成功。本文为这类策略引入术语“信念”。主要的技术贡献是一个可靠且完备的逻辑系统，描述了信念策略与信念模态之间的相互作用。
引用
@article{arxiv.2312.07107,
title = {The Logic of Doxastic Strategies},
author = {Junli Jiang and Pavel Naumov},
journal= {arXiv preprint arXiv:2312.07107},
year = {2023}
}
备注
Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24)