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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”