BriefGPT.xyz
Ask
alpha
关键词
formalisation
搜索结果 - 5
条件推理建模的通用框架 —— 初步报告
本文介绍并探究了一个有关条件句的形式化方法，该方法可以定义一类广泛的推理系统。我们提出的语义适用于非满足与经典逻辑相关联的封闭性属性的条件句的结构性分析。
PDF
2 years ago
MM
使用近似不动点理论分析聚合答案集编程的语义
该研究在近似不动点理论的观点下重新考虑了选择用于回答集编程（ASP）中聚合的适当形式化问题，介绍了一种等同于基本 ASP 程序的 Gelfond-Lifschitz 规约的 AFT 形式化，并将其扩展到聚合处理。
PDF
3 years ago
ACL
ACL2 (r) 中的实数向量空间和柯西 - 施瓦茨不等式
本文首次用 ACL2 (r) 或任何其他一阶定理证明器提出了 Cauchy-Schwarz 不等式的证明，并形式化了必要的数学知识，其中包括将 R^n 铺平作为内积空间。
PDF
6 years ago
MM
赞颂不可预测性：关于元编程形式化的贡献
本文旨在通过讨论类推性的相关性、重新审视先前的形式化元编程以及定义具有一阶逻辑简单形式的元编程简单形式 - 反射谓词逻辑来克服逻辑编程中元编程实践和理论之间的差距。
PDF
6 years ago
MM
平衡图
本文提出一种 Peirce 存在图的扩展，以提供 Quantified Equilibrium Logic（QEL）表达式的图表表示。使用这种形式化方法，逻辑连接词被圆圈和正方形等区域所代替，量化变量则用 “身份” 线表示。虽然表达能力和
→
PDF
8 years ago
Prev
Next