answer set programming | BriefGPT

关键词answer set programming

搜索结果 - 215

CLMASP：将大型语言模型与答题集编程结合用于机器人任务规划
使用 CLMASP 方法，通过结合大型语言模型 (LLMs) 和 Answer Set Programming (ASP) 的能力，能够生成可在具体机器人情境中执行的规划方案，大幅度提高了可执行率。
PDFa month ago
通过带有动态命题的布尔公式实现全球可解释的分类器
提出一种从表格数据中提取可立即解释的人类可理解分类器的方法，并使用 Answer Set Programming 实现，其优点是分类器长度短且容易理解，与参考方法相比准确度相近。
PDFa month ago
借助解答集编程指导和多样化基于 LLM 的故事生成
使用回答集编程（ASP）的高层次和抽象符号规范引导和多样化基于 LLM 的故事生成，产生比未引导的 LLM 更多样化的故事，并通过代码摘录证明 ASP-based outline generation 相较于完整的叙事规划具有改进的紧凑性和
PDFa month ago
大领域优先搜索策略在组合优化与答案集编程中的应用
我们提出了大邻域优先搜索（LNPS）用于解决回答集程序设计中的组合优化问题。LNPS 是一种元启发式方法，通过交替破坏和优先搜索当前解来寻找更好的解决方案。我们基于 ASP 实现了 LNPS，并通过 heulingo 求解器的实验证明了 L
PDF2 months ago
IJCAI函数的有限可导引理：一次一致性之旅
通过对逻辑编程领域中的回答集编程（ASP）进行分析，我们提出了一种精细化的方法，描述了 ASP 程序的特征，以及在一些情况下决策问题的半决策解法和用于生成有限扩展的基础步骤。
PDF2 months ago
MM灵活薪酬管理的答案集编程
使用基于灵活的答案集编程 (ASP) 模型和基于决策模型与标记 (DMN) 标准的易于阅读的表格表示法，本文提出了一种适用于灵活设计的工资管理系统。它允许人力资源顾问表示复杂规则，无需软件工程师的参与，并最终为不同情景设计工资系统。我们展示
PDF4 months ago
基于答案集编程的多智能体路径规划中的路由与调度：初步报告
我们提出了一种在答案集编程（ASP）中进行路由和调度的替代方法，并在多智能体路径规划的背景下进行了探索。这种方法捕捉了时间流的部分顺序而不是与行动和谓词相关联的时间步骤，终止了对计划长度的固定上界的需求。这种避免的代价是（部分）时间轨迹必须
PDF4 months ago
从自然语言规范到 ASP 程序的自动组合
该论文介绍了自动化组合 Answer Set Programming（ASP）规范的第一步，包括基于图问题规范的数据集的设计与评估、利用神经机器翻译将自然语言转化为控制自然语言语句，以及通过 CNL2ASP 工具将控制自然语言语句转化为 A
PDF4 months ago
POMDP 中的策略指导的逻辑规范学习：归纳逻辑编程方法
从 POMDP 执行的痕迹中学习得到高质量的启发式方法，通过转换为逻辑语义并利用数据和时间高效的归纳逻辑编程生成可解释的基于信念的策略规范，以在线方式引导 POMDP 求解器的行动选择过程。使用 Answer Set Programming
PDF4 months ago
关于回答集编程的结构难度的延伸版本：结构能否有效地限制析取的能力？
Answer Set Programming (ASP) 是一个以知识表示为重点的问题建模和求解框架，在工业应用方面有着快速增长。这篇论文通过对结构参数的分类研究了 disjunctive ASP 的复杂性，提供了多个重要参数的双指数下界，
PDF5 months ago
度量动态均衡逻辑
在这篇研究论文中，我们发展了基于时间序列的线性时间扩展的动态均衡逻辑的度量扩展，它通过整数区间对动态运算符进行约束，从而提供了用于指定定性和定量动态约束条件的基于 ASP 的方法。
PDF6 months ago
ASP 重访的单元测试：语言和测试驱动开发环境
通过提出一种新的单元测试规范语言，本研究重新审视了 ASP 中的单元测试语言和工具，并识别了与检查各种程序正确性断言相关的任务的计算复杂性。该研究还提供了一种支持 ASP 程序测试驱动开发的新型环境。
PDF6 months ago
用紧凑编码进行准确 ASP 计数
Answer Set Programming (ASP) has emerged as a promising paradigm in knowledge representation and automated reasoning, an
PDF7 months ago
逻辑与学习之桥：一种增强神经模型推理能力的神经符号方法 (ASPER)
该研究通过融合神经网络和符号推理的神经符号学习方法，以提高神经模型在推理任务上的性能，通过整合 ASP 求解器和领域特定专业知识来训练浅层人工神经网络（ANN）以解决数独难题，有效提高了训练效率，超参数调优无需 12 个数独练习即可显著改善
PDF7 months ago
AAAI关于遗忘和强等价概念在答案集编程中的统一视角
Answer Set Programming (ASP) 是一种基于规则的语言，用于知识表示和推理，研究了忘记、简化和相关概念的关联以及引入了一种新的相对等效概念，提供了相对简化的必要和充分条件，并介绍了结合投影和适度遗忘来获得相对简化的操
PDF7 months ago
扩展应答集编程与有理数
该论文旨在扩展 ASP 以处理非整数，通过使用有理数近似法实现了 reproducibility 和 declarativity，并提出了对应的 ASP-Core-2 标准的定义语义和实现。这一工作有望成为 ASP 语言更具表达力和多功能性
PDF7 months ago
MMCNL2ASP：将受控自然语言句子转换为 ASP
使用受控自然语言（CNL）形式的英语句子作为输入，CNL2ASP 工具将其转换为 ASP 规则，用于指定合成和实际组合问题的声明性编程语言 ——Answer Set Programming（ASP）。经过实验分析，我们的工具在真实问题上表现
PDF8 months ago
MM可增量优化的任意时刻答案集计数
该论文介绍了一种通过假设知识编译来迭代计算答案集的技术，以改进对解空间的估计，同时避免了在计算中的指数级开销。
PDF8 months ago
MM答案集编程中的人类条件推理
给定一个条件句 P=>Q（如果 P 则 Q）和相应的事实，观察到人类推理中的四种不同类型的推断：肯定前提（AA）从 P 推出 Q；肯定结论（AC）从 Q 推出 P；否定前提（DA）从 - P 推出 - Q；否定结论（DC）从 - Q 推出
PDF8 months ago
带有 s (CASP) 的反事实解释生成
自动决策的机器学习模型在贷款批准、预审保释、招聘等领域越来越普遍，但大多数模型是不透明的，无法揭示决策依据。本文专注于自动生成反事实解释的问题，采用了答案集规划和 s (CASP) 目标导向 ASP 系统。我们展示了如何计算和证明反事实解释
PDF8 months ago