Case Study 2- 1

Consider the following five production rules:

56:166 Production Systems R1: IF temperature is high

THEN pressure is high
R2: IF pressure is high
AND fluid level is high
THEN status is dangerous
Case Study 2 R3: IF indicator is on
THEN temperature is high
R4: IF status is dangerous
THEN relay is on
R5: IF relay is on
AND standby unit is off
THEN indicator is on
The University of Iowa Intelligent Systems Laboratory The University of Iowa Intelligent Systems Laboratory

Perform Solution E

R5
R1: IF temperature is high (A)
THEN pressure is high (B)
a) Draw an AND/OR inference tree R2: IF pressure is high (B)
AND fluid level is high (C) F G
b) List anomalies, if any THEN status is dangerous (D)
R4
R3: IF indicator is on (E) R3
THEN temperature is high (A) D
c) Indicate a possible source of inconsistency and modify
R4: IF status is dangerous (D)
THEN relay is on (F) R2
appropriate production rule(s) to eliminate the anomaly R5: IF relay is on (F)
AND standby unit is off (G)
THEN indicator is on (E) B C
R1

A
The University of Iowa Intelligent Systems Laboratory The University of Iowa Intelligent Systems Laboratory

H
To eliminate the cycle R3 - R1 - R2 - R4 - R5,
A: temperature is high E
Solution
R5
rules R3 and R5 are modified as follows:
R5
B: pressure is high
F G
C: fluid level is high F G R4
R3: IF indicator is on R3: IF indicator 1 is on R4 D
THEN temperature is high THEN temperature is high D: status is dangerous R3
D R2
R5: IF relay is on R5: IF relay is on E: indicator 1 is on R2
AND standby unit is off AND standby unit is off
THEN indicator is on B C
THEN indicator 2 is on F: relay is on
B C R1
G: standby unit is off R1 A
Old New A R3
H: indicator 2 is on
Old E New
The University of Iowa Intelligent Systems Laboratory The University of Iowa Intelligent Systems Laboratory

Page 1
 R1 : IF tool = available AND fixture = available
Case Study 2-2 F G C
THEN auxiliary devices = available R4
D

R2 : IF auxiliary devices = available AND machine = available

An expert in machine tool products has generated D E A B
a few production rules. THEN resources = available R2 R3
A
H
R3 : IF buffer = not empty THEN part = available
a) Draw an AND/OR tree H B D E

b) List the sequence of firing the rules using R4 : IF resources = available AND part = available R1
A B
the forward-chaining inference strategy
THEN machine status = machining
C F G

Sequence of Firing Rules R1 -- R2 -- R3 -- R4

The University of Iowa Intelligent Systems Laboratory The University of Iowa Intelligent Systems Laboratory

Page 2