A discussion of analogical-proportion based inference
- Publication Type:
- Conference Proceeding
- CEUR Workshop Proceedings, 2017, 2028 pp. 73 - 82
- Issue Date:
Copyright © 2017 for this paper by its authors. The Boolean expression of an analogical proportion, i.e., a statement of the form "a is to b as c is to d", expresses that "a differs from b as c differs from d, and vice-versa. This is the basis of an analogical inference principle, which is shown to be a particular instance of the analogical "jump": from P(s), P(t), and Q(s), deduce Q (t). Roughly speaking, an analogical proportion sounds like a sort of qualitative derivative. A counterpart of a first order Taylor-like formula indeed exists for affine Boolean functions. Affine functions can be predicted without error by means of analogical proportions. These affine functions are essentially the constants, the projections, the xor-based functions, and their complements. We discuss how one might take advantage of this state of fact for refining the scope of application of the analogical-proportion based inference to subparts of a Boolean function that may be assumed to be "locally" linear.
Please use this identifier to cite or link to this item: