比例体

AI总结：

本文提出比例体概念，研究比例保持映射及其性质，推动类比比例的数学理论发展。

摘要：

类比比例是类比推理的核心，本文在公理传统中探讨其数学基础。引入比例体概念，研究比例保持映射和关系，定义同态与类比映射，并研究其性质，推动类比比例的数学理论发展。

英文摘要：

Analogical proportions are expressions of the form ``$a$ is to $b$ what $c$ is to $d$'' at the core of analogical reasoning, which itself is at the core of artificial intelligence. This paper contributes to the mathematical foundations of analogical proportions in the axiomatic tradition as initiated -- in the tradition of the ancient Greeks -- by Yves Lepage two decades ago. More precisely, we first introduce the name ``proportoid'' for sets endowed with a 4-ary analogical proportion relation satisfying a suitable set of axioms. We then study study different kinds of proportion-preserving mappings and relations and their properties. Formally, we define homomorphisms of proportoids as mappings $\mathsf H$ satisfying $a:b::c:d$ iff $\mathsf Ha: \mathsf Hb:: \mathsf Hc: \mathsf Hd$ for all elements and show that their kernel is a congruence. Moreover, we introduce (proportional) analogies as mappings $\mathsf A$ satisfying $a:b:: \mathsf Aa: \mathsf Ab$ for all elements $a$ and $b$ in the source domain and show how to compute partial analogies. We then introduce a number of useful relations between functions (including homomorphisms and analogies) on proportoids and study their properties. In a broader sense, this paper is a further step towards a mathematical theory of analogical proportions.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。