Displaying similar documents to “Using Lightweight Formal Methods to Model Class and Object Diagrams”

Metric similarities in the logic of approximation.

Michael Katz (1982)

Stochastica

Similarity:

We describe restricted and extended versions of the logic of approximation which is meant to handle formally the problems of measurement error and of deduction under conditions of uncertainty. We apply the logic to the foundations of social and behavioral inquiry, axiomatizing in it an inexact similarity predicate which behaves like a metric approximation to identity. In the restricted version of the logic we formulate conditions for the imbeddability of similarity models in the real...