04234nas|a2200409 i 4500 20260818214644.0 020801s2000 th uzm rtt 00| a1eng d .b11733718 AIT Diss. no. CS-98-1 Duong Tuan Anh Solving incrementally constraint hierarchies over real intervals Bangkok : Asian Institute of Technology, 1998 166 p. Dissertation ; no. CS-98-1 A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Engineering, School of Advanced Technologies Thesis (Ph.D.) - Asian Institute of Technology, 1998 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. Constraints (Artificial intelligence) Kanchana Kanchanasut, Chairperson Huynh, Ngoc Phien, Examination Committee Tabucanon, Mario T., Examination Committee Maher, Michael J., Examination Committee Asian Institute of Technology. Dissertation ; no. CS-98-1 Full-Text http://203.159.5.9/ait-thesis/detail.php?q=B00314 .b11733718 mnait u 240407 0 981202 m a u 0 mnait mnait mnarc 20 40 Barcode : 30050120562532 CREATED : 1998-02-12 RECORD # : i12110784 LPATRON : 1014142 LCHKIN : 2002-03-03 # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 4 TOT RENEW : 0 Barcode : 30050120562524 CREATED : 1998-02-12 RECORD # : i12110796 LPATRON : 1015151 LCHKIN : 2019-02-04 # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 4 TOT RENEW : 3 Barcode : 30050160037494 CREATED : 2016-01-25 RECORD # : i12873214 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 109430 109430 0 0 0 0 MAIN MAIN mnait 2026-08-18 0 AIT Diss. no. CS-98-1 30050120562532 2026-08-18 21:46:45 1 2026-08-18 20 0 0 0 0 MAIN MAIN mnait 2026-08-18 0 AIT Diss. no. CS-98-1 30050120562524 2026-08-18 21:46:45 2 2026-08-18 20 0 0 0 0 MAIN MAIN mnarc 2026-08-18 0 AIT Diss. no. CS-98-1 30050160037494 2026-08-18 21:46:45 2026-08-18 40