Natural Constraint Language
- Natural Constraint Language
NCL (Natural Constraint Language) is a description language with mathematical logic as syntax. Il adopts Mixed Set Programming as algorithmic framework for modeling and solving problems.
Introduction
Combinatorial problems are ubiquitous in the daily life and work. Being usually NP-hard, they are in general very difficult to solve. The goal of designing NCL is to provide a programming language that is close to basic human reasoning which could be to a large extent symbolized by conventional mathematical logic. In this sense, NCL is a description language with context-sensitive (while not context-free) syntax for solving constraint satisfaction problems. Consequently, NCL supports implicit typing and context-based constraint reasoning and solving.
NCL stems from Constraint Programming. However its basic differences from CP systems and script style modeling languages are two-fold:
* At the parser level: NCL’s “Semantic Parser” understands natural problem formulation in mathematical logic and submits abstract models to its solver.
* At the solver level: Mixed Set Programming solves problems over a mixed domain of reals, integers, Booleans, references, and sets. The solver incorporates a simplified form of first order logic, naïve set reasoning, numerical constraints and operations research algorithms to solve problems in a cooperative manner.
References
* [http://www.informatik.uni-trier.de/~ley/db/journals/jlp/jlp45.html J.Zhou. Introduction to the constraint language NCL. JLP 45(1-3): 71-103(2000)]
* [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.2304 J.Zhou. A unified framework for solving Boolean, integer & set constraints. Proc. of ICSSSE: 205-210, Beijing, Aug 1998. ]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Object Constraint Language — The Object Constraint Language (OCL) is a declarative language for describing rules that apply to Unified Modeling Language (UML) models developed at IBM and now part of the UML standard. Initially, OCL was only a formal specification language… … Wikipedia
Constraint programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computin … Wikipedia
Constraint Grammar — (CG) is a methodological paradigm for Natural language processing (NLP). Linguist written, context dependent rules are compiled into a grammar that assigns grammatical tags ( readings ) to words or other tokens in running text. Typical tags… … Wikipedia
Constraint Handling Rules — (CHR) is a declarative programming language extension introduced in 1991[1][2] by Thom Frühwirth. Originally designed for developing (prototypes of) constraint programming systems, CHR is increasingly used as a high level general purpose… … Wikipedia
natural — adj 1 *regular, normal, typical Analogous words: ordinary, *common, familiar: *usual, customary, habitual, accustomed, wonted Antonyms: unnatural: artificial: adventitious 2 Natural, simple, ingenuous, naive, unsophisticated, artless, unaffected… … New Dictionary of Synonyms
Glossary of Unified Modeling Language terms — This glossary of Unified Modeling Language terms covers all versions of UML. Individual entries will point out any distinctions that exist between versions.A* Abstract An indicator applied to a classifier (e.g., actor, class, use case) or to some … Wikipedia
Query language — Query languages are computer languages used to make queries into databases and information systems. Broadly, query languages can be classified according to whether they are database query languages or information retrieval query languages. The… … Wikipedia
Universal Networking Language — (UNL) is a declarative formal language specifically designed to represent semantic data extracted from natural language texts. It can be used as a pivot language in interlingual machine translation systems or as a knowledge representation… … Wikipedia
The Natural Economic Order — is the most famous book of Silvio Gesell. PUBLISHED REFERENCES TO GESELL S THEORY John Maynard Keynes: General Theory of Employment, Interest and Money (1936): Gesell s main book is written in cool, scientific language; though it is suffused… … Wikipedia
Lisp (programming language) — Infobox programming language name = Lisp paradigm = multi paradigm: functional, procedural, reflective generation = 3GL year = 1958 designer = John McCarthy developer = Steve Russell, Timothy P. Hart, and Mike Levin latest release version =… … Wikipedia
