Framework for expressing prioritized constraints using infinitesimal logic
| dc.contributor.author | Agarwal, Ruchi | |
| dc.contributor.supervisor | Wadge, W. W. | |
| dc.date.accessioned | 2009-11-10T17:37:57Z | |
| dc.date.available | 2009-11-10T17:37:57Z | |
| dc.date.copyright | 2005 | en |
| dc.date.issued | 2009-11-10T17:37:57Z | |
| dc.degree.department | Department of Computer Science | |
| dc.degree.level | Master of Science M.Sc. | en |
| dc.description.abstract | In this thesis, we propose an extension to the multiple-valued infinitesimal logic frame-work to provide a simple representation for prioritized constraints. We introduce two unary operators, ยต and w, to infinitesimal logic in order to define preferential constraints and backup constraints, respectively. The new framework naturally allows us to define a hierarchy of priorities among constraints. Also, we present a lazy algorithm for evaluating the multiple-valued prioritized constraint expressions of our representation. Our algorithm, which is similar to the alpha-beta pruning technique for minimax game tree evaluation, is based on a recursive depth-first traversal of the parse tree for the expression and works by evaluating operands within an increasingly narrower range of interest. Our implementation of this representation for querying a movies database demonstrates the expressive power and flexibility of our framework. | en |
| dc.identifier.uri | http://hdl.handle.net/1828/1833 | |
| dc.language | English | eng |
| dc.language.iso | en | en |
| dc.rights | Available to the World Wide Web | en |
| dc.subject | querying | en |
| dc.subject | databases | en |
| dc.subject.lcsh | UVic Subject Index::Sciences and Engineering::Applied Sciences::Computer science | en |
| dc.title | Framework for expressing prioritized constraints using infinitesimal logic | en |
| dc.type | Thesis | en |