| 講演名 | 1999/3/5 導出原理を用いた多エージェント自己認識論理の決定手続きの効率化 本田 和利, 河口 信夫, 外山 勝彦, 稲垣 康善, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 非単調論理の一つである多エージェント自己認識論理には、導出原理とラベル付けを用いた決定手続きが提案されている。しかし、この方法は、一般に、ラベル付けを行う回数が組み合わせ的に爆発することが指摘されている。論理に基づく知識処理システム実現のためには、このような決定手続きの効率化は重要な課題である。そこで、本稿では、ラベル付け回数の爆発を防ぐための手法を提案する。本手法では、前提知識から確定できるラベルをあらかじめ求め、さらに、矛盾する拡張を導くラベル付けの削除を行う。また、充足可能性の判定に必須な導出木集合のみを用いた判定を行う。この手法を計算機上に実現し、手続きに要する時間の比較および評価を行った結果、5階層の単純継承問題において実行時間の大幅な短縮を達成することができた。 |
| 抄録(英) | Resolution-based decision procedure with the labeling for multi-agent autoepistemic logic has been proposed. In general, it is known that the number of the labeling increases exponentially. Since efficiency improvement of a decision procedure is an important issue, we propose techniques that prevent the explosion of the number of the labeling In these techniques, the labels determined from the premise knowledge are computed before the labeling step, and the labels which lead contradiction are eliminated. Also, only derivation tree sets which are essentially needed for the decision procedure are used. We have implemented these techniques and evaluated them. As a result, the running time of the decision procedure has been significantly improved in the simple inheritance problem with 5 hierarchies. |
| キーワード(和) | 多エージェント自己認識論理 / 導出原理 / 決定手続き / 効率化 / ラベル付け |
| キーワード(英) | multi-agent autoepistemic logic / resolution / decision procedure / effciency improvement / labeling |
| 資料番号 | KBSE98-89 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1999/3/5(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 導出原理を用いた多エージェント自己認識論理の決定手続きの効率化 |
| サブタイトル（和） | |
| タイトル（英） | Efficiency Improvement of Resolution-based Decision Procedure for Multi-agent Autoepistemic Logic |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 多エージェント自己認識論理 / multi-agent autoepistemic logic |
| キーワード(2)（和/英） | 導出原理 / resolution |
| キーワード(3)（和/英） | 決定手続き / decision procedure |
| キーワード(4)（和/英） | 効率化 / effciency improvement |
| キーワード(5)（和/英） | ラベル付け / labeling |
| 第 1 著者 氏名（和/英） | 本田 和利 / Kazutoshi Honda |
| 第 1 著者 所属（和/英） | 名古屋大学大学院工学研究科 Graduate School of Engineering, Nagoya University |
| 第 2 著者 氏名（和/英） | 河口 信夫 / Nobuo Kawaguchi |
| 第 2 著者 所属（和/英） | 名古屋大学大学院工学研究科 Graduate School of Engineering, Nagoya University |
| 第 3 著者 氏名（和/英） | 外山 勝彦 / Katsuhiko Toyama |
| 第 3 著者 所属（和/英） | 名古屋大学大学院工学研究科 Graduate School of Engineering, Nagoya University |
| 第 4 著者 氏名（和/英） | 稲垣 康善 / Yasuyoshi Inagaki |
| 第 4 著者 所属（和/英） | 名古屋大学大学院工学研究科 Graduate School of Engineering, Nagoya University |
| 発表年月日 | 1999/3/5 |
| 資料番号 | KBSE98-89 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 637 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |