Title :
Constraint-based specification of production rules
Author_Institution :
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
The author proposes the use of constraint languages for the specification of rule pattern tests. This will help the programmer focus on his primary objective: specifying the match conditions. It is shown how such constraints can then be mechanically operationalized into rule tests. Following the automated optimal order to these tests, the resulting ordered tests can be cast into an efficient network program. Restricting the programmer´s task to match specification allows new (graphical and other) languages to be devised for highly effective human-computer interaction
Keywords :
expert systems; formal specification; knowledge representation; software tools; specification languages; user interfaces; constraint languages; human-computer interaction; network program; production rules; programmer; rule pattern tests; rule representation; rule-based systems; specification; Automatic testing; Computer science; Expert systems; Filtering; Graphical user interfaces; Pipelines; Production systems; Programming profession; Software engineering; Specification languages;
Conference_Titel :
Tools for Artificial Intelligence, 1989. Architectures, Languages and Algorithms, IEEE International Workshop on
Conference_Location :
Fairfax, VA
Print_ISBN :
0-8186-1984-8
DOI :
10.1109/TAI.1989.65338