| 講演名 | 2002/5/17 事例ベース推論と制約充足に基づく室内レイアウト変更計画(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.) 小野 智司, 浜田 佳延, 水谷 守, 水野 一徳, 福井 幸男, 西原 清一, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では,制約充足パラダイムと事例ベース推論に基づき,室内レイアウト変更計画を効率的に立案する方式を提案する.室内レイアウト変更計画問題は,変更前後のレイアウト,作業者数,および総作業時間の上限が与えられた場合に,各機器の移動経路を決定するプランニング,および移動作業への担当者および移動時刻の割り当てを決定するスケジューリングの双方を行う問題である.提案する方式は,プランニングとスケジューリングに必要な知識を制約として統一的に表現することで,汎用の解探索ソルバの利用を可能としている.また,過去の問題解決結果から大局的な作業方針を導出し,これをヒューリスティクスとして利用することによって探索の効率化を実現する. |
| 抄録(英) | This paper proposes a method for rearranging floor layouts that generates a plan and schedule based on constraint satisfaction paradigm and case-based reasoning. Rearrangement of a floor layout is a search problem, which consists of pre- and post-change layouts of objects, the number of workers, and a work time limit. The proposed system can use a general solver to make a plan and schedule by representing required knowledge as constraints, and find a solution efficiently by using a general policy generated from past experiences as heuristics. |
| キーワード(和) | レイアウト変更計画 / 事例ベース推論 / 制約充足問題 |
| キーワード(英) | Rearrangement of Floor Layouts / Case-Based Reasoning / Constraint Satisfaction Problem |
| 資料番号 | AI2002-3 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2002/5/17(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 事例ベース推論と制約充足に基づく室内レイアウト変更計画(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.) |
| サブタイトル（和） | |
| タイトル（英） | Rearrangement of Floor Layouts Based on Case-Based Reasoning and Constraint Satisfaction |
| サブタイトル（和） | |
| キーワード(1)（和/英） | レイアウト変更計画 / Rearrangement of Floor Layouts |
| キーワード(2)（和/英） | 事例ベース推論 / Case-Based Reasoning |
| キーワード(3)（和/英） | 制約充足問題 / Constraint Satisfaction Problem |
| 第 1 著者 氏名（和/英） | 小野 智司 / Satoshi ONO |
| 第 1 著者 所属（和/英） | 筑波大学電子・情報工学系 Institute of Information Sciences and Electronics, University of Tsukuba |
| 第 2 著者 氏名（和/英） | 浜田 佳延 / Yoshinobu HAMADA |
| 第 2 著者 所属（和/英） | 筑波大学電子・情報工学系 Institute of Information Sciences and Electronics, University of Tsukuba |
| 第 3 著者 氏名（和/英） | 水谷 守 / Mamoru MIZUTANI |
| 第 3 著者 所属（和/英） | 筑波大学電子・情報工学系 Institute of Information Sciences and Electronics, University of Tsukuba |
| 第 4 著者 氏名（和/英） | 水野 一徳 / Kazunori MIZUNO |
| 第 4 著者 所属（和/英） | 筑波大学電子・情報工学系 Institute of Information Sciences and Electronics, University of Tsukuba |
| 第 5 著者 氏名（和/英） | 福井 幸男 / Yukio FUKUI |
| 第 5 著者 所属（和/英） | 筑波大学電子・情報工学系 Institute of Information Sciences and Electronics, University of Tsukuba |
| 第 6 著者 氏名（和/英） | 西原 清一 / Seiichi NISHIHARA |
| 第 6 著者 所属（和/英） | 筑波大学電子・情報工学系 Institute of Information Sciences and Electronics, University of Tsukuba |
| 発表年月日 | 2002/5/17 |
| 資料番号 | AI2002-3 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 91 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |