文献

J-GLOBAL ID：201402218550436431   整理番号：14A1307248

制約解集合プログラミングシステムの設計方式に関する考察

著者 (5件)： 宋剛秀 (神戸大 情報基盤セ) ,  則武治樹 (神戸大 大学院システム情報学研究科) ,  番原睦則 (神戸大 情報基盤セ) ,  田村直之 (神戸大 情報基盤セ) ,  井上克巳 (国立情報学研)
資料名： 日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))
巻： 31st  ページ： ROMBUNNO.PPL2-3  発行年： 2014年 
JST資料番号： X0080B  ISSN： 1348-0901  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 解集合プログラミング(Answer Set Programming;ASP)は,一階述語論理に基づいた論理型プログラミング言語の一種である。記号上の探索問題を簡潔に記述できることが特長の一つであるが,算術的な制約を直接表現することはできない。一方,制約プログラミング(Constraint Programming;CP)は算術的な制約を対象としている。このような背景からASPとCPの統合が注目を集めており,両者の機能を併せ持つ制約解集合プログラミング(Constraint Answer Set Programming;CASP)が研究されるようになった。本論文ではCASPシステムの一構成方式について考察する。ここでは,CASPシステムmuffinをASPシステム上に実装する。muffinのCASP言語のベースはASPであり,ASPの記号的な制約の記述に加えて算術的な制約の記述が可能である。またASPの記号や項を変数名やコレクション名として用いることができるため,簡潔な問題記述が可能である。これまで提案されてきたCASPシステムと異なり,muffinは前処理方式とライブラリ方式を融合したシステムであることにも特長がある。論文では実装したmuffinを用いた基礎実験の結果についても報告を行う。(著者抄録)

シソーラス用語： *制約プログラミング ,  *論理プログラミング ,  システム設計 ,  *論理型言語 ,  命題論理 ,  探索問題 ,  制約条件 ,  実装設計 ,  ライブラリ【計算機】 ,  評価試験 ,  知識表現 ,  *述語論理
準シソーラス用語： 一階述語論理 ,  *解集合プログラミング ,  *制約解集合プログラミング

分類 (3件)： 計算機システム開発  (JD02010R) ,  汎用プログラミング言語  (JD03051H) ,  論理代数  (JB03000H)

タイトルに関連する用語 (3件)： 制約 ,  解集合プログラミング ,  設計