模镜像中的严格可能性
人工智能
2026-04-21 v1
摘要
可能性(即对象在不可完成过程中的逐次生成)是一种观点。严格版本的观点增加了真理逐次被确定的论点。严格可能性可以通过两种模态进行分析：一种用于对象的生成，另一种用于真理的确定。结果是经典双模态逻辑。我们通过调用所谓的镜像定理来 "关闭" 一个或两个模态，从而获得更简单和更易用的理论，同时接受较为非经典的逻辑。在关闭对象生成的模态后，我们获得受限的复数逻辑。在关闭真理确定的模态后，逻辑变为直觉主义。最后，展示了这种通用方法处理严格可能性价值，通过应用于 Weyl 式前设集合论、Cantor 域原则以及关于 Cantorian 集合的严格可能性。
引用
@article{arxiv.2604.17295,
title = {LLaTiSA: Towards Difficulty-Stratified Time Series Reasoning from Visual Perception to Semantics},
author = {Yueyang Ding and HaoPeng Zhang and Rui Dai and Yi Wang and Tianyu Zong and Kaikui Liu and Xiangxiang Chu},
journal= {arXiv preprint arXiv:2604.17295},
year = {2026}
}