该论文为对 ASP 的解释性研究做出了概述。主要关注 ASP 的不同解释方式及其异同,并探讨其在未来的成功应用中的重要性。
Sep, 2018
本文调查了过去 2.5 十年中应用答案集编程(ASP)计算规划问题方面的进展和优劣,阐述了答案集规划的优缺点,给出了一些典型的应用方法和未来研究的挑战。
Feb, 2022
本文介绍了一种基于行动语言 - 答案集编程的解决规划和调度问题的方法,该方法可以被应用于任何混合领域的计划和调度问题。
Jan, 2013
人工智能的可解释性越来越受到关注,本研究试图填补 Answer-set Programming 中的解释支持的空白,并通过扩展语言支持和开发新的解释形式(如对比解释)来推进可解释 ASP 的研究。
Aug, 2023
通过使用 ASP 技术,本研究在解决物联网、传感器技术、连续数据流、流推理等领域中的关键问题。
本研究提出了一种使用 Answer Set Programming 自动确定精细的、非均匀且有序的求解器调度方案的方法,并且可以定制化地生成并行调度方案。
Jan, 2014
本文介绍了一种应答集编程的方法论,该方法可以促进易于理解且可以证明正确的编码方案的设计。通过向正在形成的程序追加一个规则或一小组规则,并在其中包含一条陈述已经 “实现” 的注释,使我们能够以数学上精确的方式描述程序设计的细节。
Aug, 2016
使用 ASP(Answer Set Programming)的框架,将隐私政策形式化为叙事规划空间上的约束,并通过 HIPAA 的范例演示如何使用该系统来询问可能性并确定给定事件序列中违反法律条款的内容。
Dec, 2022
采用 ASP 和 difference 约束的混合方法以解决实际列车调度问题,并探索如何通过结合不同的 ASP 求解技术来提高性能。
Mar, 2020
本文介绍了基于响应式答案集编程的交互式查询应答系统的设计与实现,可用于处理动态环境下的数据流。
Dec, 2013