Jan, 2024

ASP 重访的单元测试：语言和测试驱动开发环境

PDF
TL;DR通过提出一种新的单元测试规范语言，本研究重新审视了 ASP 中的单元测试语言和工具，并识别了与检查各种程序正确性断言相关的任务的计算复杂性。该研究还提供了一种支持 ASP 程序测试驱动开发的新型环境。
unit testing frameworksknowledge representationanswer set programmingunit test specification languagetest driven development
发现论文，激发创造
  • ASPIDE 中的单元测试

    该论文探讨了如何在 Answer Set Programming（ASP）的编程环境中实现单元测试，防止编程结果发生错误。

    Aug, 2011

  • 验证答案集编程的工具和方法

    该研究的目标是扩展支持 ASP 程序验证的工具和理论，旨在促进知识表示和推理的发展，并解决人工智能中的可靠性和可解释性问题。

    Aug, 2022

  • 非安全底部 ASP 程序的调试：技术和图形化工具

    提出了一种新的 ASP 程序调试方法，该方法基于非基础程序中所涉及的非基础规则，通过问答能够精确定位程序中的错误。这种调试器集成在 ASPIDE 中，使用 WASP 进行实现。

    Aug, 2018

  • 从自然语言规范到 ASP 程序的自动组合

    该论文介绍了自动化组合 Answer Set Programming（ASP）规范的第一步，包括基于图问题规范的数据集的设计与评估、利用神经机器翻译将自然语言转化为控制自然语言语句，以及通过 CNL2ASP 工具将控制自然语言语句转化为 ASP 代码，实验证实了该方法的可行性。

    Mar, 2024

  • 一个便于应用嵌入 Answer Set Programming 的开发框架

    该研究论文介绍了一种将 Answer Set Programming（ASP）的知识表示和推理能力整合到通用应用程序中的框架，并且展示了在不同平台的 ASP 系统中，特定化该框架的正确方法，包括移动平台和教育场景，并开发了几个基于 ASP 的应用程序。

    Jul, 2017

  • ValAsp: 一种用于 Answer Set Programming 数据验证的工具

    该论文介绍了解决 ASP 程序中数据验证的问题和如何在程序中注入数据验证工具，以达到快速出错的效果，其方法是使用 YAML、ASP 和 Python 语言来指定验证语句，并为 ASP 验证命令打开了验证指令的可能性。

    Feb, 2022

  • 面向答案集程序调试的集成图形用户界面

    本研究基于 DWASP 方法提供了非极限答案集程序的图形化调试界面，并将其整合到了一个完整的 ASPIDE IDE 中，以提供调试支持。

    Nov, 2016

  • CNL2ASP：将受控自然语言句子转换为 ASP

    使用受控自然语言（CNL）形式的英语句子作为输入，CNL2ASP 工具将其转换为 ASP 规则，用于指定合成和实际组合问题的声明性编程语言 ——Answer Set Programming（ASP）。经过实验分析，我们的工具在真实问题上表现出与 ASP 开发者编写的编码相当的性能。

    Nov, 2023

  • ASP 程序的并行实例化：技术与实验

    本研究介绍了一些并行的实例化技术，包括负载平衡和粒度控制启发式方法，可有效利用现代 SMP 机器所提供的处理能力。

    Oct, 2011

  • 模块化答案集编程作为正式规范语言

    本篇论文研究了 ASP 的形式验证问题，通过使用基于 ASP 模块的形式化规范语言，将 ASP 模块与问题实例正确地相对应，从而证明了逻辑程序 P 的正确性，这种模块化的规范语言包含了可能嵌套的一阶程序模块，可以在不同层次上包含本地隐藏原子。

    Aug, 2020