AI SearchSolving incrementally constraint hierarchies over real intervals (Record no. 109430)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04234nas|a2200409 i 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260818214644.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 020801s2000 th uzm rtt 00| a1eng d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b11733718 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Diss. no. CS-98-1 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Duong Tuan Anh |
| 245 10 - TITLE STATEMENT | |
| Title | Solving incrementally constraint hierarchies over real intervals |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 1998 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 166 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Dissertation ; |
| Volume/sequential designation | no. CS-98-1 |
| 500 ## - GENERAL NOTE | |
| General note | A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Engineering, School of Advanced Technologies |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (Ph.D.) - Asian Institute of Technology, 1998 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | CSP over real intervals (ICSP) is an important class of CSP. Several applications involving continuous domains or imprecise data can be formulated as ICSPs. While the key feature of Finite CSPs is the {uFB01}niteness of the domains, the key idea behind solving ICSPS is the "approximation to finiteness" of infinite domains. Although not all basic results from Finite CSPs are applicable to ICSPs, arc-consistency techniques for Finite CSPs can be adapted to ICSPs by some kind of approximation based on Interval Arithmetic. The present research represents an attempt to develop constraint satisfaction algorithms for ICSPs in dynamic environments. For this purpose, we first devise an incremental constraint deletion technique for constraints over real intervals by which recomputation from scratch can be avoided and the time complexity is the same as that of algorithm for constraint addition. This constraint deletion technique helps to bring out the arc-consistency algorithm for dynamic CSPs over real intervals. Then we employ the resultant arc-consistency algorithm as a flat constraint solver in a hierarchy solver for constraint hierarchies over real intervals. The hierarchy solver makes use of dependency information among constraints to detect the possible causes of inconsistencies in the constraint hierarchy. One of the unique feature of this hierarchy solver is that there is a clear division between the flat solver and the hierarchy solver. Thanks to this feature, the hierarchy solver is general and we can adapt it to different domain/constraint speci{uFB01}c flat solvers to produce quickly different hierarchy solvers. The research is also devoted to the design and implementation of an HCLP system over real intervals with locally-predicate-better (lbp) comparator in order to enhance the expressiveness and usefulness of CLP(Intervals). Our prototype HCLP(RI,1pb) interpreter is somewhat close to a full-implementation approach and employs a simpli{uFB01}ed version of the above mentioned hierarchy solver as the constraint solver. Its computational model which is based on a simple operational semantics brings out to a simple and ef{uFB01}cient implementation. Due to the " glass box " approach adopted in the implementation, the interpreter is also extendible. |
| 650 10 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Constraints (Artificial intelligence) |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kanchana Kanchanasut, |
| Relator term | Chairperson |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Huynh, Ngoc Phien, |
| Relator term | Examination Committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Tabucanon, Mario T., |
| Relator term | Examination Committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Maher, Michael J., |
| Relator term | Examination Committee |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Dissertation ; |
| Volume/sequential designation | no. CS-98-1 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B00314">http://203.159.5.9/ait-thesis/detail.php?q=B00314</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b11733718 |
| b | mnait |
| c | u |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240407 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 0 |
| Cataloger's initials, CIN (RLIN) | 981202 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | u |
| -- | 0 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 20-AIT Publication |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120562532 |
| CREATED | CREATED : 1998-02-12 |
| RECORD Id | RECORD # : i12110784 |
| LPATRON | LPATRON : 1014142 |
| LCHKIN | LCHKIN : 2002-03-03 |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 4 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120562524 |
| CREATED | CREATED : 1998-02-12 |
| RECORD Id | RECORD # : i12110796 |
| LPATRON | LPATRON : 1015151 |
| LCHKIN | LCHKIN : 2019-02-04 |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 4 |
| -- | TOT RENEW : 3 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050160037494 |
| CREATED | CREATED : 2016-01-25 |
| RECORD Id | RECORD # : i12873214 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | AIT Diss. no. CS-98-1 | 30050120562532 | 18/08/2026 | 1 | 18/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | AIT Diss. no. CS-98-1 | 30050120562524 | 18/08/2026 | 2 | 18/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 18/08/2026 | AIT Diss. no. CS-98-1 | 30050160037494 | 18/08/2026 | 18/08/2026 | 40-Archives |