...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >ASP(AC): Answer Set Programming with Algebraic Constraints
【24h】

ASP(AC): Answer Set Programming with Algebraic Constraints

机译：ASP（AC）：回答与代数约束的设置编程

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Weighted Logic is a powerful tool for the specification of calculations over semirings that depend on qualitative information. Using a novel combination of Weighted Logic and Here-and-There (HT) Logic, in which this dependence is based on intuitionistic grounds, we introduce Answer Set Programming with Algebraic Constraints (ASP(AC)), where rules may contain constraints that compare semiring values to weighted formula evaluations. Such constraints provide streamlined access to a manifold of constructs available in ASP, like aggregates, choice constraints, and arithmetic operators. They extend some of them and provide a generic framework for defining programs with algebraic computation, which can be fruitfully used e.g. for provenance semantics of datalog programs. While undecidable in general, expressive fragments of ASP(AC) can be exploited for effective problem solving in a rich framework.
机译：加权逻辑是一种强大的工具，用于依赖于定性信息的半曲线计算。使用加权逻辑和这里的新组合和（HT）逻辑，其中该依赖性基于直觉的地面，我们使用代数约束（ASP（AC））引入答案集编程，其中规则可能包含比较的约束用于加权公式评估的精彩值。这种约束提供了对ASP中可用的构造的歧管的流线型访问，例如聚合，选择约束和算术运算符。它们扩展了其中一些并提供了一种用于定义具有代数计算的程序的通用框架，可以效果大量使用。用于数据记录程序的原始语义。虽然一般而言，但是，ASP（AC）的表现力碎片可以在丰富的框架中解决有效问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号