| 講演名 | 1999/1/12 矛盾した知識からの推論 越智 洋, 太原 育夫, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では, 文脈を指定することにより矛盾した知識から有意味な結論を導き出す方法を提案する.矛盾した知識を取り扱う場合, まず無矛盾な知識集合を選び出しその下で円繹的推論を行うという方法がこれまでよく考えられてきた.しかし選び出される無矛盾な知識集合は複数存在するので何らかの選択基準が必要である.ここでは, 極大な無矛盾知識集合をあらかじめ決められた優先関係ではなく, それと無矛盾な外的条件すなわち文脈を指定することにより一意に決定する方法を提案する.まず極小矛盾集合のヒッティング集合により極大無矛盾集合を一意に決めることができることを示し, それに基づいて文脈を定義する.そして文脈を伴う質問に対する質問応答システムを提案する. |
| 抄録(英) | This paper presents a framework to infer non-trivial conclusions from an inconsistent knowledge base by introducing contexts. Many approaches for handling inconsistency in knowledge bases have proposed to get maximal consistent subbases and to apply classical entailment on these consistent subbases to deduce plausible conclusions. This treatment needs appropriate selection principles on maximal consistent subbases. We propose a way to select a unique maximal consistent subbase by giving a context that is consistent with the subbase rather than by giving a priority ordering. We show that the maximal consistent subbase is uniquely decided by the hitting set of minimal conflict subbases, and define the context on the basis of this result. We also present a procedure for answering whether a query with context holds in the inconsistent knowledge base. |
| キーワード(和) | 矛盾した知識 / 文脈 / 極大無矛盾知識集合 / 極小矛盾知識集合 / ヒッティング集合 |
| キーワード(英) | inconsistent knowledge base / context / maximal consistent subbase / mininal conflict subbase / hitting set |
| 資料番号 | AI98-74 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 1999/1/12(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 矛盾した知識からの推論 |
| サブタイトル（和） | |
| タイトル（英） | Reasoning from inconsisten knowledge bases |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 矛盾した知識 / inconsistent knowledge base |
| キーワード(2)（和/英） | 文脈 / context |
| キーワード(3)（和/英） | 極大無矛盾知識集合 / maximal consistent subbase |
| キーワード(4)（和/英） | 極小矛盾知識集合 / mininal conflict subbase |
| キーワード(5)（和/英） | ヒッティング集合 / hitting set |
| 第 1 著者 氏名（和/英） | 越智 洋 / Hiroshi OCHI |
| 第 1 著者 所属（和/英） | 東京理科大学理工学部情報科学科 Department of Information Sciences, Faculty of Science and Technology, Science University of Tokyo |
| 第 2 著者 氏名（和/英） | 太原 育夫 / Ikuo TAHARA |
| 第 2 著者 所属（和/英） | 東京理科大学理工学部情報科学科 Department of Information Sciences, Faculty of Science and Technology, Science University of Tokyo |
| 発表年月日 | 1999/1/12 |
| 資料番号 | AI98-74 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 499 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |