著者

鈴木 昇一

出版者

文教大学

雑誌

情報研究 = Information and Communication Studies (ISSN:03893367)

巻号頁・発行日

vol.19, pp.29-82, 1998-01-01

---

高次認知機能における推論は、記号列によってなされていると想定すると都合がよい。マルチメディア時代に突入し、マルチメディアの進化形としての知能情報メディアが取り沙汰される現在、記号列とパターンとの2大情報表現を統合する手法の確立が望まれるようになってきた。本研究の目的は、記号列情報処理と同様に精密な推論技術に役立つ1つの論理表現の要素を確保するため、1つの概念はプール関数で符号化されることを勘案し、月本に啓発され、非単調命題論理における論理関数(命題;真理関数)をパターンとみなし、2つの命題の間に或る種の内積を導入し、命題間の距離、命題の持つ情報量を提案している。月本論文では、剰余類の作る線形空間、並びに、線形空間の完備化としてのヒルベルト空間(剰余類の作る空間の完備化)などに言及していないが、本論文では、この不備を補っている。 得られた完全正規直交系を使って、SS理論における3種類のパターンモデルを構成している。このパターンモデルTφは原パターンφの持つ論理構造を簡略化表現しており、モデル構成作用素と呼ばれる作用素Tを使用し、ニューラルネットも構成できる。 本研究によって、命題記号論理をパターン認識分野でのパターンで取り扱うことが可能となった。\n An idea of that an inference in higher-level cognition has been performed using strings has good reason to explain faculties of intelligent information-processing. Two major information-representations by both strings and patterns should be integrated at the present period of intelligent information media. Tsukimoto's paper started me writing this paper. This paper aims at securing a primitive component for logical representation in a higher-level cognitive function in order to serve to make an inference as precisely as symbolic inference. Notice that a concept can be coded with a truth function. In this paper, We regard as a pattern a truth function in non-monotonic propositional logic. A kind of inner product between two propositions is thought out. A distance between two propositions and an amount of information owned by the proposition can be defined Tsukimoto does not make mention of a linear space which consists of residue classes and a Hilbert space as a completion of the linear space. We shall supplement defective descriptions in Tsukimoto's paper. Three kinds of pattern-model proposed by S.Suzuki is constructed using a complete orthonormal system in the obtained Hilbert space. A pattern-model Tφ can represent a corresponding logical structure of the original pattern φ in a simplified form. Moreover It is referred that neural networks are obtained by operator T called model-construction operator. This investigation enables us to treat with a symbolic logic among propositions by means of patterns in the field of pattern-recognition.