Volume 14, Number 4

Answer Set Programming (DLV – Clingo):Connect 4 Solver

  Authors

Rosalba Cuapa C, Fernando Zacarias F and Adair Ponce, Universidad Autónoma de Puebla, México

  Abstract

Answer set programming is an approach that has recently gained a lot of popularity in solving complex problems due to its efficient knowledge representation and reasoning. Knowledge is represented as answer set programs, and reasoning is performed by answer set solvers. Answer set programming enables default reasoning, which is required in commonsense reasoning. In this paper, we discuss the potential role of answer set programming (ASP) in the context of approaches to the development of agents especially in the realm of Computational Logic. So, we focus on the usage of DLV for solving problems in a declarative manner particularly, in the solution of the game “connect four”. Additionally, we present the solution to this same problem from Clingo's perspective. We address this challenge with the ASP system clingo and its grounding and solving components by equipping them with well-defined generic interfaces facilitating the manifold integration efforts.

  Keywords

Asnwer Set Programming, Clingo, Dlv, Logic, Agents