ASP程序的解释与调试系统的设计与实现

东南大学工程硕士学位论文

Design and Implementation of Explanation and Debugging System for ASP Program

论文信息

项目	内容
作者	胡闰秋（HU Runqiu）
导师	张志政 副教授（Associate Prof. ZHANG Zhi-zheng）
学位类型	工程硕士（Master of Engineering）
专业名称	计算机技术（专业学位）
所在学院	计算机科学与工程学院
答辩日期	2021年6月
学校	东南大学

摘要

随着人工智能技术的发展，对人工智能决策可解释性的需求越发重要。回答集编程（Answer Set Programming，ASP）作为人工智能领域的编程范式之一，由于其强大的表达力，被广泛应用于各领域问题的求解。然而，ASP程序的推理求解对使用者而言是一个"黑盒"，用户在求解过程中无从得知程序的结论是如何推导得到的；面对非预期的求解结果，只能采用逐个文字、逐条规则的方式进行程序错误的排查，效率低下。

本文考虑设计可交互的ASP程序解释与调试模型，通过交互将用户的偏好引入解释与调试的过程中，主要工作如下：

1. 设计一致性ASP程序的解释模型，包括解释的定义、用户交互机制的研究及解释生成算法；
2. 在解释模型的基础上，结合不一致ASP程序的已有理论，设计不一致ASP程序的调试模型及调试算法；
3. 基于上述两个模型，设计并实现ASP程序解释和调试系统，通过实例验证模型的有效性。

关键词：回答集程序，逻辑程序图表示，回答集程序解释发现，回答集程序调试，人工智能可解释

论文结构

章节	内容
第一章 绪论	研究背景与动机、相关研究现状、研究目标与内容、研究方法与技术路线
第二章 背景知识	ASP程序的语法、ASP程序的语义、ASP求解器介绍
第三章 ASP程序解释模型	解释的定义、交互解释生成算法、非实例化程序的实例化方案
第四章 ASP程序调试模型	调试的定义、基于文字-规则依赖图标记的调试算法
第五章 系统设计与实现	系统设计、前后端实现、应用案例展示
第六章 总结与展望	工作总结与未来研究方向

文档编译

进行全文编译需要按照下述顺序调用编译引擎：

XeLaTeX -> BibTeX -> MakeIndex -> XeLaTeX -> XeLaTeX

为了方便文档编译，本项目提供了自动化编译脚本。Linux 和 MacOS 用户请在命令行中执行根目录下的 make.sh 脚本，或使用 make 命令执行自动化增量快速编译：

# Linux / macOS
bash make.sh
# 或使用 GNU Make
make

LaTeX 模板说明

本论文使用东南大学硕士研究生学位论文 LaTeX 模板排版，该模板基于许元的 SeuThesis 和樊智猛的 SeuThesix 修改而来，支持学术型及专业型硕士研究生学位论文。参考文献 BST 文件来自 GB/T 7714-2015 BibTeX Style。

模板源码：TouchFishPioneer/SEU-master-thesis

开源许可证

GPL-v3