中文

作为不完美信息管理统一框架的情境理论与通道理论

计算机科学中的逻辑 2022-06-07 v1

摘要

本文主张情境理论(Situation theory)与通道理论(Channel theory)可用作不完美信息管理的一般框架。各类不完美性包括不确定性、不精确性、模糊性、不完整性、不一致性和语境依赖性,这些都能被我们大脑很好地处理。概率论与标准逻辑等基本方法在建模易错心智方面内在低效。广义概率与非标准逻辑理论具有认识论动机,以为认知主体的信息整合提供更好模型。在众多模型中,可能性理论与概率逻辑理论是最佳方法。基于对不同不完美信息管理方法的回顾,我认为良好的框架是Barwise的情境理论与Barwise-Seligman的通道理论。这些理论依赖一种强大且独特的基于认识论的信息概念来指称偏全性(partiality)。这些框架具有恰当的语境建模方法以处理公共知识与不完全信息。此外,它们清晰区分信念与知识,以建模知识的非单调与动态本质。它们辨别世界的逻辑与心智中的信息流。这些理论中的客观化过程向我们揭示了感知中默认或概率性规则的本质。通道概念可用于表示那些从一个模型或逻辑移动到另一个的推理机制。我们感知中的不精确性导致推理中的模糊性与交流中的含糊性,这可由一些经通道连接的合适分类来表示。这一新框架如同网络框架,可提供一个可扩展且开放的框架,以基于相对真理概念涵盖不同模型。

关键词

引用

@article{arxiv.2206.02283,
  title  = {Situation Theory and Channel theory as a Unified Framework for Imperfect Information Management},
  author = {Farhad Naderian},
  journal= {arXiv preprint arXiv:2206.02283},
  year   = {2022}
}

备注

37 pages, 12 figures, 1 table