WEKO3
インデックスリンク
アイテム
一般化類似度関数を用いた"導出原理による第1階述語推論"
https://bunkyo.repo.nii.ac.jp/records/3249
https://bunkyo.repo.nii.ac.jp/records/3249d07bee29-c18e-4ac5-8c47-627d6a7806a0
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
BKSJ270004.pdf (2.5 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2011-02-23 | |||||||
| タイトル | ||||||||
| タイトル | 一般化類似度関数を用いた"導出原理による第1階述語推論" | |||||||
| タイトル | ||||||||
| タイトル | A First-Order Predicate-Logic Inference Using a Resolution Principle Based on Generalized Similarity-Measure Functions | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題 | マルチメディア情報処理, 自然言語理解システム, テキスト推論機構, パターン認識の数学的理論(SS理論), モデル構成作用素, 一般化類似度関数, 一般化大分類関数, 導出原理, 命題, 述語, 第1階推論, 人工知能言語, Prolog, パターン推論, 記号推論 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ | departmental bulletin paper | |||||||
| タイトル カナ | ||||||||
| その他のタイトル | イッパンカ ルイジド カンスウ オ モチイタ ドウシュツ ゲンリ ニ ヨル ダイ1カイ ジュツゴ スイロン | |||||||
| 著者 |
鈴木, 昇一
× 鈴木, 昇一
|
|||||||
| 著者 | ||||||||
| 値 | Suzuki, Shoichi | |||||||
| 所属機関 | ||||||||
| 値 | 文教大学情報学部 | |||||||
| 内容記述 | ||||||||
| 内容記述タイプ | Abstract | |||||||
| 内容記述 | 本論文での研究目的は,鈴木によってこれまで提案されている3システムRECOGNITRON,MEMOTRON,FUZZITRON以外に,パターン情報処理技術を基盤として,自然言語理解システムの構築に必要なテキスト推論機構を提案することである.本論文では,パターン情報処理におけるSS一般化類似度関数 GSM:Φ×Φ→{slO≦s≦1} の働きで,つまり,GSM(Aφ,η)の値が2-1より大きいときパターン変換 A:Φ→Φ に対応する第1階論理述語が近似的に真であるという"fuzzy推論に似た解釈"を採用し,テキスト推論技術を確保しようとする試みを展開する.ここに,Φ(∋φ,η)は処理の対象とするパターンφの集合である.このような試みは本研究以外に類を見ない.例えば,第1階述語論理の部分集合であるホーン節の集合(=Prologプログラム)を内部表現に用いて, ホーン節集合に対する推論がPrologプログラムの実行(閉世界での質問節についての, 知識ベースからの証明過程)になる という事実に基づいて,自然言語処理を実現しようとする試みに直接,役立つ. \n An aim of this paper is to construct a text-inference mechanism needed to design a natural-understanding system based on pattern-information processing techniques except RECOGNITRON, MEMOTRON and FUZZITRON so far proposed by S.Suzuki. We explore to secure an inference-technique using texts, adopting an interpretation like a fuzzy inference that if a value GSM:(Aφ, η) of an generalized similar ity function GSM:Φ×Φ→{slO≦s≦1} is greater than 2-1, a predicate corresponding to a pattern-transformation A:Φ→Φ is approximately true, where Φ(∋φ,η) is a set consisting of patterns to be processed in question. There is not this trial until now. For example, we often uses as its internal knowledge expression a set of horn clauses(=Prolog program) according to the fact of that an inference for a Prolog horn clauses is equivalent to an execution of the clauses. A technique presented here is of any service to the trial which realizes a natural language prpocessing. |
|||||||
| 書誌情報 |
情報研究 en : Information and Communication Studies 巻 27, p. 27-71, 発行日 2002-01-01 |
|||||||
| 出版者 | ||||||||
| 出版者 | 文教大学 | |||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 03893367 | |||||||
| 著者版フラグ | ||||||||
| 出版タイプ | VoR | |||||||
| 本文言語 | ||||||||
| 値 | 日本語 | |||||||
| ID | ||||||||
| 値 | BKSJ270004 | |||||||
