arXiv ID:
2604.19036
arXiv 提交日期: 2026-04-21
合情推理与一阶合情逻辑 / Plausible Reasoning and First-Order Plausible Logic
1️⃣ 一句话总结
本文提出了一套用于进行合情推理(即基于大概率成立但偶尔会错的陈述进行推理,不涉及概率计算)的逻辑原则,并定义了一种一阶逻辑系统——合情逻辑(PL),它能够满足大部分原则并正确处理所有经典案例,是目前已知唯一具备此能力的逻辑系统。