Winning Snake: Design Choices in Multi-Shot ASP

要約

回答セット プログラミングは、十分に理解され確立されている問題解決および知識表現のパラダイムです。
科学や産業におけるさまざまな用途により、より幅広い視聴者の間で注目されるようになりました。
高度なプログラミングおよびモデリング技術の継続的な開発により、開発者とユーザー向けのツールセットが定期的に拡張されています。
この論文では、アーケード ゲームのスネークを解決することによって、ロジック プログラム パーツ (マルチショット) を再利用するためのさまざまなテクニックを示します。
このゲームは、ハミルトニアン サイクルの根本的な NP 困難問題を解決することで勝利が保証されるため、特に興味深いです。
clingo での 5 つの実践的な実装をデモンストレーションし、実証的評価でパフォーマンスを比較します。
さらに、私たちの実装ではクリングラフを利用して、ゲームの進行状況を表すシンプルかつ有益な画像表現を生成します。

要約(オリジナル)

Answer set programming is a well-understood and established problem-solving and knowledge representation paradigm. It has become more prominent amongst a wider audience due to its multiple applications in science and industry. The constant development of advanced programming and modeling techniques extends the toolset for developers and users regularly. This paper demonstrates different techniques to reuse logic program parts (multi-shot) by solving the arcade game snake. This game is particularly interesting because a victory can be assured by solving the underlying NP-hard problem of Hamiltonian Cycles. We will demonstrate five hands-on implementations in clingo and compare their performance in an empirical evaluation. In addition, our implementation utilizes clingraph to generate a simple yet informative image representation of the game’s progress.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google