認識プロセスのさまざまな数学的モデルが知られています。本論文では、パターン認識アルゴリズムをチューリング機械でのオラクル計算と見なします。このような観点は、再帰理論だけでなくパターン認識にも役立つようです。パターン認識における再帰理論の使用は、認識アルゴリズムの比較問題とオラクル計算の複雑さの問題との関係を示しています。これは、多くの場合、符号計算の数、つまり必要なOracle情報の量のみを考慮できるためです。したがって、認識アルゴリズムの選好の問題は、オラクル計算の複雑性最適化問題として定式化できます。さらに、認識アルゴリズムのセットに特定の「自然な」優先関係を導入すると、非推移的であることがわかります。これは、確率理論でよく知られている非推移性パラドックスに関連しています。キーワード:パターン認識、再帰理論、非推移性、選好関係
Different mathematical models of recognition processes are known. In the present paper we consider a pattern recognition algorithm as an oracle computation on a Turing machine. Such point of view seems to be useful in pattern recognition as well as in recursion theory. Use of recursion theory in pattern recognition shows connection between a recognition algorithm comparison problem and complexity problems of oracle computation. That is because in many cases we can take into account only the number of sign computations or in other words volume of oracle information needed. Therefore, the problem of recognition algorithm preference can be formulated as a complexity optimization problem of oracle computation. Furthermore, introducing a certain "natural" preference relation on a set of recognizing algorithms, we discover it to be nontransitive. This relates to the well known nontransitivity paradox in probability theory. Keywords: Pattern Recognition, Recursion Theory, Nontransitivity, Preference Relation