- 高级逻辑程序中等价性属性的自动验证 —— 学士论文
使用 Answer Set Programming 的工业应用中,现对于关键应用来说,需求更多形式验证工具。本文提出的新版本的 anthem 工具能够扩展验证功能,通过强等价性来表示具有否定、简单选择和池的逻辑程序。
- MM认知逻辑程序:一些性质研究
通过引入新的定义和语义属性,我们分析了在 Epistemic Logic Programs 中从自底向上到自顶向下的分割方法,并证明了它与自底向上方法的等价性。
- 推广级别排名约束用于单调及凸聚合函数
在该论文中,作者重新考虑了级别排序约束,旨在更系统地覆盖基于聚合的 ASP 扩展。通过应用一系列程序转换,级别排序约束可以以一般形式重写,从而保留了单调和凸聚合的结构,并为它们的整合提供了统一的基础。这些结果为翻译器和求解器管道的实际应用开 - 答案集编程的解释
xASP2 是一个增强型的解释性人工智能系统,用于生成 Answer Set Programming(ASP)的解释图。与 xASP 不同,xASP2 支持不同的 clingo 构造,如选择规则、约束和聚合函数如 #sum、#min。该研究 - 弱约束 ASP 中的行为逻辑悖论
AI 技术的崛起在面对法律、社会和伦理规范敏感的各种应用中需要决策支持,而规范推理是德意志逻辑的领域,在解决著名的基准问题(德意志悖论)方面存在挑战,并且缺乏高效的计算工具。本文使用 Answer Set Programming (ASP) - 在协同设计环境中的全球物流逻辑编程方法
在协同设计环境中,快速且自动地集成变化是一项挑战。本文考虑了在协同设计方法中,针对关键绩效指标(如成本、时间或弹性)创建和优化全球物流系统以建造客机的挑战。本文的目标是找到一种构建飞机的最佳方式,并考虑其工业系统的要求。研究采用 Answe - 基于 ASP 的 ABA 学习
最近,提出了 ABA 学习作为一种从背景知识、正负样本中绘制基于假设的论证框架的符号机器学习方法。我们提出了一种使用答案集规划来实现 ABA 学习的新方法,以帮助指导 ABA 学习中的死记硬背和泛化。
- 半自动驾驶车辆中评估驾驶员情境感知能力:基于 ASP 的驾驶动力学特征建模场景解释与预测
软件和硬件框架评估驾驶员对交通状况的感知能力,并提供人机界面辅助以增强感知能力,重点介绍基于答案集规划的驾驶员场景解释和预测方法。
- 人类主管与 UAM 航空交通管理之间的对话可能性:航路更改
该研究提出了一种新的方法来通过知识表示和推理来管理城市航空交通管理中的绕行,旨在了解城市空中交通管理中绕行的复杂性和需求,从而实现在精心选择的环境中快速识别安全高效路线的方法。该方法使用非单调推理和人工管理者与城市空中交通管理系统之间的双向 - 有限轨迹上的过去 - 现在时态程序
本文研究 Answer Set Programming 中的 past-present 句法子类,其扩展了完成和循环公式的定义,并通过 LTLf 表达式捕捉了一组 past-present 时间程序的时态稳定模型。
- 基于答集编程的有界组合重新配置
我们提出了一种称为有界组合重新配置的方法,用于基于 Answer Set Programming(ASP)解决组合重新配置问题。我们设计和实现了有界组合重新配置,并提出了独立集重新配置问题的 ASP 编码,这是最研究的组合重新配置问题之一。 - 利用大型语言模型生成答案集程序
本文提出了一种神经符号方法,将大型语言模型和答案集编程的优势相结合,以将逻辑谜题的自然语言描述转化为答案集程序。
- 实践中的短布尔公式解释
考虑使用简短的布尔公式对数据模型进行可解释性分析,得出适当长度的解释公式,避免过度拟合但仍然准确且人类可解释。
- 重新思考答案集编程模板
本篇文章介绍了一种应答集编程的模板概念,它通过一个简单的命名规则强制执行某些谓词的本地性,以实现在应用程序的可能为空的上下文中对模板预期结果的不变量的执行。
- 朝全流程 ASP 计算迈进
我们提出了一种端到端的方法,用于通过线性代数计算满足给定约束条件的稳定模型,并针对循环公式使用预处理和启发式方法来减少计算难度。
- ASPER:用于联合实体关系抽取的答案集编程增强神经网络模型
本文介绍了 ASP-enhanced Entity-Relation extraction (ASPER) 方法,通过将 Answer Set Programming (ASP) 中的实际知识(表示为事实)和派生知识(表示为规则)与神经网络 - MM用于授权和义务政策细化的 ASP 框架
本文介绍了一种用于帮助政策作者细化和改进政策的框架,重点关注可在 Gelfond 和 Lobo 的 AOPL 语言中进行编码的授权和义务政策。该框架使用 Answer Set 编程来检测使政策不一致、不充分或有歧义的语句,并关注授权和义务政 - 利用 ASP 推导并发数据结构同步代码的 Locksynth
Locksynth 是一个工具,它可以自动推导出涉及一个共享堆内存写入操作常数数量的并发数据结构进行破坏性更新所需的同步,并表现为我们之前关于推导抽象同步代码的工作的实现。
- MM基于逻辑的 Benders 分解策略在答案集编程中用于慢性门诊排班
本研究应用基于逻辑的 Benders 分解方法(LBBD)将其首次应用于解决 Answer Set Programming(ASP)中的优化问题,以提高 ASP 技术的实用性,并以医疗保健为案例研究,实验结果表明此方法的有效性。
- MMASP (Q) 的高效求解器
本文介绍了一种新的 Answer Set Programming with Quantifiers ASP (Q) 的实现方式,它构建在 qasp 的基础上,具有更高效的编码过程和自动选择多个 QBF-solving 后端的算法选择策略,具