| 講演名 | 2001/5/11 数独パズルにおける補題の解析 : 補題の一般化に向けて 清水 純一, 越村 三幸, 長谷川 隆三, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | モデル生成法を用いて数独パズルを解く際に, 部分探索から抽出される補題を用いて, 探索空間の刈込みを行うことができる. ここで生成される補題は, 形式的には変数を含まない基底表現であり, その適用範囲は非常に限定的なものである. 本研究では, 抽出される補題の解析を行う. この解析によって, 補題の生成過程に着目すれば補題を一般化できることが分かった. また, 一般化した補題の効用についても実験を行った。 |
| 抄録(英) | We can prune search spaces of "Sudoku Puzzle" with lemmas which are extracted from model generation proofs. These lemmas are represented as ground expressions and applicable to very special situations. This paper analyses lemmas so as to generalize them. The analysis gives a lemma generaization method. |
| キーワード(和) | モデル生成法 / 数独パズ / 補題の一般化 / 証明濃縮 / 畳み込み |
| キーワード(英) | model generation / Sudoku (Number Place) puzzle / lemma generaization / proof condensation / folding-up |
| 資料番号 | AI2001-5 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2001/5/11(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 数独パズルにおける補題の解析 : 補題の一般化に向けて |
| サブタイトル（和） | |
| タイトル（英） | An Analysis of Lemmas Extracted from Model Generation Proofs for Sudoku (Number Place) Puzzle : Toward Lemma Generalization |
| サブタイトル（和） | |
| キーワード(1)（和/英） | モデル生成法 / model generation |
| キーワード(2)（和/英） | 数独パズ / Sudoku (Number Place) puzzle |
| キーワード(3)（和/英） | 補題の一般化 / lemma generaization |
| キーワード(4)（和/英） | 証明濃縮 / proof condensation |
| キーワード(5)（和/英） | 畳み込み / folding-up |
| 第 1 著者 氏名（和/英） | 清水 純一 / Junichi Shimizu |
| 第 1 著者 所属（和/英） | 九州大学大学院システム情報科学府 Graduate School of Information Science and Electrical Engineering Kyushu University |
| 第 2 著者 氏名（和/英） | 越村 三幸 / Miyuki Koshimura |
| 第 2 著者 所属（和/英） | 九州大学大学院システム情報科学研究院 Graduate School of Information Science and Electrical Engineering Kyushu University |
| 第 3 著者 氏名（和/英） | 長谷川 隆三 / Ryuzo Hasegawa |
| 第 3 著者 所属（和/英） | 九州大学大学院システム情報科学研究院 Graduate School of Information Science and Electrical Engineering Kyushu University |
| 発表年月日 | 2001/5/11 |
| 資料番号 | AI2001-5 |
| 巻番号（vol） | vol.101 |
| 号番号（no） | 66 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |