Abstract: Functions defining a distance and a distinguish degree between objects described by predicate formulas are introduced. It is proved that the introduced function of distance satisfies all properties of a distance. The function of objects distinguish degree adequately reflects similarity of objects but does not define a distance because the triangle inequality is not fulfilled for it. The calculation of the introduced functions is based on the notion of partial deduction of a predicate formula.

Keywords: artificial intelligence, pattern recognition, distance between objects, predicate calculus.

ACM Classification Keywords: I.2.4 ARTIFICIAL INTELLIGENCE Knowledge Representation Formalisms and Methods – Predicate logic.

Link:

DISTANCE BETWEEN OBJECTS DESCRIBED BY PREDICATE FORMULAS

Tatiana Kosovskaya

http://www.foibg.com/ibs_isc/ibs-25/ibs-25-p15.pdf