Clingraph:基于 ASP 的可视化系统
这篇论文介绍了使用 CLINGO 实现扩展和定制化特殊目的系统的两种方法,通过 meta 编程和应用程序接口 2 种不同方式来实现操作和控制整个 ASP 模型。同时,还介绍了 CLINGO 新的应用程序类和中间格式 ASPIF,旨在帮助普通用户构建自己的 ASP 系统并进行非平凡的案例分析。
Aug, 2020
本文介绍了一种混合型 ASP 求解器 clingcon,它使用 Constraint Programming 中的非布尔约束和 Answer Set Programming 的高性能布尔求解能力,其主要技术创新是通过基于不可约不一致集的学习技术改进 ASP 和 CP 求解器之间的交互,实现全局约束和优化语句支持,广泛的实证评估表明这些技术提高了一个数量级的性能。
Oct, 2012
介绍了新的 ASP 系统 clingo 4,其提供高级结构来实现复杂推理过程,支持高级搜索形式(如优化或理论求解),并通过嵌入脚本语言 lua 和 python 实现控制能力,为 ASP 的声明输入语言提供了一种新的指令来支持命名和可参数化子程序的逻辑程序结构化。通过严格分离逻辑程序和控制程序,clingo 4 还取消了增量和反应推理的专用系统,其灵活性超越了 iclbingo 和 oclingo 的解决过程。
May, 2014
本篇论文介绍了第三代约束答案集系统 clingcon,它将 Answer Set Programming(ASP)与有限域约束处理(CP)相结合,并采用惰性方法实现对约束传播的扩展。
May, 2017
xASP2 是一个增强型的解释性人工智能系统,用于生成 Answer Set Programming(ASP)的解释图。与 xASP 不同,xASP2 支持不同的 clingo 构造,如选择规则、约束和聚合函数如 #sum、#min。该研究提供了一个能够将假设集合尽可能缩小并通过有向无环图形式展示解释的 ASP 广泛片段的可解释人工智能系统。
Aug, 2023
该研究论文介绍了一种基于 ASP 系统 clingo 的算法框架,利用线性约束扩充基本 ASP,实现了不同形式的线性约束,并在反应式环境下演示其应用。最后,对该算法进行了实证评估。
Jul, 2017
该论文介绍了自动化组合 Answer Set Programming(ASP)规范的第一步,包括基于图问题规范的数据集的设计与评估、利用神经机器翻译将自然语言转化为控制自然语言语句,以及通过 CNL2ASP 工具将控制自然语言语句转化为 ASP 代码,实验证实了该方法的可行性。
Mar, 2024
提出了一种名为 Multi-shot ASP solving 的 Answer Set Programming 新范式,采用 clingo 实现,可以灵活处理不断变化的逻辑程序并可进行高级搜索等操作,同时采用模块化编程方式实现。
May, 2017
提出了一种新的 ASP 程序调试方法,该方法基于非基础程序中所涉及的非基础规则,通过问答能够精确定位程序中的错误。这种调试器集成在 ASPIDE 中,使用 WASP 进行实现。
Aug, 2018