![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to ops5.1 CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10dc / man / mana|
Return to ops5.1 CVS log | Up to [Research Unix] / researchv10dc / man / mana |
1.1 ! root 1: .TH OPS5 1 ! 2: .SH NAME ! 3: ops5 \- a rule-based production-system environment ! 4: .SH SYNOPSIS ! 5: .B ops5 ! 6: .SH DESCRIPTION ! 7: Ops5 is a rule-based language built on Lisp. ! 8: A program consists of a collection of ! 9: if\(enthen rules and a global `working memory'. ! 10: Each rule has a conditional expression, the ! 11: .SM `LHS' ! 12: and a ! 13: sequence of actions, the ! 14: .SM `RHS'. ! 15: A ! 16: .SM LHS ! 17: consists of one or more patterns and is ! 18: `satisfied' when every pattern ! 19: matches an element in working memory. ! 20: .PP ! 21: The rule interpreter executes a `recognize-act' cycle: ! 22: .IP 1. ! 23: Match: Evaluate the ! 24: .SM LHS\*Ss ! 25: of the rules to determine which are satisfied. ! 26: .IP 2. ! 27: Conflict Resolution: Select one rule from among the ones with satisfied ! 28: .SM LHS\*Ss. ! 29: If no ! 30: .SM LHS\*Ss ! 31: is satisfied halt execution. ! 32: .IP 3. ! 33: Act: Perform the operations specified in the ! 34: .SM RHS ! 35: of the selected rule. ! 36: .PP ! 37: The top level commands ! 38: in order of usefulness are: ! 39: .TP 12 ! 40: .B watch ! 41: report on firings and working memory changes ! 42: .EX ! 43: (watch) ;Report current watch level ! 44: (watch 0) ;No report ! 45: (watch 1) ;Report rule names and working memory time tags ! 46: (watch 2) ;Report rule names, working memory time tags ! 47: ;and changes to working memory ! 48: .EE ! 49: .TP ! 50: .B load ! 51: load working memory and rule declarations ! 52: .EX ! 53: (load 'billing.l) ;Load file `billing.l' ! 54: .EE ! 55: .TP ! 56: .B run ! 57: start the rule interpreter ! 58: .EX ! 59: (run) ;Run until no rules are satisfied or halt executed ! 60: (run 1) ;Run one rule firing ! 61: .EE ! 62: .TP ! 63: .B exit ! 64: exit ! 65: .I ops5 ! 66: .EX ! 67: (exit) ! 68: .EE ! 69: .B ! 70: .TP ! 71: .B back ! 72: back up the rule interpreter ! 73: .EX ! 74: (back 32) ;Back up 32 rule firings ! 75: .EE ! 76: .TP ! 77: .B wm ! 78: display working memory ! 79: .EX ! 80: (wm 32) ;Display working memory element 32 ! 81: .EE ! 82: .TP ! 83: .B ppwm ! 84: display parts of working memory ! 85: .EX ! 86: (ppwm customer ^record bad) ;Display all customer working memory ! 87: ;elements with `bad' records ! 88: .EE ! 89: .TP ! 90: .B pm ! 91: display production or rule memory ! 92: .EX ! 93: (pm good-customer) ;Display rule `good-customer' ! 94: .EE ! 95: .TP ! 96: .B cs ! 97: print the conflict set ! 98: .EX ! 99: (cs) ! 100: .EE ! 101: .TP ! 102: .B matches ! 103: print matches for condition elements of a rule ! 104: .EX ! 105: (matches bad-customer) ;Display matches for rule `bad-customer' ! 106: .EE ! 107: .TP ! 108: .B pbreak ! 109: set a break point after a production firing ! 110: .EX ! 111: (pbreak bad-but-long-term-customer) ;Set break point after rule ! 112: ;`bad-but-long-term-customer' ! 113: .EE ! 114: .TP ! 115: .B make ! 116: make working memory elements ! 117: .EX ! 118: ;Make a customer working memory element ! 119: (make customer ^name Terry ^record bad ^years 22) ! 120: .EE ! 121: .TP ! 122: .B remove ! 123: remove working memory elements ! 124: .EX ! 125: (remove *) ;Remove all working memory elements ! 126: (remove 17) ;Remove working memory element 17 ! 127: .EE ! 128: .TP ! 129: .B excise ! 130: remove rules ! 131: .EX ! 132: ;Remove `good-customer' and `bad-customer' rules ! 133: (excise good-customer bad-customer) ! 134: .EE ! 135: .TP ! 136: .B openfile ! 137: open a file ! 138: .EX ! 139: ;Open `ruletrace.ops' as output ! 140: ;and associate it with traceoutput port ! 141: (openfile traceoutput |ruletrace.ops| out) ! 142: ;Open `answers' as input and associate it with stdin port ! 143: (openfile stdin |answers| in) ! 144: .EE ! 145: .TP ! 146: .B closefile ! 147: close a file ! 148: .EX ! 149: (closefile traceoutput stdin) ;Close traceoutput and stdin ports ! 150: .EE ! 151: .TP ! 152: .B default ! 153: change default input and output files ! 154: .EX ! 155: (default nil trace) ;Change trace port back to default ! 156: (default traceoutput write) ;Change write port to traceoutput ! 157: (default stdin accept) ;Change accept port to stdin ! 158: .EE ! 159: .TP ! 160: .B strategy ! 161: select rule interpreter strategy. ! 162: .EX ! 163: (strategy) ;Report current strategy ! 164: (strategy mea) ;Selects mea strategy ! 165: (strategy lex) ;Selects lex strategy (default on startup) ! 166: .EE ! 167: .SH FILES ! 168: .TF /usr/lib/lisp ! 169: .TP ! 170: .F /usr/lib/lisp ! 171: lisp library ! 172: .SH "SEE ALSO" ! 173: Forgy, C. L., ! 174: .IR "OPS5 User's Manual" , ! 175: Department of Computer Science, ! 176: Carnegie-Mellon University, ! 177: July, 1981 ! 178: .br ! 179: lisp (1) ! 180: .SH DIAGNOSTICS ! 181: When ! 182: .I ops5 ! 183: stops executing for any reason, you are placed in the ! 184: .I lisp ! 185: top-level routine.
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.