Setting the Metrics and Measure of Refutability on Predicate Formulas as Statements in Some Theory

Abstract

The paper discusses statements of experts about objects represented as the predicate formulas consistence with theory T. Techniques for introducing metrics on such statements and measure of refutability and offered. The research can be applied to solving the problems of the best reconciliation of expert statements, to constructing the decision functions in pattern recognition and building the expert systems. The offered functions of measure of refutability satisfies all requirements formulated in [1, 2].