第31回 (2017)
セッションID: 1M1-OS-02a-4
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2017年度人工知能学会全国大会（第31回）
回次: 31
開催地: 愛知県名古屋市 ウインクあいち
開催日: 2017/05/23 - 2017/05/26
制約充足問題のASP符号化に関する一考察
詳細
主催: 一般社団法人 人工知能学会
会議名: 2017年度人工知能学会全国大会（第31回）
回次: 31
開催地: 愛知県名古屋市 ウインクあいち
開催日: 2017/05/23 - 2017/05/26
解集合プログラミング(ASP)言語は一階論理に基づく表現力の高いモデリング言語である．ASPソルバーは安定モデル意味論に基づいた解集合を求める．近年，SAT 技術を応用した高速 ASP ソルバーが実現され，人工知能分野への実用的応用が急速に拡大している．本研究では，高速な ASP 型制約ソルバーの実現に向けて，制約充足問題から ASP への符号化の設計・実装・評価を行う．
