The NCL Natural Constraint Language
This book presents the Natural Constraint Language (NCL) language, a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. It uses illustrations and tutorials to detail NCL and its applications.
Saved in:
| Main Author | |
|---|---|
| Format | eBook |
| Language | English |
| Published |
Berlin, Heidelberg
Springer Berlin / Heidelberg
2012
Springer Berlin Heidelberg Springer |
| Edition | 1 |
| Subjects | |
| Online Access | Get full text |
| ISBN | 9783642238444 3642238440 |
| DOI | 10.1007/978-3-642-23845-1 |
Cover
| Abstract | This book presents the Natural Constraint Language (NCL) language, a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. It uses illustrations and tutorials to detail NCL and its applications. |
|---|---|
| AbstractList | This book presents the Natural Constraint Language (NCL) language, a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. It uses illustrations and tutorials to detail NCL and its applications. This book presents the Natural Constraint Language (NCL), a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. It uses illustrations and tutorials to detail NCL and its applications. |
| Author | Zhou, Jianyang |
| Author_xml | – sequence: 1 fullname: Zhou, Jianyang |
| BookMark | eNpNkEtLw0AUhUd8YFv7A9wFBMFF7LwfSw31AaFuitthktw-bJjUTKJ_32mj4N1cDnznwDljdOYbDwhdE3xPMFYzo3TKUslpSpnmIiUnaMyiPCpziqYR-NOcX6CRppxrxiS-RNMQPnA8TQiXfIRulhtIFlmeLFzXt65OssaHrnVb3yW58-vereEKna9cHWD6-yfo_Wm-zF7S_O35NXvIU0d1jE-rggoOGIwujZFKlQUmuOJSCleVhCqQGmRlsF5BqURBgYMoBC-dFgXTBWUTdDcEu7CD77Bp6i7YrxqKptkF-6-VIJGdDWzYt1u_htYOFMH2MNKBtsxG3h4N9uC4HRz7tvnsIXT2GFyCj31rO3_MjGJMS_YDb99isw |
| ContentType | eBook |
| Copyright | Science Press, Beijing and Springer Berlin Heidelberg 2012 |
| Copyright_xml | – notice: Science Press, Beijing and Springer Berlin Heidelberg 2012 |
| DEWEY | 006.35 |
| DOI | 10.1007/978-3-642-23845-1 |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Languages & Literatures Computer Science |
| EISBN | 3642238459 9783642238451 |
| Edition | 1 |
| ExternalDocumentID | 9783642238451 209681 EBC973386 |
| GroupedDBID | -EI 089 0D6 0DA 0E8 20A 38. A4J AABBV AAPKO ABFCL ABFCV ABMNI ACBPT ACRMW ADWNV AEJLV AEKFX AETDV AEZAY AIJHZ AIMOO ALMA_UNASSIGNED_HOLDINGS AZZ BBABE BC- CZZ I4C IEZ JJU MA. MYL PH7 PI1 SBO TGCOT TPJZQ Z7R Z7S Z7U Z7X Z7Y Z7Z Z81 Z83 Z85 Z87 Z88 AAJYQ AATVQ ABBUY ABCYT ACDTA ACDUY AEHEY AHNNE ATJMZ SAO Z5O |
| ID | FETCH-LOGICAL-a28833-db254e0e98c99677cb010d4665adc127e68e6d908fec75b2e4e5b54ca85b38b23 |
| ISBN | 9783642238444 3642238440 |
| IngestDate | Fri Dec 06 01:18:29 EST 2024 Tue Jul 29 20:08:42 EDT 2025 Fri May 30 21:26:23 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA76.76.C65 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a28833-db254e0e98c99677cb010d4665adc127e68e6d908fec75b2e4e5b54ca85b38b23 |
| OCLC | 824483360 |
| PQID | EBC973386 |
| PageCount | 316 |
| ParticipantIDs | askewsholts_vlebooks_9783642238451 springer_books_10_1007_978_3_642_23845_1 proquest_ebookcentral_EBC973386 |
| PublicationCentury | 2000 |
| PublicationDate | 2012 2011-10-31 |
| PublicationDateYYYYMMDD | 2012-01-01 2011-10-31 |
| PublicationDate_xml | – year: 2012 text: 2012 |
| PublicationDecade | 2010 |
| PublicationPlace | Berlin, Heidelberg |
| PublicationPlace_xml | – name: Berlin, Heidelberg |
| PublicationYear | 2012 2011 |
| Publisher | Springer Berlin / Heidelberg Springer Berlin Heidelberg Springer |
| Publisher_xml | – sequence: 0 name: Springer – name: Springer Berlin / Heidelberg – name: Springer Berlin Heidelberg |
| SSID | ssj0000811464 |
| Score | 1.8882939 |
| Snippet | This book presents the Natural Constraint Language (NCL) language, a description language in conventional mathematical logic for modeling and solving... This book presents the Natural Constraint Language (NCL), a description language in conventional mathematical logic for modeling and solving constraint... |
| SourceID | askewsholts springer proquest |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Artificial Intelligence Computational linguistics Computer Science Constraints (Linguistics) Logics and Meanings of Programs Mathematical Logic and Formal Languages Natural language processing (Computer science) Operations Research/Decision Theory Programming (Mathematics) Programming Languages, Compilers, Interpreters |
| TableOfContents | 6.3.9 Calculs d'Enfer -- 6.3.10 Square Packing -- 6.3.11 Knight -- 6.4 Solving Hard Problems -- 6.4.1 Set Partitioning -- 6.4.2 Golf Tournament -- 6.4.3 Progressive Party -- 6.4.4 Ship Loading -- 6.4.5 Job-Shop Scheduling -- 6.4.6 Minimizing the Cost of a Heat Exchanger -- 6.4.7 Pick-up and Delivery -- 6.4.8 Exercises -- References -- 7 Industrial Applications -- 7.1 Complexity of Industrial Problems -- 7.2 Production Scheduling -- 7.2.1 Problem Definition -- 7.2.2 Data Model -- Input Program for RESOURCE (ReadResource.n) -- Input Program for JOB (ReadJob.n) -- Input Program for TASK (ReadTask.n) -- Principal Constants and Critical Variables -- 7.2.3 Simplified Optimization Model -- 7.2.4 Visualizing Time: Gantt Chart -- 7.2.5 Questions -- 7.3 Personnel Planning -- 7.3.1 Problem Definition -- 7.3.2 Data Model -- Configuration Program for Parameters (Config.n) -- Input Program for PROFILE (ReadProfile.n) -- Input Program for SLOT (ReadSlot.n) -- Input Program for SHIFT (ReadShift.n) -- Input Program for TEAM (ReadTeam.n) -- Input Program for DEMAND (ReadDemand.n) -- Principal Constants and Critical Variables -- 7.3.3 Simplified Optimization Model -- 7.3.4 Visualizing Statistics: Histogram -- 7.3.5 Questions -- 7.4 Multi-Modal Transportation Planning -- 7.4.1 Problem Definition -- 7.4.2 Data Model -- Input Program for SITE (ReadSite.n) -- Input Program for LEG (ReadLeg.n) -- Input Program for ORDER (ReadOrder.n) -- Principal Constants and Critical Variables -- 7.4.3 Simplified Optimization Model -- 7.4.4 Visualizing Geographical Information: Map -- 7.4.5 Questions -- References -- 8 Relaxation and Decomposition -- 8.1 Local Optimization by Relaxation -- 8.1.1 Relaxation and Interaction -- 8.1.2 Local Optimization -- 8.1.3 Iterative Optimization for TSP -- Iteration Script (ScriptTsp.n) -- Data Model (ReadTsp.n) -- Optimization Operator (TSP.n) 4.10.3 Query and Objective in a Function -- 4.10.4 Predicate -- 4.10.5 Recursive Function -- 4.10.6 Termination of a Recursion -- 4.10.7 Tree -- 4.11 Selection Statement -- 4.11.1 Switch -- 4.11.2 If-Then-Else -- 4.12 Quantification -- 4.12.1 Existential Quantification -- 4.12.2 Universal Quantification -- 4.13 Jump -- 4.13.1 Exit from a Universally Quantified Statement -- 4.13.2 Exit from an Infinite Loop -- 4.14 Query and Search -- 4.14.1 Approximate Solution -- 4.14.2 Search over a Float Domain -- 4.15 Optimization Objective -- 4.15.1 Single-Objective Optimization -- 4.15.2 Multiple-Objective Optimization -- 4.16 Custom Message -- 4.17 Soft Constraint -- 4.18 Sub-Model -- 4.18.1 Sub-Model in a File -- 4.18.2 Sub-Model in a Buffer -- 4.18.3 Return Values of a Sub-Model -- 4.18.4 Recursive Sub-Model -- 4.18.5 Overflow in Calling a Sub-Model -- 4.19 SQL Query -- 4.20 OS Command -- 4.21 Expectation and Debugging -- 5 The POEM Software Platform -- 5.1 Main Interface -- 5.1.1 Tool Bar -- 5.1.2 TeX Bar -- 5.1.3 Workspace -- 5.1.4 Edit Window -- 5.1.5 Trace Window -- 5.2 Configuration of a Project -- 5.2.1 Data Pools for a Project -- Config File -- Program File -- Input Pool -- Output Pool -- Trace File -- View File -- 5.2.2 NCL Parameters -- Boolean Parameters -- Default Values -- Database Connection and SQL Time-Out -- Sizes of Trails -- Size of the Choice-Point Stack -- Size of the Variables Table -- Parameters for Search Statistics -- Output Format for a Date/Time -- Output Format for a Set -- Parameter for Tracing Solutions or Errors -- Termination Messages -- 5.2.3 Project Settings -- Tab Project -- Tab Solver -- Tab Execute -- 5.3 Model Management -- 5.3.1 Model Folder -- 5.3.2 Model Library -- 5.4 Information Tables -- 5.4.1 Running Models -- 5.4.2 Constants -- 5.4.3 Variables -- 5.4.4 Constraints -- 5.5 Visualization and Debugging Title Page -- Copyright Page -- Preface -- Table of Contents -- 1 Introduction -- 1.1 Modeling and Solving -- 1.1.1 Programming Framework and Algorithm -- Linear Programming -- Logic Programming -- Constraint Programming -- Mixed Set Programming -- Search Rules -- 1.1.2 Formal Grammar and Parser -- Context-Free Grammar -- Context-Sensitive Grammar -- Parser, LL Parser and LR Parser -- Ambiguity of a Context-Free Grammar -- Vagueness in Reduction -- Semantic Parser -- 1.2 The NCL Language -- 1.2.1 Natural Modeling in Mathematical Logic -- 1.2.2 Cooperative Solving -- Mixed Set Programming and Search Rules -- Solving by Cutting and Branching -- Problem-Solving Phases -- A Tutorial of Solving -- 1.2.3 Comparison with Some Other Systems -- 1.3 The POEM Platform -- 1.3.1 Development Toolkit -- 1.3.2 Component and Server -- References -- 2 Data Types and Lexical Conventions -- 2.1 Data Types -- 2.1.1 Generality -- 2.1.2 Set -- 2.1.3 Date/Time -- 2.1.4 Numeric -- Interval Arithmetic for Real Numbers -- Infinities for Integers -- 2.2 Lexical Tokens -- 2.2.1 Characters -- Letters -- Digits -- Special Symbols -- Backslash Escapes -- Invisible Characters in TeX -- 2.2.2 Identifiers -- 2.2.3 Predefined Identifiers -- 2.2.4 Constants -- Boolean -- Float -- Integer -- Date/Time -- String -- Reference -- Set -- Default Values -- 2.2.5 Non-Instantiated Values -- Boolean -- Float -- Integer -- Date -- Time -- Date-Time -- String -- Reference -- Integer Set -- Date/Time Set -- String Set -- Reference Set -- 2.2.6 Comments -- TeX-Style Inline Comments -- C-Style Block Comments -- 2.3 Mathematical Notations -- 2.3.1 Mathematical Symbols -- 2.3.2 Predefined Functions -- 2.3.3 Delimiters of TeX -- References -- 3 Grammar and Semantics -- 3.1 Context-Free Rules -- 3.1.1 Overall Structure -- 3.1.2 Expression -- Boolean -- Numeric -- Date/Time -- String -- Reference Relaxation Program (RelaxTsp.n) Set -- Constant -- Variable -- Function -- Data Format -- 3.1.3 Constraint -- Boolean Constraint -- Numeric Constraint -- Date/Time Constraint -- String Constraint -- Reference Constraint -- Set Constraint -- 3.1.4 Declaration -- Typing -- Function Definition -- Labeled Statement -- 3.1.5 Declarative Control -- Compound Statement -- Selection -- Quantification -- 3.1.6 Temporal Control -- Data Management -- Extraction -- System Variable -- Programmed Control -- Assignment -- Jump -- Sub-Model -- SQL Query -- OS Command -- Expectation and Debugging -- 3.1.7 Search and Optimization -- Query and Search -- Optimization Objective -- 3.2 Context-Sensitivity of NCL -- 3.2.1 Constant -- 3.2.2 Variable -- Declaration -- Array and Subscript -- System Variable -- Input and Format -- Anonymous Variable -- Implicit Typing -- 3.2.3 Function -- Encapsulation for Control -- Global System Variable -- Local System Variable -- Implicit Typing -- 3.2.4 Sub-Model -- References -- 4 Tutorial Programs -- 4.1 Getting Started -- 4.1.1 Input and Output -- 4.1.2 Default Value -- 4.1.3 Data Buffer -- 4.2 Boolean Logic -- 4.3 Numerical Reasoning -- 4.3.1 Integer Equation -- 4.3.2 Infinity -- 4.4 Date/Time -- 4.5 String -- 4.5.1 String Input -- 4.5.2 Concatenation -- 4.6 Referencing -- 4.6.1 Reference in a Subscript -- 4.6.2 Referenced Operator -- 4.6.3 Subscript Leak -- 4.7 Set Reasoning -- 4.7.1 A General Example -- 4.7.2 Attributes of a Set -- 4.7.3 Piecewise Intervals from a Set -- 4.8 Special Variable -- 4.8.1 Anonymous Variable -- 4.8.2 System Variable -- 4.9 Predefined Function -- 4.9.1 Float Function -- 4.9.2 Aggregate Function -- 4.9.3 Transformation -- 4.9.4 Substring -- 4.9.5 Elements of a Set -- 4.9.6 Date/Time Attribute -- 4.9.7 Extraction -- 4.9.8 Assignment -- 4.10 User-Defined Function -- 4.10.1 Cotangent -- 4.10.2 Global Variable in a Function 5.5.1 Quick Watch -- 5.5.2 Browser -- 5.5.3 Constraint Debugger -- 5.5.4 Visual Debugger -- 5.5.5 Solution Viewer -- 5.6 Trace Window and Working Modes -- 5.6.1 Debug Mode -- 5.6.2 Timer Mode -- 5.6.3 Trace Level -- 5.6.4 Options for Diagnosis -- 5.6.5 Options for Statistics -- 5.6.6 Recommended Diagnosis Mode -- 5.6.7 Recommended Working Mode -- 5.7 Message Management -- 5.7.1 Message Levels -- 5.7.2 Message Types -- 5.7.3 Message Codes -- 5.7.4 Message Handler -- 5.7.5 Termination Status -- 5.8 Help on Line -- 5.9 Component and Server -- 6 Modeling and Solving -- 6.1 Development Principles -- 6.1.1 Generality -- 6.1.2 Data Modeling -- Known/Unknown Analysis -- Rules for Naming Data and Variables -- Rules for Naming Tables and Fields -- Checking Data Consistency -- 6.1.3 Modeling Constraints and Objectives -- 6.1.4 Modeling Queries -- Principles for Designing Criteria -- Criticality of a Query Variable -- 6.1.5 Test and Benchmarking -- Space Complexity and Time Complexity -- Stability and Scalability -- 6.1.6 Diagnosing a Model -- Analysis Based on Static Statistics -- Analysis Based on Dynamic Statistics -- Diagnosing with Help Messages -- Diagnosing with Viewers and Debuggers -- 6.2 Modeling Abstraction -- 6.2.1 Distinct Integers -- 6.2.2 Disjoint Sets -- 6.2.3 Sorting -- Sorting with 3 Tuples of Variables -- Sorting with 2 Tuples of Variables -- 6.2.4 Set Covering -- Set Partitioning -- Interval Sequence -- 6.2.5 Packing -- Packing with Integers -- Packing with Sets -- Packing with Integers and Sets -- 2-Dimensional Capacity for Packing -- 6.2.6 Sum -- Sum of Real Numbers -- Sum of Integers -- Sum of Booleans -- Increment -- 6.2.7 Cumulation -- 6.3 Solving Puzzles -- 6.3.1 Send More Money -- 6.3.2 Primes -- 6.3.3 Integer Sorting -- 6.3.4 Queens -- 6.3.5 Magic Square -- 6.3.6 Sudoku -- 6.3.7 Magic Sequence -- 6.3.8 Einstein's Quiz |
| Title | The NCL Natural Constraint Language |
| URI | https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=973386 http://link.springer.com/10.1007/978-3-642-23845-1 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783642238451&uid=none |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3JTsMwELVYLnBhh7JGgBASCmoSbzlCKWIJhQMgbpadOBdQkUhAgq9nYuykBYSAS9Qm6cia585ie94gtK1zcGN5rH2aEuljnvGK8pb5rJ0GYP6yODDE8xc9enKDz-7IXdP60VSXlGo_ffu2ruQ_qMI9wLWqkv0DsrVQuAGfAV-4AsJw_RT81l8bcHudpDpqbGgzqrabptlDuZfYBchmRfjx2UAF8-BVWj9l03xzXmIwzXfLfHs_sGCZigwM_p7jD07FL-Zx8EQErepy4FXiB40vcPvfvUtxdXQsktPe-fBD4_lCyHuqcvdRxsCojB90z5LbemELYgywvlU7rXowllurGZzbXrYMv0ODmUSTsrgHCw_WvyyGAv9Pe9UmBLieRuO6qguZQSO6P4umXDcMzxrHWbToNF94O15Ss1UXc2gL4PIALs_C5TVwee5H8-j2uHvdOfFtcwpfmgbNfqYgt9ZtHfMUckbGUgWpbYYpJTJLg5BpyjXN4jbPdcqICjXWRBGcSk5UxFUYLaCx_mNfLyFP5hmWirW5lArnMpCUxSojMcYR_GNw2EKbAyoRLw9mI70QAzolQQttOE0J89ye7hXdw07MoojTFtp1ChQfAhxnNQgSkQBRwsgSwfLvX11BE818XUVj5dOzXoNArVTrdmq8A8n5MoE |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=The+NCL+Natural+Constraint+Language&rft.au=Zhou%2C+Jianyang&rft.date=2012-01-01&rft.pub=Springer+Berlin+Heidelberg&rft.isbn=9783642238444&rft_id=info:doi/10.1007%2F978-3-642-23845-1&rft.externalDBID=NO_PDF_LINK&rft.externalDocID=209681 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97836422%2F9783642238451.jpg |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fmedia.springernature.com%2Fw306%2Fspringer-static%2Fcover-hires%2Fbook%2F978-3-642-23845-1 |