| 講演名 | 2003/7/25 [招待論文]一般単一化理論(「21世紀の知識情報科学に向けて」,及び一般) 原尾 政輝, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 単一化とは,記号情報間の同等性を判定する手続きであり,知識情報処理における最も基本的な処理機構になっている。本稿では,種々の形式体系における単一化の性質を概観するとともに,知的処理のための単一化の拡張と問題点などについて述べる。 |
| 抄録(英) | Unification is a procedure of computing identities among symbolized informations, and is a most essential processing mechanism in knowledge processing. In this paper, I survey the characteristics of unification theories in various formal systems, and discuss the problems for extending the unification theory in intelligent processings. |
| キーワード(和) | 単一化 / マッチング / 形式言語 / 論理式,データ構造 / 検索 / 同等性 / 類似性 / 記号計算 / 推論 / 高階言語 / 計算可能性 / 計算量 |
| キーワード(英) | unification / matching / formal language / formulae / data structure / retrieval / equality / analogy / symbolic computation / reasoning / higher order anguage / computability / computational complexity |
| 資料番号 | AI2003-23 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2003/7/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | [招待論文]一般単一化理論(「21世紀の知識情報科学に向けて」,及び一般) |
| サブタイトル（和） | |
| タイトル（英） | General Unification Theorey |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 単一化 / unification |
| キーワード(2)（和/英） | マッチング / matching |
| キーワード(3)（和/英） | 形式言語 / formal language |
| キーワード(4)（和/英） | 論理式,データ構造 / formulae |
| キーワード(5)（和/英） | 検索 / data structure |
| キーワード(6)（和/英） | 同等性 / retrieval |
| キーワード(7)（和/英） | 類似性 / equality |
| キーワード(8)（和/英） | 記号計算 / analogy |
| キーワード(9)（和/英） | 推論 / symbolic computation |
| キーワード(10)（和/英） | 高階言語 / reasoning |
| キーワード(11)（和/英） | 計算可能性 / higher order anguage |
| キーワード(12)（和/英） | 計算量 / computability |
| 第 1 著者 氏名（和/英） | 原尾 政輝 / MASATERU Harao |
| 第 1 著者 所属（和/英） | 九州工業大学情報工学部 Faculty of Computer Science and Systems Engineering, Kyushu Institute of Technology |
| 発表年月日 | 2003/7/25 |
| 資料番号 | AI2003-23 |
| 巻番号（vol） | vol.103 |
| 号番号（no） | 244 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |