IJCAI Conference 1985 Conference Paper
Controlling Production Firing: The FCL Language
- Leonard Friedman
While implementing a diagnostic expert system, FAITH, we have developed a new language, FCL, for controlling the f i r i n g of productions. FCL greatly simplifies the task of the user to direct this f i r i n g in a coherent and purposeful way without s a c r i f i c i n g some of the main advantages enjoyed by production systems. One of the interesting features of the language is the use of declarative forms to direct the f i r i n g of proper production sequences in a diagnostic expert system. Declarative forms which represent c i r c u i t diagrams and problem families control goal-directed processes l i k e tracing through c i r c u i t s and searching for symptoms to confirm or deny closely related problems. Because we have the FCL f a c i l i t y at our disposal, we have been able to incorporate a larger than usual number of diagnostic strategies in FAITH, with the assurance that they w i l l be employed under the r i g h t circumstances.