NCL语言

编辑:寒伧网互动百科 时间:2019-11-19 13:03:09
编辑 锁定
本词条缺少名片图,补充相关内容使词条更完整,还能快速升级,赶紧来编辑吧!
《The NCL Natural Constraint Language》介绍基于常规数理逻辑、求解约束满足问题的描述型语言NCL。NCL语言与其它声明型语言不同:它基于一阶逻辑(量词、布尔逻辑、数值约束、集合运算和逻辑函数)自然地对问题建模;它在实数、整数、布尔、日期/时间、指针及集合的混合域上以混合集合规划(mixed set programming)算法对问题求解。本书使用大量例子详细讲解NCL语言及其应用。它适用于逻辑规划、约束规划、优化、建模、运筹学及人工智能等领域的研发人员。本书将使读者学到一门新的编程语言及其工业应用的理论基础。周建阳博士是NCL语言的发明人,已致力于该项科技的产业化十年有余。 NCL英文专著已由Springer出版,书号:978-3-642-23844-4。
中文名
NCL语言
出    处
《自然约束语言》
作    者
周建阳
时    间
2009年
周建阳:《自然约束语言》,科学出版社,236页,2009年。
实际应用:
在实际中,NCL 能应用于数据处理,还可广泛应用于运输、
物流、生产制造、通讯及金融等诸多领域的逻辑及优化问题。
与国际市场产品相比,NCL的科技创新包括
AI的模式识别技术广泛应用于NCL的自然语法分析及语义识别上;
混合集合规划系统构成NCL的算法内核;实数、整数、布尔值、索引及集合类型上的约束,一阶逻辑、集合推理,实数域数值分析等;
支持启发式求解规则(Heuristic Rules)的编程。
语言特征:
智能描绘型语言(采用简化的常规符号集)
动态量化支持模糊推理能力
强大的集合推理能力
集成了当前最尖端的运筹学算法
直觉清晰的搜索策略
灵活的初级或部分信息的查询功能
内嵌SQL语言
词条标签:
计算机学