Paper Info
Title
Logic-based configuration with a semantic network
Abstract
The beacon logic-based configurator is designed to ensure the correct and complete configuration of large computer systems at the time of order entry. BEACON is based on a semantic network, KNET , implemented in PROLOG. Unlike other configuration expert systems, BEACON uses a declarative, logic-based approach, as opposed to a data-driven production system or hybrid design. Among other virtues, this allows for a completely interactive ordering session which is guaranteed correct with respect to the underlying model, rather than a batch-mode order-correcting system. KNET allows for configuration by individuation of an abstract, generic representation in a manner that is analogous to the instantiation of logical variables in a PROLOG-style proof.
Year
DOI
Venue
1990
10.1016/0743-1066(90)90051-6
J. Log. Program.
Keywords
Field
DocType
semantic network,logic-based configuration
Configurator,Programming language,Computer science,Expert system,Algorithm,Semantic network,Theoretical computer science,Prolog,Individuation,Logical variables
Journal
Volume
Issue
ISSN
8
1-2
The Journal of Logic Programming
Citations 
PageRank 
References 
15
3.30
8
Authors
2
Name
Order
Citations
PageRank
David B. Searls1314171.53
Lewis M. Norton28226.91