| 講演名 | 1998/9/24 ルール優先関係を持つ非単調推論の意味論の性質 柴崎 真人, 新田 克己, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ここ10年間ほどの間に、ルール優先関係を持つ非単調推論の研究が数多くなされ、様々な意味論が提案されてきている。しかし、これらの相互関係や性質の違いについてはほとんど明らかにされていない。本論文では、ある応用分野の問題をルール優先関係を持つ非単調推論として形式化しようとするとき、どの形式化, どの意味論を選べばよいのかを決定するための基準を提供することを目的として、ルール優先関係を持つ非単調推論の意味論の性質を6つ(無矛盾性, 明示的な非対偶性, 内在的な非対偶性, 単調性, モジュール性, 最終ルール依存性)抽出し、従来研究の意味論をこれらの性質により整理した。 |
| 抄録(英) | In the 1990, a number of studies was made on nonmonotonic reasoning with rule priorities. Litte is known, however, about relationships and differences among these semantics. In this paper, we select six properties (consistency, explicit anti-contrapositive, implicit anti-contrapositive, monotonicity, modularity, final rule dependency) of semantics of nommonotonic reasoning with rule priorities and we cllasify semantics of past studies according to these properties. |
| キーワード(和) | 非単調推論 / ルール優先関係 / 法的推論 / 論駁推論 / 論理プログラム / デフォルト論理 |
| キーワード(英) | nonmonotonic reasoning / rule priorities / legal reasoning / defeasible reasoning / logic programming |
| 資料番号 | AI98-34 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 1998/9/24(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ルール優先関係を持つ非単調推論の意味論の性質 |
| サブタイトル（和） | |
| タイトル（英） | Properties of Nonmonotonic Reasoning with Rule Priorities |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 非単調推論 / nonmonotonic reasoning |
| キーワード(2)（和/英） | ルール優先関係 / rule priorities |
| キーワード(3)（和/英） | 法的推論 / legal reasoning |
| キーワード(4)（和/英） | 論駁推論 / defeasible reasoning |
| キーワード(5)（和/英） | 論理プログラム / logic programming |
| キーワード(6)（和/英） | デフォルト論理 |
| 第 1 著者 氏名（和/英） | 柴崎 真人 / Masato SHIBASAKI |
| 第 1 著者 所属（和/英） | 東京工業大学知能システム科学専攻 Department of Computational Intelligent and Systems Science Tokyo Institute of Technology |
| 第 2 著者 氏名（和/英） | 新田 克己 / Katsumi NITTA |
| 第 2 著者 所属（和/英） | 東京工業大学知能システム科学専攻 Department of Computational Intelligent and Systems Science Tokyo Institute of Technology |
| 発表年月日 | 1998/9/24 |
| 資料番号 | AI98-34 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 296 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |