@article{oai:bunkyo.repo.nii.ac.jp:00003232,
 author = {鈴木, 昇一},
 journal = {情報研究, Information and Communication Studies},
 month = {2000-01-01, 2011-02-23},
 note = {S.Suzukiの研究については最近では、記号論理を改善することに、注意が向けられている。SS理論と名付けられたパターン認識の数学的理論に登場するRECOGNITRONは、認識されるべき問題の入力パターンφに対応し、"axiom 1を満たすパターンモデル" Tφを求め、Tφを恰も、φかのように扱う。このとき、写像Tはパターンモデル構成作用素と呼ばれる。本論文では、原パターンφから抽出される特徴量が各々、その絶対値が1より大きくない連続実数値、-1,0,+1の3値、0,1の2値である3つの場合に応じて、このような3種のパターンモデル構成作用素Tが提案されている。
　2値論理はファジィ論理の特別な場合であり、解釈Iの下で論理式S真理値TV(S)が2-1より小さくないとき、解釈Iは論理式Sを充足するという。論理式Fが与えられたとしよう。論理式GがFの論理的帰結であるとはF??Gが充足不可能であることである。2値記号論理学では、導出原理と呼ばれている極めて優秀な推論規則がある。この推論規則は論理的帰結を演繹する場面で完全であることが知られている。すべての論理的帰結は導出原理を繰り返し適用することにより得られる。
　3種のTを用いた導出原理に基づいて、空間多重ファジィ論理演算系を使ったパターンを用いた3種の推論系を構成する。この3種の推論系は従来のファジィ推論系をその特別な場合として含んでいる。
　2値記号論理では、GがFの論理的帰結であるとき、TV(G)がTV(F)より小さくない。パターンモデルTηがTφの論理的帰結であるとき、パターンモデルから抽出される特徴量についてのある半順序関係≦uに関し、TηがTφより小さくないというSS理論の1つの基本的諸性質がある。
　1種の創造的思考を遂行するエキスパート・システムの仕事を行うことのできるプロダクション・システムを実装化する諸手段はこれまで、研究され続けている。公理論的手法を採用し、FUZZITRONと呼ばれる1つの問題解決システムを提案する。ファジィ・プロダクション・システムとして構成されたFUZZITRONはファジィ論理におけるmin-max原理を使用し、以前に述べられた前提から結論を推論するこのFUZZITRONを構成するために、上述のパターン命題論理系を利用する。2値記号命題論運推論系の従来のものはこのパターン命題論理系の特別なものである。本研究で提示されたFUZZITRONとこのパターン命題論理系は知識情報処理の方向にも使われてよい1つのファジィ・マルチメディア・コンピュータに導く。FUZZITRONは多くのパターンを想起できる連想器である。与えられた問題の曖昧性を解消する方向への収束が≦uの使用下で証明されている。
\n　Recent work by S.Suzuki has been aimed at a further improvement to the symbolic logic. RECOGNITRON appearing in a mathematical theory of recognizing patterns named SS-theory seeks from an input original pattern φ in question to be recognized a corresponding patterm-model Tφ which must satisfy axiom 1 suggested by S.Suzuki, and treats Tφ as though Tφ would be φ. The mapping T is called a model -construction operator. Three kinds of such a model-construction operator T are presented here according as three kinds of features extracted from the original pattern φ are continus values (=real numbers whose absolute values are not than 1), three values (=-1,0, +1) and two values (=0,1).
　Two-valued logic is a special case of fuzzy logic in which an interpretation I is said to satisfy a formula S if TV (S) (the truth-value of S) ≧2-1 under I. Given a formula F, we shall define a formula G to be a logical consequence of F if and only if F??G is unsatisfiable. In two-valued logic, there is a very good inference rule, called the resolution principle, which has been proved complete for deducing logical consequences. All the logical consequences can be obtained by repeatedly applying the resolution principle.
　Based on the resolution principle using three kinds of T, we construct three pattern-oriented systems of fuzzy inference using spatially multiple fuzzy logical operations such that as a special case it may contain a standard system of traditional fuzzy inference.
　In two-valued logic,if logical formila G is a logical consequence of F, then TV(G)≧TV(F). There is a fundamental property of SS-theory of that "if pattern-model Tη is a consequence of Tφ then Tφ, then Tφ≦u Tη" concerning a partial ordering relation ≦u about features extracted from pattern-models.
　Means for implementing a production system which can do the work of an expert system which can carry out a kind of creative thinking have studied until now. Adopting an axiomatic approach, we shall propose a problem-solving system, that is to say, a fuzzy production system called FUZZITRON for inferring consequences from previously stated premises by making good use of "min-max " principle in fuzzy logic. We utilize the above-mentioned pattern propositional logic system to aim at constructing FUZZITRON. Conventional systems of two-valued symbolic propositional inference are obtain as special cases of this system. FUZZITRON and the system presented here can lead to a fuzzy multimedia computer which may be used to the possible advantage of knowledge information processing. FUZZITRON is an associator which can remember many patterns. Its convergence to a direction vanishing ambiguity of a given problem is proved under use of ≦u.},
 pages = {105--183},
 title = {プロダクション・システムとしてのファジィ・マルチメディア・コンピータと、空間多重パターンファジィ推論系},
 volume = {24},
 year = {}
}