文献

J-GLOBAL ID：201802244429569992   整理番号：18A0859646

次のレベルへの応答集合プログラミングの導入:コース時間割のモデリングに関する実際の事例【JST・京大機械翻訳】

Bringing answer set programming to the next level: A real case on modeling course timetabling

著者 (3件)： Aini Irvi Firqotul (Faculty of Computer Science, Universitas Indonesia) ,  Saptawijaya Ari (Faculty of Computer Science, Universitas Indonesia) ,  Aminah Siti (Faculty of Computer Science, Universitas Indonesia)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICACSIS  ページ： 471-476  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： コースの変更問題は,与えられた制約の集合を対象として,時間スロットと部屋の限られた集合に多くの講義を割り当てるタスクとして定義できる。Answer Setプログラミング(ASP)の可能性,論理プログラミングの拡張,t 》宣言的モデルコース変更問題は,国際的なコースのチームリング競争において示されている。ASPの中で,問題は論理プログラムとして表現され,問題への解は論理プログラムの意味論,すなわちプログラムの安定モデルから得られる。本論文において,ASPを用いて,ハード制約を満たし,ソフト制約の違反により生じるペナルティを最小化することを目的として,コンピュータ科学のFaculty,Universitas インドネシアのコースの時ti問題を符号化した。これは,困難な制約を満たすことを目的としている。既存のASPアプローチでは考慮されていないこの現実世界の問題からの困難な制約を同定し,それらがASPでどのように表現されるかを示した。最先端のASPソルバを用いた実験により,最適なコースタイムテーブルのいくつかの代替案が,有望な実行時間におけるすべての困難な制約を満たしながら,成功裏に配信されることを示した。また,グラフィカルユーザインタフェイスを持つ軽量アプリケーションを提供し,バックエンドとしてclin行くし,インスタンス仕様を自動的に前処理し,その解を表形式に計算し,後処理する。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】

シソーラス用語： ペナルティ ,  GUI【計算機】 ,  計算機科学 ,  応用プログラム ,  符号化 ,  *モデリング ,  前処理 ,  意味論 ,  *計算機プログラミング ,  論理プログラミング
準シソーラス用語： バックエンド ,  実行時間 ,  ソルバ ,  タイムスロット ,  *時間割 , 【Automatic Indexing@JST】

分類 (2件)： 計算理論  (JB02000A) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 応答 ,  集合 ,  プログラミング ,  時間割 ,  モデリング