declarative programming | BriefGPT

关键词declarative programming

搜索结果 - 11

验证答案集编程的工具和方法
该研究的目标是扩展支持 ASP 程序验证的工具和理论，旨在促进知识表示和推理的发展，并解决人工智能中的可靠性和可解释性问题。
PDF2 years ago
MMASP 中的多智体认知规划建模
本文介绍了一种基于声明式编程技术的多智能体认知情境下的推理问题的解决方案，即 PLATO（基于 ePistemic 多智能体 Answer Program 解决方案），利用自定义认知状态表征和 ASP 求解器的效率，在从文献中收集的基准测试
PDF4 years ago
AAAISMT + ILP
本文针对归纳逻辑程序设计的局限性，结合模块化理论技术，从前景知识和连续实例角度出发，探讨声明式编程的新思路。
PDF4 years ago
ASP 编码在序列模式挖掘任务中的效率分析
本文介绍了使用 Answer Set Programming（ASP）挖掘顺序模式。我们借助 ASP 对背景知识进行模式挖掘，提出了两种嵌入表示中经典顺序模式挖掘任务的编码，并对各种类型的模式比较了这些编码的计算性能。结果表明，fill-g
PDF7 years ago
MM约束求解器 EZCSP 及其集成架构的重要性
本研究提出了约束应答集编程 Constraint Answer Set Programming （CASP）新研究领域，开发相应的 EZCSP 语言及其解释器并对其进行了系统性的研究，其设计和算法细节清晰地证明了这种混合系统的发展具有挑战性
PDF7 years ago
MM通过弱约束的基数优化解决集合优化问题 -- 以论辩为例
这篇论文提出了一种在人工智能领域中常见的、寻找子集最优解的方法，该方法利用基数最优解和子集最优解之间的关系，结合最大可满足性 (MaxSAT) 或答案集编程 (ASP) 等语言特定的限制构造来迭代计算。作者还以抽象论证框架的优先扩展计算为例
PDF8 years ago
AAAI半环编程：广义求和乘积问题的声明性框架
为了解决难题，人工智能依赖于逻辑、概率推理、机器学习和数学规划等学科，而现代表示方法很少为此提供支持。作者介绍了一种新的声明性编程框架，提供了著名问题的抽象，如 SAT，Bayesian 推理，生成模型和凸优化，并使用带有半环标签的一阶结构
PDF8 years ago
REBA: 机器人知识表示和推理的基于细化的体系结构
本文介绍了一种机器人体系结构，它结合了概率图形模型和声明性编程的互补优势，用于表示和处理基于逻辑和概率的不确定性和领域知识。它采用行动语言描述了两个粒度水平上的紧密耦合的过渡图，通过求解部分可观察的马尔可夫决策过程，支持在复杂领域中处理默认
PDF9 years ago
MM消除 HEX-Programs 中无根据的集合检查
该研究提出一种可识别并可以跳过程序验证的编程语言程序类，进而提高 HEX 程序的效率和应用价值。
PDF12 years ago
IJCAI可行的答案集编程后门
本文介绍了如何使用 backdoors 的概念来识别能够使 ASP 问题可行的新限制，展示了 backdoors 如何作为一个统一的框架，能够容纳文献中已知的几个可行限制，并展示了如何利用 backdoors 将参数化复杂性理论的最新算法结
PDF13 years ago
基于线性逻辑的包含析取的约束处理规则分析
本文关注 Constraint Handling Rules（CHR）及其拓展 CHRv 的声明式语言，分析其经典的声明式语义的优缺点，提出并开发基于线性逻辑的声明式语义，探讨如何将其应用于决定程序属性和证明跨语言范式的 CHRv 程序的运
PDF14 years ago