constraint logic programming | BriefGPT

关键词constraint logic programming

搜索结果 - 8

基于约束逻辑编程的解释式推理
通过基于约束逻辑编程的 REASONX 方法，可以为决策树提供相互关联的、交互式的解释，从而解决当前人工智能解释方法中存在的缺点。
PDF10 months ago
交互式对比解释 (REASONX)
REASONX 是一种基于约束逻辑编程的解释工具，提供可以增加背景知识的互动对比解释，针对机器学习模型和决策树进行解释，并具有更高的灵活性。
PDFa year ago
带有有限域约束满足的增强电子表格计算
本文介绍了如何将表格计算范式扩展以解决约束满足问题，并构建了一种特定于电子表格的约束语言以更好地支持可视化环境下的约束规范。
PDF2 years ago
具有有限域约束增强的电子表格计算
本文介绍了如何通过将有限约束求解器与电子表格计算范例结合来扩展电子表格计算范例应用，介绍了一个框架，将电子表格中的每个单元格与有限域或约束关系相连。同时提供了特定于电子表格的约束，以帮助控制大型电子表格应用程序实现的可扩展性，并通过示例演示
PDF2 years ago
MM应用约束逻辑编程于 SQL 语义分析
使用约束逻辑编程 (CL) 对 SQL 查询进行建模，通过关注语义属性来对数据无关的抽象层进行建模，以发现可能存在的错误。该方法使用不同的约束域，这些约束域映射到 SQL 类型，并提出它们协作以提高准确性，最终我们获得一个包括 SQL 和
PDF5 years ago
MM用于光学片上波长路由网络的逻辑编程方法，以实现故障自由和最大并行
论文阐述了提升芯片通讯性能的光网络设计的最大并行计算问题并细分了 Answer Set Programming 和 Constraint Logic Programming 的方法解决波长路由技术的物理参数选择的优化问题。
PDF7 years ago
MMCLP 能源政策多标准最优规划
通过强调 Strategic Environmental Assessment（战略环境评估）、Constraint Logic Programming（约束逻辑编程）等方法，开发了一个具有多目标优化功能的决策支持系统，可以提供可行的政策计
PDF10 years ago
CLP (BN)：用于概率知识的约束逻辑编程
通过约束逻辑编程的框架，提出了一种新方法 CLP (BN)，用于表达贝叶斯网络，该方法使用唯一的新符号 Skolem 函数表示具有未知值的对象，与 PRMs 和概率逻辑程序相关。
PDF12 years ago