Please use this identifier to cite or link to this item: https://doi.org/10.1007/3-540-46584-7_13
Title: A toolkit for constraint-based inference engines
Authors: Chew, TY
Henz, M 
Ng, KB
Keywords: Science & Technology
Technology
Computer Science, Theory & Methods
Computer Science
Issue Date: 1-Jan-2000
Publisher: SPRINGER-VERLAG BERLIN
Citation: Chew, TY, Henz, M, Ng, KB (2000-01-01). A toolkit for constraint-based inference engines. 2ND International Workshop on Practical Aspects of Declarative Languages (PADL2000) 1753 : 185-199. ScholarBank@NUS Repository. https://doi.org/10.1007/3-540-46584-7_13
Abstract: Solutions to combinatorial search problems can benefit from custom-made constraint-based inference engines that go beyond depth- first search. Several constraint programming systems support the programming of such inference engines through programming abstractions. For example, the Mozart system for Oz comes with several engines, extended in dimensions such as interaction, visualization, and optimization. However, so far such extensions are monolithic in their software design, not catering for systematic reuse of components. We present an object-oriented modular architecture for building inference engines that achieves high reusability and supports rapid prototyping of search algorithms and their extensions. For the sake of clarity, we present the architecture in the setting of a C++ constraint programming library. The SearchToolKit, a search library for Oz based on the presented architecture, provides evidence for the practicality of the design.
Source Title: 2ND International Workshop on Practical Aspects of Declarative Languages (PADL2000)
URI: https://scholarbank.nus.edu.sg/handle/10635/200932
ISBN: 3540669922
9783540669920
ISSN: 03029743
16113349
DOI: 10.1007/3-540-46584-7_13
Appears in Collections:Staff Publications
Elements

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
stk.pdf194.77 kBAdobe PDF

OPEN

Post-printView/Download

SCOPUSTM   
Citations

4
checked on Nov 29, 2021

Page view(s)

22
checked on Nov 18, 2021

Download(s)

2
checked on Nov 18, 2021

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.