将类比推理从布尔域扩展到连续域,建立统一理论框架。
Generalizing Analogical Inference from Boolean to Continuous Domains
- 用广义均值定义参数化类比,统一处理离散与连续推理
- 在光滑性假设下给出最坏情况与平均情况误差界
- 为回归任务和连续函数类比提供可证明的理论支持
类比推理是人类认知和人工智能中强大的归纳机制。现有形式化框架仅适用于布尔域,对仿射函数可保证推理正确,对近似仿射函数则近似正确,已用于类比分类器设计。但这些结果无法推广至回归任务或连续域。本文从基础出发重新审视类比推理,首先给出反例表明现有泛化界在布尔域也失效。随后提出基于广义均值的参数化类比统一框架,涵盖布尔分类与回归任务,支持连续函数上的类比推理。我们刻画了该设定下的类比保持函数类,并在光滑性假设下推导出最坏情况与平均情况误差界。研究成果为离散与连续域中的类比推理提供了通用理论。
原文摘要 · Abstract (English)
Analogical reasoning is a powerful inductive mechanism, widely used in human cognition and increasingly applied in artificial intelligence. Formal frameworks for analogical inference have been developed for Boolean domains, where inference is provably sound for affine functions and approximately correct for functions close to affine. These results have informed the design of analogy-based classifiers. However, they do not extend to regression tasks or continuous domains. In this paper, we revisit analogical inference from a foundational perspective. We first present a counterexample showing that existing generalization bounds fail even in the Boolean setting. We then introduce a unified framework for analogical reasoning in real-valued domains based on parameterized analogies defined via generalized means. This model subsumes both Boolean classification and regression, and supports analogical inference over continuous functions. We characterize the class of analogy-preserving functions in this setting and derive both worst-case and average-case error bounds under smoothness assumptions. Our results offer a general theory of analogical inference across discrete and continuous domains.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。