NP数据日志

𝒩𝒫𝒟atalog:一种用于表达的逻辑语言𝒩𝒫 搜索和优化问题。本文提出了一种逻辑表达语言𝒩𝒫 搜索和优化问题。具体来说,首先介绍了一种用直观有效的结构(即分层否定、约束和互斥析取)扩展(正)数据日志所获得的语言。接下来,我们研究了一种仅使用受限析取形式来定义(不确定的)关系子集(或分区)的进一步受限语言。这种语言,叫做𝒩𝒫𝒟atalog,捕获数据日志的强大功能¬ 在表达搜索和优化问题时。系统原型实现𝒩𝒫𝒟本文介绍了一种记录。系统翻译𝒩𝒫𝒟atalog查询由ilogopl开发工作室执行的优化编程语言(OPL)程序。我们的建议结合了问题的简单表述,通过一种声明性逻辑语言表达,与ILOG系统的效率相结合。几个实验证明了该方法的有效性。