Please use this identifier to cite or link to this item:
https://hdl.handle.net/10356/13598
Title: | Reason maintenance in constraint satisfaction | Authors: | Tay, Joc Cing. | Keywords: | DRNTU::Engineering::Computer science and engineering::Computing methodologies::Artificial intelligence | Issue Date: | 1999 | Abstract: | Research effort in constraint satisfaction has traditionally been devoted to curbing the exponential cost of search through the methods of backtracking and problem reduction. These methods serve the overall goal of avoiding redundant computations and reduce the search space needed to derive a solution. The advent of reason maintenance systems (or RMSs) in recent years have provided the necessary machinery to dynamically determine the causes of failure, revise assumptions and avoid redundancy in backtracking. In addition, RMS-based CSP solvers promote program design clarity by separating control and inference mechanisms. However, it is well known that classical breadth-first control of the RMS incurs an exponential amount of work when only a few solutions are required. Furthermore, research effort in reason maintenance technology has neither consolidated nor clearly defined a direction for improving its performance. The deployment of such an RMS-based solver for CSPs is also a topic that has only been theoretically evaluated against classical constraint satisfaction techniques. Their derived similarities on a propositional level have promoted the inter-migration of solutions and ideas from both fields, but an evaluation of their empirical performance and comparison of respective problem solving models remains an area that has shown little growth. | URI: | http://hdl.handle.net/10356/13598 | Schools: | School of Computer Engineering | Fulltext Permission: | restricted | Fulltext Availability: | With Fulltext |
Appears in Collections: | SCSE Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
TAY_JOC_CING_1999_PART_B.pdf Restricted Access | 6.43 MB | Adobe PDF | View/Open | |
TAY_JOC_CING_1999_PART_A.pdf Restricted Access | 38.34 MB | Adobe PDF | View/Open |
Page view(s) 20
741
Updated on Mar 28, 2024
Download(s)
7
Updated on Mar 28, 2024
Google ScholarTM
Check
Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.