MMAug, 2020

eclingo: 一个 Epistemic Logic Programs 求解器

PDF
TL;DReclingo 是基于 Answer Set Programming 系统 clingo 开发的一个解决 Gelfond 1991 下的认知逻辑程序的求解器，通过使用 clingo 的语法扩展能力定义主观文字实现了对程序的谨慎和勇敢结果的搜索，并在一些场景中提高求解效率。
发现论文，激发创造
  • Clingo = ASP + Control: 预备报告

    介绍了新的 ASP 系统 clingo 4，其提供高级结构来实现复杂推理过程，支持高级搜索形式（如优化或理论求解），并通过嵌入脚本语言 lua 和 python 实现控制能力，为 ASP 的声明输入语言提供了一种新的指令来支持命名和可参数化子程序的逻辑程序结构化。通过严格分离逻辑程序和控制程序，clingo 4 还取消了增量和反应推理的专用系统，其灵活性超越了 iclbingo 和 oclingo 的解决过程。

    May, 2014

  • ECLiPSe - 从 LP 到 CLP

    ECLiPSe 是一款基于 Prolog 的编程系统，旨在开发和部署约束编程应用程序，同时也用于教授组合问题求解的大多数方面，如问题建模、约束编程、数学规划和搜索技术。

    Dec, 2010

  • plingo: 一种基于 lpmln 的 Clingo 概率推理系统

    Plingo 是基于 ASP 的 LP^MLN 的概率扩展，并可以映射到优化问题，提供了三种使用不同输入语言和推理模式的前端。通过基于新的方法的近似技术，将 LP^MLN 重新实现为现代 ASP 技术的核心。我们通过与其他概率系统进行比较，从经验上评估 Plingo 的性能。

    Jun, 2022

  • 认知逻辑程序求解器进展综述

    本文报告了认知逻辑程序求解器的开发现状，讨论了扩展应用答案集编程中提出的认知规范语言，其中包含了模态运算符 K（“已知”）和 M（“可能为真”），以提供更强大的内省推理和增强功能，特别是在处理不完整信息时。

    Sep, 2018

  • 三十年的认知规范

    该研究论文介绍了认知逻辑程序的语言和形式语义，并探讨了该领域的当前状态和未来研究的挑战。

    Aug, 2021

  • 分离认识逻辑程序

    本文介绍了一种适用于逻辑程序的稳定模型扩展 —— 经验逻辑程序，并在此基础上提出了一种逻辑程序拆分属性，最终得出了大多数现有建议都不能满足经验逻辑拆分属性的结论。

    Dec, 2018

  • Clingo 线性约束与整数和实数

    该研究论文介绍了一种基于 ASP 系统 clingo 的算法框架，利用线性约束扩充基本 ASP，实现了不同形式的线性约束，并在反应式环境下演示其应用。最后，对该算法进行了实证评估。

    Jul, 2017

  • 使用 Clingo 求解多次 ASP

    提出了一种名为 Multi-shot ASP solving 的 Answer Set Programming 新范式，采用 clingo 实现，可以灵活处理不断变化的逻辑程序并可进行高级搜索等操作，同时采用模块化编程方式实现。

    May, 2017

  • 关于 Gringo 语义学的研究

    该研究通过将答案集求解器转换为无穷命题公式的语言，解决了一些基于本质稳定模型定义的复杂结构，如局部变量、条件文字和聚合等，避免了纯手动的解释。

    Dec, 2013

  • selp: 一种单射迭代逻辑程序求解器

    该研究介绍了一种将 Epistemic Logic Programs 转换成非地面（non-ground）ASP 的方法，并且在原型 ELP 求解系统 “selp” 上进行了实现和实验。

    Jan, 2020