TL;DR通过对逻辑编程领域中的回答集编程(ASP)进行分析,我们提出了一种精细化的方法,描述了 ASP 程序的特征,以及在一些情况下决策问题的半决策解法和用于生成有限扩展的基础步骤。
Abstract
answer set programming (ASP) is a logic programming formalism used in various
areas of artificial intelligence like combinatorial problem solving and
knowledge representation and reasoning. It is known that enhan