ENGINEST
TEL:+33(3) 83551299
FAX:+33(3) 83970552
E-Mail:info@enginest.com
ENGINEST se consacre sur les technologies de la recherche opérationnelle, de l'intelligence artificielle, de l'analyse de langage et du traitement des données. Le résultat de tant de recherches technologiques est NCL Natural Constraint Language.
La conception de NCL a pour objectif d'offrir aux utilisateurs un langage Turing-complet du type descriptif dans la convention mathématique et logique, propre et accessible facilement aux débutants, pour modéliser et résoudre des problèmes industriels. NCL se diffère avec les autres langages déclaratifs : Il modélise les problèmes naturellement dans la logique du premier ordre avec les quantificateurs, logique booléenne, les contraintes numériques, les opérations ensemblistes, et les fonctions logiques ; il résout des problèmes avec la programmation ensembliste mixe sur le domaine mixe des réels, entiers, booléens, dates/temps, références, et en particulier des ensembles.
Distingué avec les autres systèmes commerciaux :
Parseur mathématique : la reconnaissance des expressions mathématiques naturelles est assurée par les techniques de l'intelligence artificielle ;
Programmation ensembliste mixe : l'un des systèmes d'algorithmes les plus sophistiqués du monde qui intègre les opérations sur les domaines de réels, entiers, booléens, quantificateurs, ensembles, fonctions logiques, etc.
Références
Un prototype de NCL a été soumis en décembre 1997 à “Third International Conference on Systems Science & Systems Engineering". Le langage a été soumis en mars 1998 à “The Journal of Logic Programming“ (le journal officiel de l'Association de la programmation logique).
Livres:
J. Zhou: The NCL Natural Constraint Language. Springer, ISBN 978-3-642-23844-4 (2012).
Articles:
J. Zhou: Introduction to the constraint language NCL. Journal of Logic Programming. 45 (1-3): 71-103(2000).
J. Zhou: A unified framework for solving Boolean, integer & set constraints. Proc. of Third International Conference on Systems Science & Systems Engineering: 205-210 (1998).
J. Zhou: A Note on Mixed Set Programming. Proc. of The 7th International Symposium on Operations Research and Its Applications, 131-140 (2008).
J. Zhou: Routing By Mixed Set Programming. Proc. of The 8th International Symposium on Operations Research and Its Applications, 157-166 (2009).
1 Allée de l'Alzette, 54500 Vandœuvre-lès-Nancy Telephone: +33 (3) 83 55 12 99 Email: info@enginest.com
© 2023 ENGINEST Mentions légales