...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >N P Datalog: A logic language for expressing NP search and optimization problems
【24h】

N P Datalog: A logic language for expressing NP search and optimization problems

机译：N P Datalog：表达NP搜索和优化问题的逻辑语言

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

摘要

This paper presents a logic language for expressing N P search and optimization problems. Specifically, first a language obtained by extending (positive) DATALOG with intuitive and efficient constructs (namely, stratified negation, constraints, and exclusive disjunction) is introduced. Next, a further restricted language only using a restricted form of disjunction to define (nondeterministically) subsets (or partitions) of relations is investigated. This language, called N P Datalog, captures the power of DATALOG in expressing search and optimization problems. A system prototype implementing N P Datalog is presented. The system translates N P Datalog queries into Optimization Programming Language (OPL) programs which are executed by the ILOG OPL Development Studio. Our proposal combines easy formulation of problems, expressed by means of a declarative logic language, with the efficiency of the ILOG System. Several experiments show the effectiveness of this approach.
机译：本文提出了一种表达N P搜索和优化问题的逻辑语言。具体来说，首先介绍一种语言，该语言是通过以直观有效的结构（即分层否定，约束和互斥析构）扩展（正）DATALOG获得的。接下来，研究仅使用析取的受限形式来定义（不确定地）关系子集（或分区）的另一种受限语言。这种称为N P Datalog的语言捕获了DATALOG在表达搜索和优化问题方面的强大功能。给出了实现N P Datalog的系统原型。系统将N P个Datalog查询转换为由ILOG OPL Development Studio执行的优化编程语言（OPL）程序。我们的建议结合了通过声明性逻辑语言表达问题的简便方法和ILOG系统的效率。几个实验证明了这种方法的有效性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号