| 講演名 | 2005-03-18 矛盾する規則を併存させる対話型知識処理システム「韓非子」 : Prologによる実装とその動作例(文書・文字メディアの認識・理解, 一般) 佐々木 洋輔, 亀田 弘之, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 従来の知識処理システムは主として, 矛盾のない知識体系のみを扱ってきた.しかし, 推論時の文脈によって知識の真理値や適用範囲は異なるため, 多様な文脈を網羅する知識体系は矛盾を含みうる.そこで筆者らは, 特に規則が矛盾する場合に着目し, 矛盾する規則が併存していても健全な推論がおこなえる知識処理システム「韓非子」を提案している.本稿では主に, 韓非子の実装手法と具体的動作例を述べ, 韓非子の基本的有効性を示す. |
| 抄録(英) | The previous knowledge processing systems have been mainly designed to process knowledge without inconsistencies. However, rule sets covering varied contexts have contradictions because truth value of each rule varies depending on contexts. Therefore, we focus on rules with contradictions and propose knowledge processing system Hanfeizi to make coexistence of rules with inconsistencies. In this paper, we mainly describe how to implement Hanfeizi, its examples of behavior, and its basic validities. |
| キーワード(和) | 知識処理 / 矛盾 / プロダクションシステム / 可能世界 |
| キーワード(英) | Knowledge Processing / Contradiction / Production System / Possible World |
| 資料番号 | TL2004-68,PRMU2004-236 |
| 発行日 |
| 研究会情報 | |
| 研究会 | PRMU |
|---|---|
| 開催期間 | 2005/3/11(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Pattern Recognition and Media Understanding (PRMU) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 矛盾する規則を併存させる対話型知識処理システム「韓非子」 : Prologによる実装とその動作例(文書・文字メディアの認識・理解, 一般) |
| サブタイトル（和） | |
| タイトル（英） | An Interactive Knowledge Processing System Hanfeizi to Make Coexistence of Rules with Inconsistencies : An Implementation by Prolog and Some Examples of Behavior |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 知識処理 / Knowledge Processing |
| キーワード(2)（和/英） | 矛盾 / Contradiction |
| キーワード(3)（和/英） | プロダクションシステム / Production System |
| キーワード(4)（和/英） | 可能世界 / Possible World |
| 第 1 著者 氏名（和/英） | 佐々木 洋輔 / Yousuke SASAKI |
| 第 1 著者 所属（和/英） | 東京工科大学大学院工学研究科 Graduate School of Engineering, Tokyo University of Technology |
| 第 2 著者 氏名（和/英） | 亀田 弘之 / Hiroyuki KAMEDA |
| 第 2 著者 所属（和/英） | 東京工科大学コンピュータサイエンス学部 School of Computer Science, Tokyo University of Technology |
| 発表年月日 | 2005-03-18 |
| 資料番号 | TL2004-68,PRMU2004-236 |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 742 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |