| 講演名 | 2005/3/7 CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般) 山本 泰生, 井上 克巳, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では, 帰納論理プログラミングにおける逆伴意法による仮説発見手続きの一手法であるCF帰納法の一般化手続きについて考察する.CF帰納法は一般節理論の仮説発見に対して健全かつ完全な手続きであるが, その理論面での優位性から現在応用問題への適用が期待されている.一方, 構成手続き中の一般化手続きについては, 今のところ具体的な操作の紹介があるのみでアルゴリズムとして組織的に構成されるまでには至っていない.そこで本稿では, 第1報[10]で明らかにしたすべての一般化手続きに対して当てはめることのできる順序に関する性質を利用することで, 今まで紹介されてきた各一般化操作を再構築し, CF帰納法における健全かつ完全な新しい一般化手続きを提案する. |
| 抄録(英) | This paper considers a generalization in CF-induction which is one of procedures for inverse entailment constructing inductive hypothesis in inductive logic programming. CF-induction guarantees soundness and completeness for finding hypotheses from full clausal theories. although some operations have been introduced as generalization procedures in CF-induction, they are not sufficiently enough for the completeness, and a systematic method of constructing hypothese with those generalization operations has not yet been discussed. In this paper, we utilize basic properties that are applicable to any generalization procedure in terms of sequences of operations, and reconstruct a method of hypotheses generation by reorganzing the generalization operators that have been introduced by now. The resulting generalization method is sound and complete for finding hypotheses from full clausal theories in CF-induction. |
| キーワード(和) | 帰納論理プログラミング / 逆伴意法 / 一般化 |
| キーワード(英) | inductive logic programming / inverse entailment / generalization |
| 資料番号 | AI2004-76 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2005/3/7(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Consideration on a generalization procedure in CF-induction Second Report |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 帰納論理プログラミング / inductive logic programming |
| キーワード(2)（和/英） | 逆伴意法 / inverse entailment |
| キーワード(3)（和/英） | 一般化 / generalization |
| 第 1 著者 氏名（和/英） | 山本 泰生 / Yoshitaka YAMAMOTO |
| 第 1 著者 所属（和/英） | 神戸大学大学院自然科学研究科:国立情報学研究所 Graduate School of Science Techology, Kobe University:National Institute of Informatics |
| 第 2 著者 氏名（和/英） | 井上 克巳 / Katsumi INOUE |
| 第 2 著者 所属（和/英） | 国立情報学研究所 National Institute of Informatics |
| 発表年月日 | 2005/3/7 |
| 資料番号 | AI2004-76 |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 726 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |