一种用于信念、论证及其动态变化的觉知认知框架
计算机科学中的逻辑
2021-06-23 v1
摘要
论证的概念与信念的概念彼此之间处于一种成问题的关系之中。一方面，论证对于信念的形成至关重要：作为论证过程的结果，一个主体可能会（有理由地）相信某事态成立。另一方面，信念是论证评估的输入：具有被相信前提的论证，相对于前提不被相信的论证，会被该主体视为严格更强。文献中最近提出了一种捕捉这两条原则之限定版本的觉知认知逻辑。本文从三个不同方向扩展该逻辑。首先，我们试图通过刻画其哲学基础、批判性地讨论其某些设计选择并探索进一步的可能性，来改进其概念基础。其次，我们为该逻辑的基本片段提供了（此前缺失的）完备性定理。第三，我们利用动态认知逻辑的技术，研究如何在该框架中刻画不同形式的信息变化。
引用
@article{arxiv.2106.11495,
title = {An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics},
author = {Alfredo Burrieza and Antonio Yuste-Ginel},
journal= {arXiv preprint arXiv:2106.11495},
year = {2021}
}
备注
In Proceedings TARK 2021, arXiv:2106.10886. The research activity of Antonio Yuste-Ginel has been partially funded by the predoctoral grant no. MECD-FPU 2016/04113 of Ministerio de Universidades (Spain)