| 講演名 | 2007-05-31 CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般) 山本 泰生, / 井上 克巳, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,帰納論理プログラミングにおける逆伴意法による仮説発見手続きの一手法であるCF帰納法の一般化手続きについて考察する.CF帰納法は一般節理論の仮説発見に対して健全かつ完全な手続きであり,その理論面での優位性から現在システム生物学等の実問題への応用が期待されている.一方,構成手続き中の一般化手続きについては,いくつかの適用可能な技法が紹介されているだけであり,どの技法をどのように用いるかはユーザが適宜選択する必要があるため,アルゴリズムとしては非決定性がかなり大きく組織的に構成されているとは言い難い.そこで本論文では,これまでの手法を体系的に整備し,健全かつ完全な一般化手続きを提案する. |
| 抄録(英) | CF-Induction is a sound and complete hypothesis finding procedure for full clausal logic. Given a background theory and examples, it uses the principle of Inverse Entailment to deductively compute an intermediate bridge formula which is then inductively generalised in order to return a hypothesis. The procedure makes use of several generalisation operators, such as least generalisation and inverse resolution, each of which can be applied in many possible ways. In this paper we propose an alternative generalisation approach for CF-Induction whereby the hypothesis is derived using a single deductive operator followed by anti-instantiat ion. We show that our simplified procedure retains its soundness and completeness. |
| キーワード(和) | 逆伴意法 / CF帰納法 / 一般化オペレータ |
| キーワード(英) | inverse entailment / CF-Induction / generalisation operator |
| 資料番号 | AI2007-1 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2007/5/24(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Towards a logical reconstruction of CF-Induction |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 逆伴意法 / inverse entailment |
| キーワード(2)（和/英） | CF帰納法 / CF-Induction |
| キーワード(3)（和/英） | 一般化オペレータ / generalisation operator |
| 第 1 著者 氏名（和/英） | 山本 泰生 / Yoshitaka TAMAMOTO |
| 第 1 著者 所属（和/英） | 総合研究大学院大学情報学専攻 Department of Informatics, Graduate University for Advanced Studies |
| 第 2 著者 氏名（和/英） | / 井上 克巳 / Oliver RAY |
| 第 2 著者 所属（和/英） | / 国立情報学研究所 Department of Computer Science, University of Bristol |
| 発表年月日 | 2007-05-31 |
| 資料番号 | AI2007-1 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | 78 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |