| 講演名 | 1996/3/14 推論時間を考慮した制約充足問題解決手法の提案 今成 文明, 山内 学, 小川 均, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 制約充足問題は, その適用範囲の広さから人工知能における重要な問題と一つである. しかしながら, 制約充足問題の解決手法の現実の問題への適用を考えるとその解決手法は「限定された推論時間で許容可能な近似解を導出する」といった実時間性を考慮したものが必要となってくる. 一般的には与えられた問題と計算時間に対し, 「副問題への分割方法, その計算手法, 時間配分」を解が最善となるようにスケジュールする対時間設計法が提案されている. この対時間設計法の考え方を推論時間が限定された制約充足問題に適用する方法を提案する. また実験によって定量的分析を行ない提案した手法の有効性を検証する. |
| 抄録(英) | Various problems in AI field can be solved by treating them as constraint satisfaction problems (CSPs). Many Constraint satisfaction algorithms and heuristics. are proposed and they are evaluated useful and powerful for common CSPs. About real-time CSPs in which are required a solution in the certain time, however, few effective algorithms and heuristics are proposed nevertheless they are very important in practical application. About general real-time problems, anytime algorithm has been proposed. Therefore, this paper discusses how to apply it to CSPs. For CSPs with limited inference time, we proposed the inference method which garantees the worst quality of result solution and aims to effective search by switching search methods in inference process. |
| キーワード(和) | 制約充足問題 / 実時間 / 任意時間算法 / 対時間設計法 |
| キーワード(英) | constraint satisfaction problem / real-time / anytime algorithm / design-to-time |
| 資料番号 | AI95-69,KBSE95-57 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 1996/3/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 推論時間を考慮した制約充足問題解決手法の提案 |
| サブタイトル（和） | |
| タイトル（英） | Constraint Satisfaction Problem Solving considering Inference Time |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 制約充足問題 / constraint satisfaction problem |
| キーワード(2)（和/英） | 実時間 / real-time |
| キーワード(3)（和/英） | 任意時間算法 / anytime algorithm |
| キーワード(4)（和/英） | 対時間設計法 / design-to-time |
| 第 1 著者 氏名（和/英） | 今成 文明 / Fumiaki Imanari |
| 第 1 著者 所属（和/英） | 立命館大学理工学部情報学科 Department of Computer Science, Faculty of Science and Engineering, Ritsumeikan University |
| 第 2 著者 氏名（和/英） | 山内 学 / Manabu Yamauchi |
| 第 2 著者 所属（和/英） | 立命館大学理工学部情報学科 Department of Computer Science, Faculty of Science and Engineering, Ritsumeikan University |
| 第 3 著者 氏名（和/英） | 小川 均 / Hitoshi Ogawa |
| 第 3 著者 所属（和/英） | 立命館大学理工学部情報学科 Department of Computer Science, Faculty of Science and Engineering, Ritsumeikan University |
| 発表年月日 | 1996/3/14 |
| 資料番号 | AI95-69,KBSE95-57 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 573 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |