TL;DR该研究的目标是扩展支持 ASP 程序验证的工具和理论,旨在促进知识表示和推理的发展,并解决人工智能中的可靠性和可解释性问题。
Abstract
answer set programming (ASP) is a powerful declarative programming paradigm
commonly used for solving challenging search and optimization problems. The
modeling languages of ASP are supported by sophisticated sol