[2J5-OS-36a] OS-36

4:45 PM - 5:00 PM JST(7:45 AM - 8:00 AM UTC)

[2J5-OS-36a-06] A Synchronous Parallel ASP Solver with Reproducible Behavior

〇Kenichiro Katsura¹, HIDETOMO NABESHIMA² (1. Graduate School of Interdisciplinary Research, Engineering Program, Computer Science and Engineering Course, University of Yamanashi, 2. Department of Electrical and Electronic Information Engineering, Graduate Faculty of Interdisciplinary Research, University of Yamanashi)

Keywords:

Answer Set Programming,Parallel Processing,Reproducibility

解集合プログラミング（Answer Set Programming；ASP）は，強力かつ簡潔な宣言的モデリング言語と，高速なASPソルバーによる高い求解性能を兼ね備えた問題解決手法である．しかし既存の並列ASPソルバーは枝刈り情報を非同期で交換するため，実行ごとの挙動に再現性がなく，ASPソルバーを組み込んだシステムの運用が困難である．そこで本研究では，最新のASPソルバーclingoをベースに決定的並列SATソルバーの技術を適用し，待ち時間を抑制しつつ実行結果の再現性を保証する決定的並列ASPソルバーを提案する．評価実験では，提案手法が完全な再現性を有することを確認すると共に，既存の逐次および非決定的並列ソルバーとの性能比較を行う．