paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Boolean proportions

布尔比例
LMCS vol.Volume 20, Issue 22024匹配度 1/10 · 该论文研究布尔域中类比比例的通用代数框架,属于抽象代数与形式语义,与用户关注的程序静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析等方向没有直接交集。引用 1 inbox
Christian Antić
crossref: 2026-09-10

AI 速览

一句话:在通用代数类比比例框架下研究布尔域比例,并证明其与文献中两种著名模型一致。

本文在作者近期提出的通用代数类比比例抽象框架中,考察由 0 和 1 构成的布尔域上的类比比例。研究目标是刻画布尔比例这一特殊情形,并将其与既有文献中的建模方式联系起来。结果表明,该框架下定义的布尔比例与文献中在不同背景下提出的两个著名模型相吻合。这意味着两个原本独立的布尔比例建模可以被统一到同一框架中,在数学上更具吸引力,也为该通用框架的稳健性与适用性提供了进一步证据。

问题
如何在通用代数的类比比例框架中刻画布尔域({0,1})上的类比比例,并厘清它与已有布尔比例模型的关系。
方法
采用作者提出的抽象代数类比比例框架,在布尔域这一具体实例上定义并分析布尔比例。
评估
通过理论证明说明新定义与文献中两个不同设定下的著名模型一致,从而验证框架的统一能力。
原文摘要(Abstract)

The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. This paper studies analogical proportions in the boolean domain consisting of two elements 0 and 1 within his framework. It turns out that our notion of boolean proportions coincides with two prominent models from the literature in different settings. This means that we can capture two separate modellings of boolean proportions within a single framework which is mathematically appealing and provides further evidence for the robustness and applicability of the general framework.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot2766,
  title = {Boolean proportions},
  author = {Christian Antić},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 20, Issue 2},
  year = {2024},
  doi = {10.46298/lmcs-20(2:2)2024}
}