[论文解读] An Online Development Environment for Answer Set Programming

Elias Marcopoulos, Christian Reotutar+1 more|arXiv (Cornell University)|Jun 20, 2017

Logic, Reasoning, and Knowledge参考文献 15被引用 4

一句话总结

本文提出了一种面向本科生和高中生教学的在线、自包含的答案集编程（ASP）开发环境。该环境基于 SPARC 语言构建，提供一个简单的基于网页的界面，支持文件存储、实时程序编辑，并通过绘图和动画谓词支持可视化输出，显著降低了学习 ASP 的技术门槛。

ABSTRACT

Recent progress in logic programming (e.g., the development of the Answer Set Programming paradigm) has made it possible to teach it to general undergraduate and even high school students. Given the limited exposure of these students to computer science, the complexity of downloading, installing and using tools for writing logic programs could be a major barrier for logic programming to reach a much wider audience. We developed an online answer set programming environment with a self contained file system and a simple interface, allowing users to write logic programs and perform several tasks over the programs.

研究动机与目标

• 解决安装和配置本地 ASP 工具带来的高技术门槛，该问题阻碍了非计算机科学专业学生学习 ASP。
• 创建一个轻量级、基于网页的环境，无需安装，可在多种计算环境中运行。
• 通过在逻辑程序结果中集成可视化和动画输出，提升学生参与度，超越传统答案集的呈现方式。
• 通过简化工具访问并减少对技术支持的依赖，支持在高中和本科课程中教授 ASP。
• 使教育工作者能够专注于教学内容，而非软件配置和故障排除。

提出的方法

• 该环境实现为一个独立的网页应用程序，内置文件系统，消除了对本地安装的依赖。
• 它使用 SPARC 语言，该语言支持类型（sorts），以提高程序清晰度和错误检测能力。
• 界面包括代码编辑器、文件浏览器以及用于运行程序和查询答案集的简单控制按钮。
• 引入了自定义的绘图和动画谓词，允许用户逐帧渲染视觉输出，帧率为 1/60 秒。
• 系统集成了 Clingo ASP 求解器，并通过自定义可视化管道渲染视觉输出。
• 该环境在线托管于 http://goo.gl/ukSZET，确保任何具备网页浏览器的设备均可访问。

实验结果

研究问题

• RQ1 一个在线、自包含的 ASP 环境是否能有效降低教学逻辑编程时的工具设置技术负担？
• RQ2 在提升学生参与度和理解 ASP 程序方面，集成可视化和动画输出的效果如何？
• RQ3 此类环境能否在高中和本科教育中有效支持有意义的编程任务，如解决数独或地图着色问题？
• RQ4 当程序复杂度增加，特别是涉及动画时，该环境的性能如何扩展？
• RQ5 在不牺牲功能性的前提下，该环境在教育环境中在多大程度上可以替代本地工具链？

主要发现

• 在线环境成功消除了对本地软件安装的需求，实现了在多样化学生计算环境中的无缝访问。
• 在高中和高年级人工智能课程中，学生表现出对绘图和动画功能的浓厚兴趣，并能有效使用。
• 可视化输出的集成显著提升了程序结果的呈现效果，超越了原始答案集的展示方式。
• 该环境支持核心 ASP 功能，包括程序编辑、文件管理及答案集计算，且用户界面复杂度极低。
• 在涉及动画的大规模底层程序中观察到性能下降，表明未来版本需进一步优化。
• 该系统使教育工作者能够专注于教学内容，而非软件安装和配置问题的故障排除。