DocumentCode :
2415626
Title :
Constraint-based specification of production rules
Author :
Perlin, Mark
Author_Institution :
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
fYear :
1989
fDate :
23-25 Oct 1989
Firstpage :
332
Lastpage :
338
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/TAI.1989.65338
Filename :
65338
Link To Document :
بازگشت