人工知能学会全国大会論文集
第31回全国大会(2017)
セッションID: 1M1-OS-02a-4
会議情報

制約充足問題のASP符号化に関する一考察
*坡山 直樹番原 睦則宋 剛秀田村 直之
著者情報
会議録・要旨集 フリー

詳細
抄録

解集合プログラミング(ASP)言語は一階論理に基づく表現力の高いモデリング言語である.ASPソルバーは安定モデル意味論に基づいた解集合を求める.近年,SAT 技術を応用した高速 ASP ソルバーが実現され,人工知能分野への実用的応用が急速に拡大している.本研究では,高速な ASP 型制約ソルバーの実現に向けて,制約充足問題から ASP への符号化の設計・実装・評価を行う.

著者関連情報
© 2017 一般社団法人 人工知能学会
前の記事 次の記事
feedback
Top