论意识逻辑中认知算子的翻译
计算机科学中的逻辑
2026-04-07 v1
摘要
基于意识的不可区分性逻辑（AIL）通过引入意识概念扩展了认知逻辑，区分了显性知识和隐性知识。在此框架中，每个概念都由一个模态算子表示。另一方面，经济学文献中发展的HMS模型也提供了对这些概念的形式化。然而，AIL中的认知算子在HMS模型中的行为尚未被探索。在本文中，我们定义了从AIL模型到HMS模型的变换，然后证明了AIL语言片段之间的翻译在此变换下保持真值。因此，我们阐明了AIL中由意识诱导且对定义显性知识至关重要的认知算子在HMS模型中的语义角色。此外，我们展示了AIL和HMS模型所捕获的隐性知识的差异。这项工作为模型类之间的比较分析奠定了基础。
引用
@article{arxiv.2602.18040,
title = {On Translating Epistemic Operators in a Logic of Awareness},
author = {Yudai Kubono},
journal= {arXiv preprint arXiv:2602.18040},
year = {2026}
}
备注
5 pages. Submitted version. Accepted at FoIKS 2026