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.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.