文献

J-GLOBAL ID：201702265727802153   整理番号：17A0150833

制約充足問題に対する人間-機械の協調型最適化手法と制約構造の可視化を目的とした形式概念分析の試み-大学時間割作成業務を対象として-

著者 (5件)： 島崎隼介 (富山県大 大学院) ,  榊原一紀 (富山県大 工) ,  本吉達郎 (富山県大 工) ,  中村正樹 (富山県大 工) ,  西田泰伸 (富山県大 工)
資料名： ヒューマンインタフェース学会論文誌(CD-ROM)  (Transactions of Human Interface Society (CD-ROM))
巻： 18  号： 1-4  ページ： 133-140  発行年： 2016年02月25日 
JST資料番号： L3614B  ISSN： 2186-828X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 大学などの授業時間割作成を自動化する試みが多く報告されているが,それらの多くは数理モデルに基づき,計算機を利用して制約充足解を導出するアプローチである。それに対して,本稿では,作業者と最適化器の対話に基づく繰り返し型の計画作成方法を導入した。具体的には,まず,大学補講時間割作成問題を定義し,整数計画による制約充足モデルおよび大学補講時間割作成プロセスを示し,人間-機械の協調型最適化手法として分枝限定法を用いた最適化を行った。さらに,データ分析手法の1つである形式概念分析について説明し,最適化器の出力を作業者が理解する一助として,形式概念年分析を用いて制約充足構造を可視化し,1)含意論理を用いた授業配置不可に関する要因,2)コンセプトラティスを用いた授業配置不可に関する要因,についての解析事例を紹介した。

シソーラス用語： *スケジューリング ,  *人間機械系 ,  *協調作業 ,  最適化手法 ,  *制約充足問題 ,  制約条件 ,  *整数計画法 ,  *ヒューマンインタフェイス ,  分枝限定法 ,  最適化問題 ,  束 ,  データ解析 ,  学校教育 ,  大学 ,  可視化
準シソーラス用語： *ヒューマンマシンインタラクション ,  概念束 ,  *形式的概念分析 ,  情報可視化

分類 (3件)： ネットワーク法  (KA03040X) ,  人工知能  (JE08000Z) ,  人間機械系  (IB03000G)

引用文献 (15件)：

• Burke, E. K. , Petrovic, S.: Recent research directions in automated timetabling, timetabling; European Journal of Operational Research, Vol.140, No.2, pp.266-280 (2002).
• Daskalaki, S., Birbas, T. Housos, E.: An integer programming formulation for a case study in university timetabling; European Journal of Operational Research, Vol.153, No.1, pp.117-135, (2004).
• 茨木俊秀, 熱田光紀, 野々部宏司: 汎用ソルバによる時間割作成ー国際コンペティションITC2007 に参加してー; スケジューリング・シンポジウム2008 講演論文集, pp.173-176 (2008).
• Causmaecker, P. D., Demeester,P., Berghe, G. V.: A decomposed metaheuristic approach for a realworld university timetabling problem; European Journal of Operational Research, Vol.195, No.1, pp.307-318. (2009).
• Burke,E. K., Mareceka, J. Parkesa, A. J., Rudova, H.: Decomposition, reformulation, and diving in university course timetabling; Computers & Operations Research, Vol. 37, No. 3, pp.582-597, (2010).

タイトルに関連する用語 (13件)： 制約充足問題 ,  人間 ,  協調 ,  最適化手法 ,  制約 ,  可視化 ,  形式 ,  概念 ,  分析 ,  試み ,  大学 ,  時間割 ,  業務