Group: machine model
Group: program representation
Group: systems
Topic: conditional control by guards
Topic: conditional statement language
Topic: decision table
Topic: event controlled processing
Topic: expert systems
Topic: function syntax by pattern
Topic: logic programming
Topic: program execution
| |
Summary
A production system is a collection of pattern->transformation or condition->action rules. A rule fires if its left-hand side applies to the current state. If multiple rules match, one is picked non-deterministically. Production systems are a form of event-controlled processing.
Individual rules are typically short and easy to understand, but a production system is complex. There are many rules, any of which may be applicable. (cbb 6/06)
Subtopic: examples
Quote: programming in Lithe by rule-action pairs; rule gives the syntax [»sandD1_1982]
| Quote: DELTA's main loop: determine effective descriptors with true conditions, find a satisfying assignment for variables modified by the descriptor's actions [»handP_1981]
| Quote: a database could activate a module whenever data is modified or the situation matches a pattern; this defines the application's control structure [»balzRM_1986]
| Quote: in TUTOR, the unit of programmed instruction is a screenful of text, a set of student responses, and a set of machine rejoinders [»schwJ_1980]
| Quote: index rules by patterns that define the applicable goals; pattern-directed invocation [»mannZ7_1979]
| QuoteRef: bobrDG9_1974 ;;159 Hewitt 71 Planner: routine activation by pattern match on arguments. eg for goal oriented describe pattern of output and appropriate routine is called
| QuoteRef: reynCF3_1971 ;;218 Codil processing consists of going down criteria statement and checking against facts statement; last item is either appended to the facts statement or it is a procedure
| Subtopic: production systems are wrong
Quote: an interpreter for a production system is a single large while-do; this totally obscures control flow [»tichWF11_1987]
| Quote: production systems provide too much concurrency; serial behavior is difficult to do [»donnMD_1987]
| Quote: production systems do not have procedure abstractions [»donnMD_1987]
|
Related Topics
Group: machine model (13 topics, 206 quotes)
Group: program representation (25 topics, 659 quotes)
Group: systems (17 topics, 530 quotes)
Topic: conditional control by guards (17 items)
Topic: conditional statement language (5 items)
Topic: decision table (29 items)
Topic: event controlled processing (46 items)
Topic: expert systems (8 items)
Topic: function syntax by pattern (15 items)
Topic: logic programming (34 items)
Topic: program execution (8 items)
|